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
  49 /*
  50  * Menu
  51  */
  52 p.menurule {
  53   height: 3px;
  54   width: 100%;
  55   background-color: #999999;
  56   padding: 0;
  57   margin-top: 7px;
  58   margin-bottom: 7px;
  59 }
  60
  61 /*
  62  * Footer
  63  */
  64 div.footer {
  65   clear: both;
  66   border-top: 1px solid #707070;
  67 }
  68 div.footerleft {
  69   float: left;
  70   font-size: xx-small;
  71 }
  72 div.footerright {
  73   float: right;
  74   font-size: xx-small;
  75 }
  76
  77 /*
  78  * Local variables:
  79  * mode: indented-text
  80  * mode: auto-fill
  81  * End:
  82 */