doc: code syntax highlighting for online charm manual using CodeMirror
[charm.git] / doc / 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: navy; margin: 2px auto; text-align:center; }
20 H2              { color: navy; padding: 8pt; }
21 H3              { padding: 5pt; }
22 H4              { padding: 3pt  }
23 H5              {  }
24 H1 a    { color: navy;  }
25 H2 a    { color: navy;  }
26 H3 a    { color: black;  }
27 H4 a    { color: black;  }
28 H1 a:hover      { color: navy  }
29 H2 a:hover      { color: navy  }
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 { background: #ffffff; }
46
47 body {
48                 background: #efefef; color: black;
49                 margin:20px auto;
50                 padding:30px;
51                 width: 900px;
52                 -moz-border-radius: 20px; -webkit-border-radius: 20px; border-radius: 20px;
53                 box-shadow: 0px 2px #aaa;
54                 border: 1px solid #ccc;
55 }
56
57 DIV.ManualTitle { padding: 3pt; text-align: center; font-size: x-large; font-weight: bold  }
58 DIV.center              {   }
59 SPAN.tt         {   }
60 SPAN.sc         {   }
61 pre {
62                 background: #262626;
63                 color: #d9bf8c;
64                 padding: 8px;
65                 margin: 10px auto;
66                 display: block;
67                 width: 650px;
68                 overflow-x: auto;
69                 border-radius: 3px;
70                 font-size: 110%;
71 }
72
73 div.navigation {
74                 text-align: center;
75                 margin: 15px;
76                 border-bottom: 1px #555555 solid;
77                 -moz-border-bottom-left-radius: 10px; -webkit-border-bottom-left-radius: 10px; border-bottom-left-radius: 10px;
78                 -moz-border-bottom-right-radius: 10px; -webkit-border-bottom-right-radius: 10px; border-bottom-right-radius: 10px;
79                 background: url(navbarbkgd.png) repeat;
80 }
81
82 DIV.small               {   }
83 SPAN.bf         {   }
84 PRE.preform             {   }
85 DIV.em          {   }
86 SPAN.textit             { font-style: italic  }
87 SPAN.textsl             { font-style: italic  }
88 SPAN.arabic             {   }
89 SPAN.textbf             { font-weight: bold  }
90 SPAN.textsf             { font-style: italic  }