1 | /* CSS Document */
|
---|
2 |
|
---|
3 | h1{ font-family:arial,sans-serif; font-weight:normal; font-size:25px; margin:0; }
|
---|
4 | h2{ font-family:arial,sans-serif; font-weight:normal; font-size:22px; margin:0; }
|
---|
5 | h3{ font-family:arial,sans-serif; font-weight:normal; font-size:18px; margin-bottom:4px;}
|
---|
6 | h4{ font-family:arial,sans-serif; font-size:14px; }
|
---|
7 |
|
---|
8 | p{ FONT-SIZE: 13px; FONT-FAMILY: Arial, Helvetica, sans-serif; COLOR: #000000}
|
---|
9 |
|
---|
10 |
|
---|
11 |
|
---|
12 | table.figure_code{
|
---|
13 | padding-bottom:2pt; padding-left:2pt; padding-right:2pt; padding-top:2pt;
|
---|
14 | border-collapse: collapse; border: solid; color:black; border-width: 1pt;
|
---|
15 | }
|
---|
16 |
|
---|
17 | div.linenumber{margin-top:0pt; margin-right:0in; margin-bottom:0in; margin-left:0pt; margin-bottom:0pt; font-family:Courier; FONT-SIZE: 8pt}
|
---|
18 | div.note{ margin-top: 0px; margin-bottom: 8px; margin-left: 20px;}
|
---|
19 | div.comment{font-size: 11px; font-family:arial,sans-serif; margin-top: 0px; margin-bottom: 4px; margin-left: 20px;}
|
---|
20 | div.indexlink{ text-align: right;}
|
---|
21 | div.codeline_figure{ margin-top:0pt; margin-right:0in; margin-bottom:0in; margin-left:2pt; margin-bottom:0pt; font-family: Courier; font-size: 11px}
|
---|
22 | div.codeline{margin-top:0pt; margin-right:0pt; margin-bottom:0pt; margin-left:2em; font-size:12px; font-family:Courier;}
|
---|
23 | div.codeline_single{font-size:12px; margin-right:0pt; margin-left:2em; margin-bottom:2px; margin-top:2px; font-family:Courier;}
|
---|
24 |
|
---|
25 | li {FONT-SIZE: 12px; FONT-FAMILY: Arial, Helvetica, sans-serif; COLOR: #000000}
|
---|
26 |
|
---|
27 | ul {list-style-type: decimal}
|
---|
28 |
|
---|
29 | dd {margin-top: 2pt; margin-bottom: 0pt; font-size: 12px}
|
---|
30 | dt {margin-top: 1pt; margin-bottom: 0pt; font-size: 12px}
|
---|
31 |
|
---|
32 | a {font-size: 15px}
|
---|
33 | a.title {font-size: 18px; font-family:arial,sans-serif;}
|
---|
34 | a.comment {font-size: 11px; font-family:arial,sans-serif;}
|
---|
35 |
|
---|
36 | img{border: 0px}
|
---|
37 |
|
---|
38 | dl{margin-top: 4px;}
|
---|
39 |
|
---|