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 #search-output li.instance.more
 157 {
 158         padding-top: .5ex;
 159         font-style: italic;
 160 }
 161
 162 .breadcrump
 163 {
 164         font-size: 90%;
 165         margin: 1ex 0 1ex 0;
 166         padding: 0 0 0 2em;
 167         border-top: 1px solid silver;
 168         border-bottom: 1px solid silver;
 169         background-color: rgb(252,252,252);
 170 }
 171
 172 .graph-img
 173 {
 174         position: relative;
 175         float: left;
 176         clear: both;
 177 }
 178
 179 div.graph-img div.graph-buttons
 180 {
 181         display: none;
 182 }
 183
 184 div.graph-img:hover div.graph-buttons
 185 {
 186         display: block;
 187 }
 188
 189 .graph-img .graph-buttons.navigation
 190 {
 191         position: absolute;
 192         right: 5px;
 193         bottom: 5px;
 194 }
 195
 196 .graph-img .graph-buttons.presets
 197 {
 198         position: absolute;
 199         right: 5px;
 200         top: 5px;
 201 }
 202
 203 .graph-buttons .graph-button
 204 {
 205         width: 1em;
 206         height: 1em;
 207         border: 1px solid gray;
 208         text-align: center;
 209         background-color: rgba(255,255,255,.8);
 210         color: gray;
 211         cursor: pointer;
 212 }
 213
 214 .graph-buttons div.graph-button:hover
 215 {
 216         border: 1px solid black;
 217         background-color: white;
 218         color: black;
 219 }
 220
 221 .graph-buttons.navigation .graph-button
 222 {
 223         float: left;
 224         margin-left: 1px;
 225 }
 226
 227 .graph-buttons.presets .graph-button
 228 {
 229         margin-bottom: 1px;
 230 }
 231
 232 div.footer
 233 {
 234         margin-left: auto;
 235         margin-right: auto;
 236         padding: 0 1em;
 237         border-top: 1px solid gray;
 238         font-size: 80%;
 239         font-style: italic;
 240         text-align: right;
 241 }