webapps: better style

[factor.git] / basis / help / html / stylesheet.css

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index 8b899060e0d29ad52d807e8c810d21642088a43c..7fe0ca3900585178c1219be37cbd0ab7ea5e1b01 100644 (file)
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -1,4 +1,4 @@
-99html {
+html {
     box-sizing: border-box;
 }
 
@@ -13,12 +13,12 @@ a:hover, .link:hover { text-decoration: underline; }
 body {
     margin: 0;
     font-family: sans-serif;
-    font-size: 14pt;
+    font-size: 12pt;
     line-height: 150%;
 }
 
 input {
-    border: 1px solid #999999;
+    border: 1px solid #d5d5d5;
     border-radius: 3px;
     font-size: 1.0em;
 }
@@ -41,27 +41,26 @@ tr:hover {
     background-color: #f5f5f5;
 }
 
-.navbar {
-    border-bottom: 1px solid #ccc;
+nav {
+    border-bottom: 1px solid #d5d5d5;
     background-color: #f5f5f5;
+    padding: 10px;
+    padding-left: calc(max(50% - 400px, 0px) + 15px);
+    padding-right: calc(max(50% - 400px, 0px) + 15px);
 }
 
-.navrow {
-    max-width: 900px;
-    position: relative;
-    left: calc(max(-450px,-50%) + 50%);
-    margin: 0;
-    padding: 10px 15px 10px 15px;
+nav a, nav .link {
+    margin-right: 10px;
 }
 
-.navrow a {
-    margin-right: 10px;
+nav img {
+    vertical-align: middle;
 }
 
 .page {
-    max-width: 900px;
+    max-width: 800px;
     position: relative;
-    left: calc(max(-450px,-50%) + 50%);
+    left: calc(max(-400px,-50%) + 50%);
     padding: 15px;
 }
 
@@ -70,11 +69,11 @@ tr:hover {
     height: 16px;
 }
 
-.footer {
+footer {
     margin-top: 15px;
-    border-top: 1px dashed #ccc;
+    border-top: 1px dashed #d5d5d5;
     color: #666;
-    font-size: 12pt;
+    font-size: 10pt;
 }
 
 @media screen and (max-width: 480px) {
@@ -87,7 +86,7 @@ tr:hover {
         width: 100px;
     }
 
-    .navbar img {
+    nav img {
         display: none;
     }
 }
@@ -107,12 +106,12 @@ tr:hover {
         color: #8ab4f8;
     }
 
-    .navbar {
+    nav {
         background-color: #373e48;
         border-bottom: 1px solid #666;
     }
 
-    .footer {
+    footer {
         border-top: 1px dashed #666;
         color: #999;
     }