utility.css

   1 body {
   2         margin : 2em;
   3         padding : 0em;
   4 }
   5
   6 p.warning {
   7         color : red;
   8 }
   9
  10 p.query {
  11         color : green;
  12 }
  13
  14 p.insensitive {
  15         color : gray;
  16 }
  17
  18 .floatingLogo {
  19         float : right;
  20 }
  21
  22 a {
  23         color : #4684ff;
  24         text-decoration : none;
  25 }
  26
  27 a:hover {
  28         color : black;
  29 }
  30
  31 div.notice {
  32         background : #ffffff;
  33         border : 1px solid #88b0f0;
  34         width : 50%;
  35         padding : 5px;
  36         margin : 0px 0px 5px 0px;
  37         font-size : 9pt;
  38 }
  39
  40 div.warning {
  41         background : #fff7d5;
  42         border : 1px solid #d7c47a;
  43         font-size : 9pt;
  44         width : 50%;
  45         padding : 5px;
  46         margin : 0px 0px 5px 0px;
  47 }
  48
  49
  50 div.warning img, div.notice img, div.error img {
  51         vertical-align : middle;
  52         padding : 5px;
  53 }
  54
  55 div.error {
  56         border : 1px solid #ff0000;
  57         background : #ffcccc;
  58         padding : 5px;
  59         margin : 0px 0px 5px 0px;
  60         font-size : 9pt;
  61         width : 50%;
  62 }
  63
  64 h1 {
  65         color : #88b0f0;
  66         font-size : 16pt;
  67 /*      border-width : 0px 0px 1px 0px;
  68         border-color : black;
  69         border-style : solid; */
  70 }
  71
  72 h2 {
  73         color : #88b0f0;
  74         font-size : 14pt;
  75 /*      border-width : 0px 0px 1px 0px;
  76         border-color : black;
  77         border-style : solid; */
  78 }