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