git.infodrom.org Git - infodrom.org/service.infodrom.org/blob - src/infodrom.css

   1 /*
   2  * General settings
   3  */
   4 body {
   5   font-family: Verdana, Helvetica, Arial, sans-serif;
   6   font-size: 13px;
   7   line-height: 18px;
   8   background-color: #f7f7f7;
   9   color: #000000;
  10 }
  11
  12 /*
  13  * No underline for links
  14  */
  15 a:link {
  16   text-decoration: none;
  17   cursor: pointer;
  18 }
  19 a:visited {
  20   text-decoration: none;
  21   cursor: pointer;
  22 }
  23
  24 /*
  25  * General layout
  26  */
  27 .font {
  28   font-size: 13px;
  29 }
  30 .smallfont {
  31   font-size: 11px;
  32   line-height: 14px;
  33 }
  34 .height {
  35   line-height: 15px;
  36 }
  37 .none {
  38   display: none;
  39 }
  40 .border {
  41   border: 1px solid #9b9b9b;
  42 }
  43 h3.bar {
  44   padding-left: 5px;
  45   padding-bottom: 2px;
  46   font-size: 15px;
  47   background: #98c5e5;
  48 }
  49 img.border {
  50   border: 2px solid #e5e5e5;
  51 }
  52 div.webgraph {
  53   margin-left: 20px;
  54   margin-bottom: 15px;
  55 }
  56 table.webgraph td {
  57   border: 1px solid #CCC;
  58   font-size: small;
  59   text-align: center;
  60 }
  61 table.webgraph td:hover {
  62   background: #DDD;
  63 }
  64 td.leftcol {
  65   padding-left: 2px;
  66 }
  67 td.rightcol {
  68   padding-right: 2px;
  69 }
  70 tr.head {
  71   background: #98c5e5;
  72 }
  73 tr.t0 {
  74   background: #ffffff;
  75 }
  76 tr.t1 {
  77   background: #d9e2ea;
  78 }
  79 tr.t2 {
  80   background: #ffff00;
  81 }
  82 td.in {
  83   color: #2f9a00;
  84 }
  85 td.out {
  86   color: #ff0000;
  87 }
  88
  89 pre {
  90   border: 1pt solid #cfcfcf;
  91   background-color: #F3F5F7;
  92   padding: 2px;
  93   padding-left: 2px;
  94   font-family: courier, monospace;
  95   white-space: pre;
  96   /* begin css 3 or browser specific rules - do not remove!
  97    * see: http://forums.techguy.org/archive/index.php/t-249849.html
  98    */
  99   white-space: pre-wrap;
 100   word-wrap: break-word;
 101   white-space: -moz-pre-wrap;
 102   white-space: -pre-wrap;
 103   white-space: -o-pre-wrap;
 104   /* end css 3 or browser specific rules */
 105 }
 106
 107 p.img img {
 108   display: block;
 109   margin-left: auto;
 110   margin-right: auto;
 111   border: 1px solid #cfcfcf;
 112 }
 113
 114 /*
 115  * Menu
 116  */
 117 p.menurule {
 118   height: 3px;
 119   width: 100%;
 120   background-color: #999999;
 121   padding: 0;
 122   margin-top: 7px;
 123   margin-bottom: 7px;
 124 }
 125
 126 /*
 127  * Formulare
 128  */
 129 input, select, textarea {
 130   border: 1px solid #aaaaaa;
 131 }
 132 input.button {
 133   width: auto;
 134   display: inline;
 135   border: 1px solid #aaaaaa;
 136 }
 137 input.button:hover {
 138   border: 1px solid #9b9b9b;
 139   background-color: #bfbfbf;
 140 }
 141
 142 /*
 143  * Footer
 144  */
 145 div.footer {
 146   clear: both;
 147   border-top: 1px solid #707070;
 148 }
 149 div.footerleft {
 150   float: left;
 151   font-size: xx-small;
 152 }
 153 div.footerright {
 154   float: right;
 155   font-size: xx-small;
 156 }
 157
 158 /*
 159  * Local variables:
 160  * mode: indented-text
 161  * mode: auto-fill
 162  * End:
 163 */