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 ul.menu
  78 {
  79         border: 1px solid silver;
  80         background-color: #fcfcfc;
  81 }
  82
  83 #search-form
  84 {
  85         position: relative;
  86 }
  87
  88 #search-suggest
  89 {
  90         position: absolute;
  91         background-color: rgba(255,255,255,.8);
  92         margin: 0;
  93         padding: 0.5ex;
  94         border: 1px solid black;
  95         list-style: none;
  96 }
  97
  98 #search-suggest ul.instance_list
  99 {
 100         margin: 0;
 101         padding: 0;
 102         list-style: none;
 103 }
 104
 105 #search-suggest li
 106 {
 107         margin: 0;
 108         padding: 0;
 109 }
 110
 111 #search-suggest a
 112 {
 113         display: block;
 114         margin: 0;
 115         padding: 0;
 116         color: #2d6195;
 117         background-color: transparent;
 118 }
 119
 120 #search-suggest li.instance a
 121 {
 122         padding-left: 1em;
 123 }
 124
 125 #search-suggest a:hover
 126 {
 127         color: white;
 128         background-color: #408dd8;
 129 }
 130
 131 #search-output ul.graph_list
 132 {
 133         margin: 0;
 134         padding: 1ex;
 135 }
 136
 137 #search-output li.graph
 138 {
 139         display: block;
 140         border: 1px solid gray;
 141         margin-top: 1ex;
 142
 143         background-color: rgb(245,245,255);
 144 }
 145
 146 #search-output ul.instance_list
 147 {
 148         margin: 0;
 149         padding: 1ex;
 150         border-top: 1px solid gray;
 151
 152         background-color: rgb(252,252,252);
 153 }
 154
 155 #search-output li.instance
 156 {
 157         display: block;
 158
 159         font-size: 90%;
 160 }
 161
 162 #search-output li.instance.more
 163 {
 164         padding-top: .5ex;
 165         font-style: italic;
 166 }
 167
 168 .breadcrump
 169 {
 170         font-size: 90%;
 171         margin: 1ex 0 1ex 0;
 172         padding: 0 0 0 2em;
 173         border-top: 1px solid silver;
 174         border-bottom: 1px solid silver;
 175         background-color: rgb(252,252,252);
 176 }
 177
 178 .graph-img
 179 {
 180         position: relative;
 181         float: left;
 182         clear: both;
 183 }
 184
 185 div.graph-img div.graph-buttons
 186 {
 187         display: none;
 188 }
 189
 190 div.graph-img:hover div.graph-buttons
 191 {
 192         display: block;
 193 }
 194
 195 .graph-img .graph-buttons.navigation
 196 {
 197         position: absolute;
 198         right: 5px;
 199         bottom: 5px;
 200 }
 201
 202 .graph-img .graph-buttons.presets
 203 {
 204         position: absolute;
 205         right: 5px;
 206         top: 5px;
 207 }
 208
 209 .graph-buttons .graph-button
 210 {
 211         width: 1em;
 212         height: 1em;
 213         border: 1px solid gray;
 214         text-align: center;
 215         background-color: rgba(255,255,255,.8);
 216         color: gray;
 217         cursor: pointer;
 218 }
 219
 220 .graph-buttons div.graph-button:hover
 221 {
 222         border: 1px solid black;
 223         background-color: white;
 224         color: black;
 225 }
 226
 227 .graph-buttons.navigation .graph-button
 228 {
 229         float: left;
 230         margin-left: 1px;
 231 }
 232
 233 .graph-buttons.presets .graph-button
 234 {
 235         margin-bottom: 1px;
 236 }
 237
 238 div.footer
 239 {
 240         margin-left: auto;
 241         margin-right: auto;
 242         padding: 0 1em;
 243         border-top: 1px solid gray;
 244         font-size: 80%;
 245         font-style: italic;
 246         text-align: right;
 247 }