]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.help.files/html/style.css
More meaningful debug printing to PrettyPrintTG
[simantics/platform.git] / bundles / org.simantics.help.files / html / style.css
1 body { 
2         font-family: "Lucida Grande", "Lucida Grande", Verdana; 
3         font-size:12px; 
4         font-weight:normal;
5         color:#000000;
6         border-left: 2em solid #2b476f;
7         border-rigth: 2em hidden #2b476f;
8         padding-left: 1em;
9         padding-right: 1em;}
10         scrollbar-face-color:#006600;
11         scrollbar-highlight-color:#C0C0C0;
12         scrollbar-3dlight-color:#C0C0C0;
13         scrollbar-darkshadow-color:#000000;
14         scrollbar-shadow-color:#0F4966;
15         scrollbar-arrow-color:#FFFFFF;
16         scrollbar-track-color:#C0C0C0;
17         background-color: white;
18 }
19
20 table {
21         border-collapse: collapse;
22         text-align: left;
23         vertical-align: center;
24 }
25
26 caption {
27         font-family: "Lucida Grande", Verdana; 
28         font-size: 12px; 
29         text-align: left;
30         font-style: italic;
31 }
32
33 th {            
34         font-family: "Lucida Grande", Verdana; 
35         font-size: 12px; 
36         background-color: silver;
37         padding-left: 5px;
38         padding-right: 5px;
39 }
40
41 td {    
42         font-family: "Lucida Grande", Verdana; 
43         font-size: 12px;        
44         padding-left: 5px;
45         padding-right: 5px;
46 }
47
48 figure {
49         margin: 0;
50 }
51
52 figcaption {
53         font-family: "Lucida Grande", Verdana; 
54         font-size: 12px; 
55         text-align: left;
56         font-style: italic;
57 }
58
59 h1 { 
60         font-family: "Lucida Grande", Verdana; 
61         font-size:35px; 
62         color:#2b476f; 
63 }
64
65 h2 { 
66         font-family: "Lucida Grande", Verdana; 
67         font-size:20px; 
68         color:#000000;
69 }
70
71 h3 { 
72         font-family: "Lucida Grande", Verdana; 
73         font-size:16px;
74 }
75
76 A:link, A:visited, A:active { 
77         font-family: "Lucida Grande", Verdana; 
78         font-size: inherit; 
79         text-decoration: none;
80         font-weight:bold; 
81         color:#2b476f; 
82 }
83
84 A:hover {  
85         font-family: "Lucida Grande", Verdana; 
86         text-decoration: none; 
87         font-weight:bold; 
88         color:#222299; 
89         background-color:#C0C0C0
90 }
91
92 A[name]:hover {  
93         font-family: "Lucida Grande", Verdana; 
94         text-decoration: inherit; 
95         font-weight: inherit; 
96         color: inherit; 
97         background-color: inherit 
98 }
99
100 .wikitable {
101         text-align: left;
102         border-collapse: collapse;
103 }
104
105 .wikitable, .wikitable th, .wikitable td {
106         border: 1px solid black;
107 }