website/inc/design.css

   1 body {
   2   margin: 10px;
   3   padding: 0px;
   4   font-family: sans-serif;
   5   line-height: 1.5em;
   6   text-align: center;
   7 }
   8
   9 /* hide old stuff */
  10 .legacy {
  11   display: none;
  12 }
  13
  14 /**************************
  15  * layout
  16  **************************/
  17 table#frame  {
  18         width: 950px;
  19         margin: 10px auto;
  20         border-collapse: collapse;
  21         text-align: left;
  22 }
  23
  24 table#frame td {
  25         vertical-align: top;
  26         margin: 0px;
  27         padding: 0px;
  28 }
  29
  30
  31 /**************************
  32  * body
  33  **************************/
  34 div#body {
  35   margin-left: 40px;
  36   margin-right: 6px;
  37   margin-bottom: 40px;
  38   margin-top: 60px;
  39 }
  40
  41 div#body h1 {
  42   color: #717fe5;
  43   margin-top: 0px;
  44   margin-bottom: 0.5em;
  45   padding-bottom: 0.1em;
  46   line-height: 1em;
  47   font-size: 220%;
  48   border-bottom-style: solid;
  49   border-bottom-width: 4px;
  50   border-bottom-color: #808080;
  51 }
  52
  53 div#body h2 {
  54   margin-top: 0.6em;
  55   margin-bottom: 0.1em;
  56 }
  57
  58
  59 div#body a {
  60   color: #4a71e4;
  61 }
  62
  63 div#body a[name] {
  64   color: black;
  65 }
  66
  67 div#body a:hover {
  68   color: #7b9dff;
  69 }
  70
  71 div#body h2 a,
  72 div#body h3 a,
  73 div#body h4 a,
  74 div#body h5 a,
  75 div#body h2,
  76 div#body h3,
  77 div#body h4,
  78 div#body h5 {
  79   color: #606060;
  80 }
  81
  82 div#body dl dd {
  83   margin-left: 1.5em;
  84 }
  85
  86 div#body dl dt {
  87   padding-top: 1em;
  88   font-weight: bold;
  89 }
  90
  91 div#body dl dt a {
  92   text-decoration: none;
  93 }
  94
  95 div#body dl p {
  96   margin-bottom: 0.2em;
  97   margin-top: 0.2em;
  98 }
  99
 100 div#body pre {
 101   border-style: solid;
 102   border-color: #bfbfbf;
 103   border-width: 1px;
 104   background-color: #E8E8E8;
 105   padding: 1em;
 106 }
 107
 108 div#body pre a{
 109   color: black;
 110 }
 111
 112 div#googlead_right {
 113   background-color: white;
 114   float: right;
 115   margin-top: 5px;
 116   padding-left: 20px;
 117   margin-left: 20px;
 118   padding-right: 0px;
 119   padding-bottom: 10px;
 120 }
 121
 122 /**************************
 123  * footer
 124  **************************/
 125 table#frame td#footcell {
 126   padding-left: 40px;
 127 }
 128
 129 div#address  {
 130 }
 131
 132 div#address small {
 133   color: #202020;
 134   font-size: 90%;
 135 }
 136
 137 div#address a {
 138   color: #202020;
 139   text-decoration: none;
 140 }
 141
 142 /**************************
 143  * logo
 144  **************************/
 145
 146 div#logo {
 147   float: right;
 148   height: 78px;
 149   width: 190px;
 150   background-image: url("rrdtool-3dlogo.png");
 151 }
 152
 153 /**************************
 154  * rrdworld
 155  **************************/
 156
 157 div.rrdworld h3 {
 158   background: #E0E0F0;
 159   margin-top: 0.1em;
 160   margin-bottom: 0.3em;
 161   padding: 3px;
 162 }
 163
 164 div.rrdworld {
 165   border-style: solid;
 166   border-color: #bfbfbf;
 167   border-width: 1px;
 168   background-color: #D0D0D0;
 169   padding: 1em;
 170   margin-top: 0.5em;
 171   margin-bottom: 1em;
 172 }
 173
 174
 175 /**************************
 176  * mirrors
 177  **************************/
 178
 179 div#mirrors {
 180   float: left;
 181   padding: 3px;
 182   padding-left: 40px;
 183   font-size: 10px;
 184 }
 185
 186 div#mirrors,
 187 div#mirrors a {
 188   color: #606060;
 189 }
 190
 191
 192 /**************************
 193  * menu
 194  **************************/
 195 table#frame td#leftcornercell,
 196 table#frame td#menucell {
 197   width: 10%;
 198   background-color: #F0F0F0;
 199 }
 200
 201 div#menu {
 202   font-weight: normal;
 203   margin-top: 20px;
 204   margin-left: 10px;
 205   margin-right: 10px;
 206   font-size: 14px;
 207   width: 200px;
 208   line-height: 1em;
 209 }
 210
 211 div#menu li {
 212   padding-top: 4px;
 213   padding-bottom: 4px;
 214   border-top-style: dotted;
 215   border-top-width: 1px;
 216   border-top-color: #444;
 217 }
 218
 219 div#menu li li {
 220   padding-top: 3px;
 221   padding-bottom: 3px;
 222   border-top-color: #ccc;
 223 }
 224
 225 div#menu a {
 226   color: black;
 227   text-decoration: none;
 228 }
 229
 230 div#menu ul ul a {
 231   color: black;
 232   text-decoration: none;
 233 }
 234
 235 div#menu ul {
 236   list-style: none;
 237   margin-left: 0px;
 238   padding-left: 0px;
 239 }
 240
 241 div#menu ul ul {
 242   padding-left: 10px;
 243   font-size: 12px;
 244 }
 245
 246 div#menu ul a,
 247 div#menu ul div.selected {
 248   padding-left: 0px;
 249 }
 250
 251 div#menu ul ul {
 252   margin-top: 3px;
 253 }
 254
 255 div#menu > ul {
 256   border-bottom-style: dotted;
 257   border-bottom-width: 1px;
 258   border-bottom-color: #888;
 259 }
 260
 261 div#menu ul ul ul li {
 262   padding-left: 1em;
 263 }
 264
 265 div#menu a:hover {
 266   color: #5c5b8a;
 267 }
 268
 269 div#menu a:active {
 270   color: #373672;
 271 }
 272
 273 div#menu li div.selected {
 274   color: 1d255f;
 275   font-weight: bold;
 276 }
 277