1 body
2 {
3 font-family: sans-serif;
4 margin: 0;
5 }
7 a
8 {
9 color: rgb(0,0,240);
10 text-decoration: none;
11 }
13 a:hover
14 {
15 color: rgb(32,32,255);
16 text-decoration: underline;
17 }
19 #layout-table
20 {
21 width: 100%;
22 margin: 1ex;
23 }
25 #layout-top-left,
26 #layout-middle-left,
27 #layout-bottom-left
28 {
29 width: 10%;
30 min-width: 250px;
31 }
33 #layout-top-center,
34 #layout-middle-center,
35 #layout-bottom-center
36 {
37 }
39 #layout-top-right,
40 #layout-middle-right,
41 #layout-bottom-right
42 {
43 width: 10%;
44 min-width: 300px;
45 }
47 #layout-middle td
48 {
49 vertical-align: top;
50 }
52 #layout-middle-center h1,
53 #layout-middle-center h2,
54 #layout-middle-center h3
55 {
56 clear: both;
57 }
59 #logo-canvas
60 {
61 display: block;
62 text-decoration: none;
63 color: black;
64 }
66 #logo-canvas h1
67 {
68 margin: 0;
69 }
71 #logo-subscript
72 {
73 font-size: 90%;
74 font-style: italic;
75 }
77 ul.menu
78 {
79 border: 1px solid silver;
80 background-color: #fcfcfc;
81 }
83 #search-form
84 {
85 position: relative;
86 }
88 #search-suggest
89 {
90 position: absolute;
91 background-color: rgba(255,255,255,.8);
92 margin: 0;
93 padding: 0.5ex;
94 border: 1px solid black;
95 list-style: none;
96 }
98 #search-suggest ul.instance_list
99 {
100 margin: 0;
101 padding: 0;
102 list-style: none;
103 }
105 #search-suggest li
106 {
107 margin: 0;
108 padding: 0;
109 }
111 #search-suggest a
112 {
113 display: block;
114 margin: 0;
115 padding: 0;
116 color: #2d6195;
117 background-color: transparent;
118 }
120 #search-suggest li.instance a
121 {
122 padding-left: 1em;
123 }
125 #search-suggest a:hover
126 {
127 color: white;
128 background-color: #408dd8;
129 }
131 #search-output ul.graph_list
132 {
133 margin: 0;
134 padding: 1ex;
135 }
137 #search-output li.graph
138 {
139 display: block;
140 border: 1px solid gray;
141 margin-top: 1ex;
143 background-color: rgb(245,245,255);
144 }
146 #search-output ul.instance_list
147 {
148 margin: 0;
149 padding: 1ex;
150 border-top: 1px solid gray;
152 background-color: rgb(252,252,252);
153 }
155 #search-output li.instance
156 {
157 display: block;
159 font-size: 90%;
160 }
162 #search-output li.instance.more
163 {
164 padding-top: .5ex;
165 font-style: italic;
166 }
168 .breadcrump
169 {
170 font-size: 90%;
171 margin: 1ex 0 1ex 0;
172 padding: 0 0 0 2em;
173 border-top: 1px solid silver;
174 border-bottom: 1px solid silver;
175 background-color: rgb(252,252,252);
176 }
178 .graph-img
179 {
180 position: relative;
181 float: left;
182 clear: both;
183 }
185 div.graph-img div.graph-buttons
186 {
187 display: none;
188 }
190 div.graph-img:hover div.graph-buttons
191 {
192 display: block;
193 }
195 .graph-img .graph-buttons.navigation
196 {
197 position: absolute;
198 right: 5px;
199 bottom: 5px;
200 }
202 .graph-img .graph-buttons.presets
203 {
204 position: absolute;
205 right: 5px;
206 top: 5px;
207 }
209 .graph-buttons .graph-button
210 {
211 width: 1em;
212 height: 1em;
213 border: 1px solid gray;
214 text-align: center;
215 background-color: rgba(255,255,255,.8);
216 color: gray;
217 cursor: pointer;
218 }
220 .graph-buttons div.graph-button:hover
221 {
222 border: 1px solid black;
223 background-color: white;
224 color: black;
225 }
227 .graph-buttons.navigation .graph-button
228 {
229 float: left;
230 margin-left: 1px;
231 }
233 .graph-buttons.presets .graph-button
234 {
235 margin-bottom: 1px;
236 }
238 .graph-json
239 {
240 clear: both;
241 width: 600px;
242 height: 200px;
243 }
245 div.footer
246 {
247 margin-left: auto;
248 margin-right: auto;
249 padding: 0 1em;
250 border-top: 1px solid gray;
251 font-size: 80%;
252 font-style: italic;
253 text-align: right;
254 }