doc: use a pointer cursor only if js is active
[charm.git] / doc / assets / manual.css
1 /* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
2 .MATH    { font-family: "Century Schoolbook", serif; }
3 .MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
4 .BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
5
6 /* implement both fixed-size and relative sizes */
7 SMALL.XTINY             { font-size : xx-small }
8 SMALL.TINY              { font-size : x-small  }
9 SMALL.SCRIPTSIZE        { font-size : smaller  }
10 SMALL.FOOTNOTESIZE      { font-size : small    }
11 SMALL.SMALL             {  }
12 BIG.LARGE               {  }
13 BIG.XLARGE              { font-size : large    }
14 BIG.XXLARGE             { font-size : x-large  }
15 BIG.HUGE                { font-size : larger   }
16 BIG.XHUGE               { font-size : xx-large }
17
18 /* heading styles */
19 H1              { color: #7b2e2e; margin: 2px auto; text-align:center; }
20 H2              { color: #7b2e2e; padding: 8pt; }
21 H3              { padding: 5pt; }
22 H4              { padding: 3pt  }
23 H5              {  }
24 H1 a    { color: #7b2e2e;  }
25 H2 a    { color: #7b2e2e;  }
26 H3 a    { color: black;  }
27 H4 a    { color: black;  }
28 H1 a:hover      { color: #7b2e2e  }
29 H2 a:hover      { color: #7b2e2e  }
30 H3 a:hover      { color: black  }
31 H4 a:hover      { color: black  }
32
33
34
35 /* mathematics styles */
36 DIV.displaymath         { }     /* math displays */
37 TD.eqno                 { }     /* equation-number cells */
38
39
40 /* document-specific styles come next */
41 body { font-family: "Droid Sans", Arial, sans-serif; }
42 h1, h2, h3 { font-family: Puritan, Verdana, Helvetica sans-serif; }
43 code, pre { font-family: "Courier New" Courier monospace; }
44
45 html {
46                 background: #ffffff;
47                 background: url(hatchbkgd.png) repeat;
48 }
49
50 body {
51                 background: #efefef; color: black;
52                 margin:5em auto 20px;
53                 padding:30px;
54                 width: 900px;
55                 -moz-border-radius: 20px; -webkit-border-radius: 20px; border-radius: 20px;
56                 box-shadow: 0px 2px #aaa;
57                 border: 1px solid #ccc;
58 }
59
60 div.navigation {
61                 position: fixed;
62                 top:0; left:0;
63                 width: 100%;
64                 text-align: left;
65                 margin:0; padding: 2px;
66                 border-bottom: 1px #555555 solid;
67                 background: #dfdfdf;
68                 font-size: 80%;
69 }
70
71 ul.manual-toc {
72                 -moz-column-width: 32em;
73                 -webkit-column-width: 32em;
74                 display: none;
75 }
76
77 ul.manual-toc > li {
78                 font-weight: bold;
79 }
80
81 ul.manual-toc > li > ul {
82                 font-weight: normal;
83 }
84
85 ul.manual-toc, ul.manual-toc ul {
86                 list-style-type: none;
87 }
88
89 ul.manual-toc li a {
90                 color: #000;
91                 text-decoration: none;
92 }
93
94 ul.manual-toc li a:hover {
95                 color: #7b2e2e;
96 }
97
98
99 #nav-quicklinks {
100                 display:inline-block;
101                 padding: 0px 10px;
102                 margin: 5px;
103                 float: right;
104 }
105
106 #nav-quicklinks li {
107                 display: inline;
108                 padding:0px 2px;
109                 margin: 0px 1em;
110 }
111
112 DIV.manualtitle {
113                 display: inline-block;
114                 margin: 5px;
115                 text-align: center;
116                 font-weight: bold;
117 }
118
119 DIV.center              {   }
120 SPAN.tt         {   }
121 SPAN.sc         {   }
122 pre {
123                 background: #262626;
124                 color: #d9bf8c;
125                 padding: 8px;
126                 margin: 10px auto;
127                 display: block;
128                 width: 650px;
129                 overflow-x: auto;
130                 border-radius: 3px;
131                 font-size: 110%;
132 }
133
134 DIV.small               {   }
135 SPAN.bf         {   }
136 PRE.preform             {   }
137 DIV.em          {   }
138 SPAN.textit             { font-style: italic  }
139 SPAN.textsl             { font-style: italic  }
140 SPAN.arabic             {   }
141 SPAN.textbf             { font-weight: bold  }
142 SPAN.textsf             { font-style: italic  }