doc: prettify code snippets in html docs
[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 html { background: #ffffff; }
42
43 body {
44                 background: #efefef; color: black;
45                 margin:20px auto;
46                 padding:30px;
47                 width: 900px;
48                 -moz-border-radius: 20px; -webkit-border-radius: 20px; border-radius: 20px;
49                 box-shadow: 0px 2px #aaa;
50                 border: 1px solid #ccc;
51                 font-family: Puritan, Verdana, Helvetica sans-serif;
52 }
53
54 DIV.ManualTitle { padding: 3pt; text-align: center; font-size: x-large; font-weight: bold  }
55 DIV.center              {   }
56 SPAN.tt         {   }
57 SPAN.sc         {   }
58 DIV.alltt               {
59                 background: #000;
60                 color: #090;
61                 padding: 8px;
62                 margin: 10px auto;
63                 display: block;
64                 width: 650px;
65                 border-radius: 3px;
66                 font-size: 120%;
67 }
68
69 div.navigation {
70                 text-align: center;
71                 margin: 15px;
72                 border-bottom: 1px #555555 solid;
73                 -moz-border-bottom-left-radius: 10px; -webkit-border-bottom-left-radius: 10px; border-bottom-left-radius: 10px;
74                 -moz-border-bottom-right-radius: 10px; -webkit-border-bottom-right-radius: 10px; border-bottom-right-radius: 10px;
75                 background: url(navbarbkgd.png) repeat;
76 }
77
78 DIV.small               {   }
79 SPAN.bf         {   }
80 PRE.preform             {   }
81 DIV.em          {   }
82 SPAN.textit             { font-style: italic  }
83 SPAN.textsl             { font-style: italic  }
84 SPAN.arabic             {   }
85 SPAN.textbf             { font-weight: bold  }
86 SPAN.textsf             { font-style: italic  }