blob: 29299af1f49b3462562a173ac8935cab5fcd0ff1 [file] [log] [blame]
Austin Schuh745610d2015-09-06 18:19:50 -07001body {
2 background-color: #ffffff;
3 color: black;
4 margin-right: 1in;
5 margin-left: 1in;
6}
7
8
9h1, h2, h3, h4, h5, h6 {
10 color: #3366ff;
11 font-family: sans-serif;
12}
13@media print {
14 /* Darker version for printing */
15 h1, h2, h3, h4, h5, h6 {
16 color: #000080;
17 font-family: helvetica, sans-serif;
18 }
19}
20
21h1 {
22 text-align: center;
23 font-size: 18pt;
24}
25h2 {
26 margin-left: -0.5in;
27}
28h3 {
29 margin-left: -0.25in;
30}
31h4 {
32 margin-left: -0.125in;
33}
34hr {
35 margin-left: -1in;
36}
37
38/* Definition lists: definition term bold */
39dt {
40 font-weight: bold;
41}
42
43address {
44 text-align: right;
45}
46/* Use the <code> tag for bits of code and <var> for variables and objects. */
47code,pre,samp,var {
48 color: #006000;
49}
50/* Use the <file> tag for file and directory paths and names. */
51file {
52 color: #905050;
53 font-family: monospace;
54}
55/* Use the <kbd> tag for stuff the user should type. */
56kbd {
57 color: #600000;
58}
59div.note p {
60 float: right;
61 width: 3in;
62 margin-right: 0%;
63 padding: 1px;
64 border: 2px solid #6060a0;
65 background-color: #fffff0;
66}
67
68UL.nobullets {
69 list-style-type: none;
70 list-style-image: none;
71 margin-left: -1em;
72}
73
74/* pretty printing styles. See prettify.js */
75.str { color: #080; }
76.kwd { color: #008; }
77.com { color: #800; }
78.typ { color: #606; }
79.lit { color: #066; }
80.pun { color: #660; }
81.pln { color: #000; }
82.tag { color: #008; }
83.atn { color: #606; }
84.atv { color: #080; }
85pre.prettyprint { padding: 2px; border: 1px solid #888; }
86
87.embsrc { background: #eee; }
88
89@media print {
90 .str { color: #060; }
91 .kwd { color: #006; font-weight: bold; }
92 .com { color: #600; font-style: italic; }
93 .typ { color: #404; font-weight: bold; }
94 .lit { color: #044; }
95 .pun { color: #440; }
96 .pln { color: #000; }
97 .tag { color: #006; font-weight: bold; }
98 .atn { color: #404; }
99 .atv { color: #060; }
100}
101
102/* Table Column Headers */
103.hdr {
104 color: #006;
105 font-weight: bold;
106 background-color: #dddddd; }
107.hdr2 {
108 color: #006;
109 background-color: #eeeeee; }