| 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 |
|
|---|
