]> gitweb.factorcode.org Git - factor.git/blob - basis/help/html/stylesheet.css
help.html: tweak the navbar a bit.
[factor.git] / basis / help / html / stylesheet.css
1 html {
2   box-sizing: border-box;
3   font-size: 16px;
4 }
5
6 *, *:before, *:after {
7   box-sizing: inherit;
8 }
9
10 body, h1, h2, h3, h4, h5, h6, p, ol, ul {
11   margin: 0;
12   padding: 0;
13 }
14
15 a:link { text-decoration: none; color: #104e8b; }
16 a:visited { text-decoration: none; color: #104e8b; }
17 a:active { text-decoration: none; color: #104e8b; }
18 a:hover { text-decoration: underline; color: #104e8b; }
19
20 input {
21     border: 1px solid #999999;
22     font-size: smaller;
23     border-radius: 3px;
24 }
25
26 .navbar {
27     background-color: #f3f2ea;
28     padding: 10px;
29     border-bottom: 1px solid #ccc;
30     font: 12pt sans-serif;
31 }
32
33 .navbar a {
34     border-right: 1px solid #999;
35     padding-right: 10px;
36     margin-right: 5px;
37 }
38
39 .page {
40     font-size: 120%;
41     margin: 20px;
42     max-width: 800px;
43     line-height: 125%;
44 }