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