| 1 | @CHARSET "ISO-8859-1"; | 
|---|
| 2 | /* | 
|---|
| 3 | * This is the CSS file used in the internal help browser | 
|---|
| 4 | */ | 
|---|
| 5 | body {margin-left: 0.2cm; font-family: Arial, sans-serif; font-size:14pt; font-weight:normal} | 
|---|
| 6 | p {margin-top: 5px; margin-bottom: 5px;} | 
|---|
| 7 | h1 {font-family: Arial, sans-serif; font-size:24pt; font-weight:bold} | 
|---|
| 8 | h2 {margin-top: 14pt; font-family: Arial, sans-serif; font-size:20pt; font-weight:bold} | 
|---|
| 9 | h3 {margin-top: 14pt; font-family: Arial, sans-serif; font-size:16pt; font-weight:bold} | 
|---|
| 10 | h4 {margin-top: 14pt; font-family: Arial, sans-serif; font-size:14pt; font-weight:bold} | 
|---|
| 11 | a {font-family: Arial, sans-serif; font-size:14pt; font-weight:normal; text-decoration: underline; color: blue} | 
|---|
| 12 | ul {margin-left: 1cm; list-style-type: disc} | 
|---|
| 13 | ul ul {margin-left: 1cm; list-style-type: circle} | 
|---|
| 14 | ol {margin-left: 1cm;} | 
|---|
| 15 | strong {font-weight: bold} | 
|---|
| 16 | b {font-weight: bold} | 
|---|
| 17 | em {font-style: italic} | 
|---|
| 18 | i {font-style: italic} | 
|---|
| 19 | tt {font-family: Courier New} | 
|---|
| 20 | pre {font-family: Courier New} | 
|---|
| 21 | .warning-header { | 
|---|
| 22 | font-family: Arial, sans-serif; | 
|---|
| 23 | font-size:24pt; | 
|---|
| 24 | font-weight:bold | 
|---|
| 25 | } | 
|---|
| 26 | .warning-body { | 
|---|
| 27 | background-color:rgb(253,255,221); | 
|---|
| 28 | padding: 10pt; | 
|---|
| 29 | border-color:rgb(128,128,128); | 
|---|
| 30 | border-style: solid; | 
|---|
| 31 | border-width: 1px; | 
|---|
| 32 | } | 
|---|
| 33 |  | 
|---|
| 34 | .error-header { | 
|---|
| 35 | font-family: Arial, sans-serif; | 
|---|
| 36 | font-size:24pt; | 
|---|
| 37 | font-weight:bold | 
|---|
| 38 | } | 
|---|
| 39 | .error-body { | 
|---|
| 40 | background-color:rgb(254,195,190); | 
|---|
| 41 | padding: 10pt; | 
|---|
| 42 | border-color:rgb(128,128,128); | 
|---|
| 43 | border-style: solid; | 
|---|
| 44 | border-width: 1px; | 
|---|
| 45 | } | 
|---|