source: josm/trunk/data/help-browser.css@ 2939

Last change on this file since 2939 was 2715, checked in by stoecker, 15 years ago

fixed #3772, #4139 - fixed help browser - the external start never worked for official releases, the blocking of helpbrowser for dialogs will be fixed after Java 1.6 switch

File size: 1.4 KB
RevLine 
[2274]1@CHARSET "ISO-8859-1";
2/*
3 * This is the CSS file used in the internal help browser
4 */
5body {margin-left: 0.2cm; font-family: Arial, sans-serif; font-size:14pt; font-weight:normal}
6p {margin-top: 5px; margin-bottom: 5px;}
7h1 {font-family: Arial, sans-serif; font-size:24pt; font-weight:bold}
8h2 {margin-top: 14pt; font-family: Arial, sans-serif; font-size:20pt; font-weight:bold}
9h3 {margin-top: 14pt; font-family: Arial, sans-serif; font-size:16pt; font-weight:bold}
10h4 {margin-top: 14pt; font-family: Arial, sans-serif; font-size:14pt; font-weight:bold}
11a {font-family: Arial, sans-serif; font-size:14pt; font-weight:normal; text-decoration: underline; color: blue}
12ul {margin-left: 1cm; list-style-type: disc}
13ul ul {margin-left: 1cm; list-style-type: circle}
14ol {margin-left: 1cm;}
15strong {font-weight: bold}
16b {font-weight: bold}
17em {font-style: italic}
18i {font-style: italic}
19tt {font-family: Courier New}
20pre {font-family: Courier New}
[2308]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}
Note: See TracBrowser for help on using the repository browser.