share/style.css

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