adjust jump buttons

ITSecMedia · Aug 3, 2014 · 0d7e8b5 · 0d7e8b5
1 parent ad648d1
commit 0d7e8b5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/html/css/style.css b/html/css/style.css
@@ -468,11 +468,11 @@ a#References ~ p {
 
 .jump {
   font-family: "STIXGeneral";
-  font-size: 2rem;
+  font-size: 1.8rem;
   font-weight: bold;
   position: fixed;
   right: 0;
-  padding: 1ex 0ex;
+  padding: 0.1ex;
   text-align: center;
 }