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