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 .height {
  31   line-height: 15px;
  32 }
  33 .none {
  34   display: none;
  35 }
  36 .border {
  37   border: 1px solid black;
  38 }
  39 h3.bar {
  40   padding-left: 5px;
  41   padding-bottom: 2px;
  42   font-size: 15px;
  43   background: #98c5e5;
  44 }
  45 img.border {
  46   border: 2px solid #e5e5e5;
  47 }
  48 ul.webgraph li {
  49   list-style: none;
  50 }
  51 td.leftcol {
  52   padding-left: 2px;
  53 }
  54 td.rightcol {
  55   padding-right: 2px;
  56 }
  57 tr.head {
  58   background: #abdcfc;
  59 }
  60 tr.t0 {
  61   background: #ffffff;
  62 }
  63 tr.t1 {
  64   background: #d9e2ea;
  65 }
  66 td.in {
  67   color: #00ff00;
  68 }
  69 td.out {
  70   color: #ff0000;
  71 }
  72
  73 /*
  74  * Menu
  75  */
  76 p.menurule {
  77   height: 3px;
  78   width: 100%;
  79   background-color: #999999;
  80   padding: 0;
  81   margin-top: 7px;
  82   margin-bottom: 7px;
  83 }
  84
  85 /*
  86  * Footer
  87  */
  88 div.footer {
  89   clear: both;
  90   border-top: 1px solid #707070;
  91 }
  92 div.footerleft {
  93   float: left;
  94   font-size: xx-small;
  95 }
  96 div.footerright {
  97   float: right;
  98   font-size: xx-small;
  99 }
 100
 101 /*
 102  * Local variables:
 103  * mode: indented-text
 104  * mode: auto-fill
 105  * End:
 106 */