3 font-family: sans-serif;
10 text-decoration: none;
15 color: rgb(32,32,255);
16 text-decoration: underline;
34 #layout-middle-center,
52 #layout-middle-center h1,
53 #layout-middle-center h2,
54 #layout-middle-center h3
62 text-decoration: none;
85 background-color: rgba(255,255,255,.8);
88 border: 1px solid black;
92 #search-suggest ul.instance_list
111 background-color: transparent;
114 #search-suggest li.instance a
119 #search-suggest a:hover
122 background-color: #408dd8;
125 #search-output ul.graph_list
131 #search-output li.graph
134 border: 1px solid gray;
137 background-color: rgb(245,245,255);
140 #search-output ul.instance_list
144 border-top: 1px solid gray;
146 background-color: rgb(252,252,252);
149 #search-output li.instance
156 #search-output li.instance.more
167 border-top: 1px solid silver;
168 border-bottom: 1px solid silver;
169 background-color: rgb(252,252,252);
179 div.graph-img div.graph-buttons
184 div.graph-img:hover div.graph-buttons
189 .graph-img .graph-buttons.navigation
196 .graph-img .graph-buttons.presets
203 .graph-buttons .graph-button
207 border: 1px solid gray;
209 background-color: rgba(255,255,255,.8);
214 .graph-buttons div.graph-button:hover
216 border: 1px solid black;
217 background-color: white;
221 .graph-buttons.navigation .graph-button
227 .graph-buttons.presets .graph-button
237 border-top: 1px solid gray;