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 #logo-canvas
51 {
52 display: block;
53 text-decoration: none;
54 color: black;
55 }
57 #logo-canvas h1
58 {
59 margin: 0;
60 }
62 #logo-subscript
63 {
64 font-size: 90%;
65 font-style: italic;
66 }
68 #search-form
69 {
70 position: relative;
71 }
73 #search-suggest
74 {
75 position: absolute;
76 background-color: rgba(255,255,255,.8);
77 margin: 0;
78 padding: 0.5ex;
79 border: 1px solid black;
80 list-style: none;
81 }
83 #search-suggest ul.instance_list
84 {
85 margin: 0;
86 padding: 0;
87 list-style: none;
88 }
90 #search-suggest li
91 {
92 margin: 0;
93 padding: 0;
94 }
96 #search-suggest a
97 {
98 display: block;
99 margin: 0;
100 padding: 0;
101 color: #2d6195;
102 background-color: transparent;
103 }
105 #search-suggest li.instance a
106 {
107 padding-left: 1em;
108 }
110 #search-suggest a:hover
111 {
112 color: white;
113 background-color: #408dd8;
114 }
116 #search-output ul.graph_list
117 {
118 margin: 0;
119 padding: 1ex;
120 }
122 #search-output li.graph
123 {
124 display: block;
125 border: 1px solid gray;
126 margin-top: 1ex;
128 background-color: rgb(245,245,255);
129 }
131 #search-output ul.instance_list
132 {
133 margin: 0;
134 padding: 1ex;
135 border-top: 1px solid gray;
137 background-color: rgb(252,252,252);
138 }
140 #search-output li.instance
141 {
142 display: block;
144 font-size: 90%;
145 }
147 .breadcrump
148 {
149 font-size: 90%;
150 margin: 1ex 0 1ex 0;
151 padding: 0 0 0 2em;
152 border-top: 1px solid silver;
153 border-bottom: 1px solid silver;
154 background-color: rgb(252,252,252);
155 }