b986602412f041d216ead676bd3d2a5d8b1a1fe7
[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
24 /* Remove the annoying underlines, but still keep it accessible */
25 a { text-decoration: none; }
26 a:hover { color:#a00; border-bottom: 1px dotted #a00; }
27
28
29
30 /* mathematics styles */
31 DIV.displaymath         { }     /* math displays */
32 TD.eqno                 { }     /* equation-number cells */
33
34
35 /* document-specific styles come next */
36 body { font-family: "Droid Sans", Arial, sans-serif; }
37 h1, h2, h3 { font-family: Puritan, Verdana, Helvetica sans-serif; }
38 code, pre { font-family: "Courier New" Courier monospace; }
39
40 body {
41                 background: #ffffff;
42                 background: url(hatchbkgd.png) repeat;
43 }
44
45 #maincontainer {
46                 background: #efefef; color: black;
47                 margin:5em auto 20px;
48                 padding:30px;
49                 width: 900px;
50                 -moz-border-radius: 20px; -webkit-border-radius: 20px; border-radius: 20px;
51                 box-shadow: 0px 2px #aaa;
52                 border: 1px solid #ccc;
53 }
54
55 div.navigation {
56                 position: fixed;
57                 top:0; left:0;
58                 width: 100%;
59                 text-align: left;
60                 margin:0; padding: 2px;
61                 border-bottom: 1px #555555 solid;
62                 background: #dfdfdf;
63                 font-size: 80%;
64 }
65
66 ul.manual-toc {
67                 -moz-column-width: 32em;
68                 -webkit-column-width: 32em;
69                 display: none;
70 }
71
72 ul.manual-toc > li { font-weight: bold; }
73 ul.manual-toc > li > ul { font-weight: normal; }
74 ul.manual-toc,
75 ul.manual-toc ul { list-style-type: none; }
76 ul.manual-toc li a { color: #000; text-decoration: none; }
77 ul.manual-toc li a:hover { color: #7b2e2e; }
78
79
80 #nav-quicklinks {
81                 display:inline-block;
82                 padding: 0px 10px;
83                 margin: 5px;
84                 float: right;
85 }
86
87 #nav-quicklinks li {
88                 display: inline;
89                 padding:0px 2px;
90                 margin: 0px 1em;
91 }
92
93 #nav-quicklinks a { text-decoration: none; }
94 #nav-quicklinks a:hover { color: #7b2e2e; }
95
96 .navsymbol {
97                 font-weight:bold;
98                 font-size: 130%;
99                 line-height:70%;
100 }
101
102 div.manualtitle {
103                 display: inline-block;
104                 margin: 5px;
105                 text-align: center;
106                 font-weight: bold;
107 }
108
109 #pulldowntab {
110         position: absolute;
111         left: 50%; top: 0.75em;
112         color: #999;
113         -webkit-transform: rotate(90deg);
114         -moz-transform: rotate(90deg);
115         -o-transform: rotate(90deg);
116         writing-mode: tb-rl;
117 }
118
119 pre {
120                 background: #262626;
121                 color: #d9bf8c;
122                 padding: 8px;
123                 margin: 10px auto;
124                 display: block;
125                 width: 650px;
126                 overflow-x: auto;
127                 border-radius: 3px;
128                 font-size: 110%;
129 }
130
131 span.textit             { font-style: italic  }
132 span.textsl             { font-style: italic  }
133 span.arabic             {   }
134 span.textbf             { font-weight: bold  }
135 span.textsf             { font-style: italic  }
136