ad835779fc60da7bbeda47ada35797f2fa3db02e
1 body
2 {
3 font-family: sans-serif;
4 }
6 a
7 {
8 color: rgb(0,0,240);
9 text-decoration: none;
10 }
12 a:hover
13 {
14 color: rgb(32,32,255);
15 text-decoration: underline;
16 }
18 #layout-table
19 {
20 width: 100%;
21 }
23 #layout-top-left,
24 #layout-middle-left,
25 #layout-bottom-left
26 {
27 width: 10%;
28 min-width: 250px;
29 }
31 #layout-top-center,
32 #layout-middle-center,
33 #layout-bottom-center
34 {
35 }
37 #layout-top-right,
38 #layout-middle-right,
39 #layout-bottom-right
40 {
41 width: 10%;
42 min-width: 300px;
43 }
45 #layout-middle td
46 {
47 vertical-align: top;
48 }
50 #layout-middle-center h1,
51 #layout-middle-center h2,
52 #layout-middle-center h3
53 {
54 clear: both;
55 }
57 #logo-canvas
58 {
59 display: block;
60 text-decoration: none;
61 color: black;
62 }
64 #logo-canvas h1
65 {
66 margin: 0;
67 }
69 #logo-subscript
70 {
71 font-size: 90%;
72 font-style: italic;
73 }
75 #search-form
76 {
77 position: relative;
78 }
80 #search-suggest
81 {
82 position: absolute;
83 background-color: rgba(255,255,255,.8);
84 margin: 0;
85 padding: 0.5ex;
86 border: 1px solid black;
87 list-style: none;
88 }
90 #search-suggest ul.instance_list
91 {
92 margin: 0;
93 padding: 0;
94 list-style: none;
95 }
97 #search-suggest li
98 {
99 margin: 0;
100 padding: 0;
101 }
103 #search-suggest a
104 {
105 display: block;
106 margin: 0;
107 padding: 0;
108 color: #2d6195;
109 background-color: transparent;
110 }
112 #search-suggest li.instance a
113 {
114 padding-left: 1em;
115 }
117 #search-suggest a:hover
118 {
119 color: white;
120 background-color: #408dd8;
121 }
123 #search-output ul.graph_list
124 {
125 margin: 0;
126 padding: 1ex;
127 }
129 #search-output li.graph
130 {
131 display: block;
132 border: 1px solid gray;
133 margin-top: 1ex;
135 background-color: rgb(245,245,255);
136 }
138 #search-output ul.instance_list
139 {
140 margin: 0;
141 padding: 1ex;
142 border-top: 1px solid gray;
144 background-color: rgb(252,252,252);
145 }
147 #search-output li.instance
148 {
149 display: block;
151 font-size: 90%;
152 }
154 .breadcrump
155 {
156 font-size: 90%;
157 margin: 1ex 0 1ex 0;
158 padding: 0 0 0 2em;
159 border-top: 1px solid silver;
160 border-bottom: 1px solid silver;
161 background-color: rgb(252,252,252);
162 }
164 .graph-img
165 {
166 position: relative;
167 float: left;
168 clear: both;
169 }
171 .graph-img .graph-buttons.navigation
172 {
173 position: absolute;
174 right: 5px;
175 bottom: 5px;
176 }
178 .graph-img .graph-buttons.presets
179 {
180 position: absolute;
181 right: 5px;
182 top: 5px;
183 }
185 .graph-buttons .graph-button
186 {
187 width: 1em;
188 height: 1em;
189 border: 1px solid gray;
190 text-align: center;
191 background-color: rgba(255,255,255,.8);
192 color: gray;
193 cursor: pointer;
194 }
196 .graph-buttons .graph-button:hover
197 {
198 border: 1px solid black;
199 background-color: white;
200 color: black;
201 }
203 .graph-buttons.navigation .graph-button
204 {
205 float: left;
206 margin-left: 1px;
207 }
209 .graph-buttons.presets .graph-button
210 {
211 margin-bottom: 1px;
212 }