[9958] | 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;
|
---|
[2308] | 45 | }
|
---|