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 > tr > 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   width: 200px;
 116   margin-top: 5px;
 117   padding-left: 20px;
 118   margin-left: 20px;
 119   padding-right: 0px;
 120   padding-bottom: 10px;
 121 }
 122
 123 /**************************
 124  * footer
 125  **************************/
 126 table#frame td#footcell {
 127   padding-left: 40px;
 128 }
 129
 130 div#address  {
 131 }
 132
 133 div#address small {
 134   color: #202020;
 135   font-size: 90%;
 136 }
 137
 138 div#address a {
 139   color: #202020;
 140   text-decoration: none;
 141 }
 142
 143 /**************************
 144  * logo
 145  **************************/
 146
 147 div#logo {
 148   float: right;
 149   height: 78px;
 150   width: 190px;
 151   background-image: url("rrdtool-3dlogo.png");
 152 }
 153
 154 /**************************
 155  * rrdworld
 156  **************************/
 157
 158 div.rrdworld h3 {
 159   background: #E0E0F0;
 160   margin-top: 0.1em;
 161   margin-bottom: 0.3em;
 162   padding: 3px;
 163 }
 164
 165 div.rrdworld {
 166   border-style: solid;
 167   border-color: #bfbfbf;
 168   border-width: 1px;
 169   background-color: #D0D0D0;
 170   padding: 1em;
 171   margin-top: 0.5em;
 172   margin-bottom: 1em;
 173 }
 174
 175
 176 /**************************
 177  * mirrors
 178  **************************/
 179
 180 div#mirrors {
 181   float: left;
 182   padding: 3px;
 183   padding-left: 40px;
 184   font-size: 10px;
 185 }
 186
 187 div#mirrors,
 188 div#mirrors a {
 189   color: #606060;
 190 }
 191
 192
 193 /**************************
 194  * menu
 195  **************************/
 196 table#frame td#leftcornercell,
 197 table#frame td#menucell {
 198   width: 10%;
 199   background-color: #F0F0F0;
 200 }
 201
 202 div#menu {
 203   font-weight: normal;
 204   margin-top: 20px;
 205   margin-left: 10px;
 206   margin-right: 10px;
 207   font-size: 14px;
 208   width: 200px;
 209   line-height: 1em;
 210 }
 211
 212 div#menu li {
 213   padding-top: 4px;
 214   padding-bottom: 4px;
 215   border-top-style: dotted;
 216   border-top-width: 1px;
 217   border-top-color: #444;
 218 }
 219
 220 div#menu li li {
 221   padding-top: 3px;
 222   padding-bottom: 3px;
 223   border-top-color: #ccc;
 224 }
 225
 226 div#menu a {
 227   color: black;
 228   text-decoration: none;
 229 }
 230
 231 div#menu ul ul a {
 232   color: black;
 233   text-decoration: none;
 234 }
 235
 236 div#menu ul {
 237   list-style: none;
 238   margin-left: 0px;
 239   padding-left: 0px;
 240 }
 241
 242 div#menu ul ul {
 243   padding-left: 10px;
 244   font-size: 12px;
 245 }
 246
 247 div#menu ul a,
 248 div#menu ul div.selected {
 249   padding-left: 0px;
 250 }
 251
 252 div#menu ul ul {
 253   margin-top: 3px;
 254 }
 255
 256 div#menu > ul {
 257   border-bottom-style: dotted;
 258   border-bottom-width: 1px;
 259   border-bottom-color: #888;
 260 }
 261
 262 div#menu ul ul ul li {
 263   padding-left: 1em;
 264 }
 265
 266 div#menu a:hover {
 267   color: #5c5b8a;
 268 }
 269
 270 div#menu a:active {
 271   color: #373672;
 272 }
 273
 274 div#menu li div.selected {
 275   color: 1d255f;
 276   font-weight: bold;
 277 }
 278