share/style.css

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