utility.css

   1 body {
   2         margin : 2em;
   3         padding : 0em;
   4         font-family : sans-serif;
   5         font-size : 12px;
   6 }
   7
   8 p.warning {
   9         color : red;
  10 }
  11
  12 p.query, code {
  13         color : green;
  14 }
  15
  16 p.insensitive {
  17         color : gray;
  18 }
  19
  20 div.insensitive-small {
  21         color : gray;
  22         font-size : 10px;
  23 }
  24
  25 .floatingLogo {
  26         float : right;
  27 }
  28
  29 a {
  30         color : #4684ff;
  31         text-decoration : none;
  32 }
  33
  34 a:hover {
  35         color : black;
  36 }
  37
  38 div.notice {
  39         background : #ffffff;
  40         border : 1px solid #88b0f0;
  41         width : 50%;
  42         padding : 5px;
  43         margin : 0px 0px 5px 0px;
  44         font-size : 9pt;
  45 }
  46
  47 div.warning {
  48         background : #fff7d5;
  49         border : 1px solid #d7c47a;
  50         font-size : 9pt;
  51         width : 50%;
  52         padding : 5px;
  53         margin : 0px 0px 5px 0px;
  54 }
  55
  56
  57 div.warning img, div.notice img, div.error img {
  58         vertical-align : middle;
  59         padding : 5px;
  60 }
  61
  62 div.error {
  63         border : 1px solid #ff0000;
  64         background : #ffcccc;
  65         padding : 5px;
  66         margin : 0px 0px 5px 0px;
  67         font-size : 9pt;
  68 }
  69
  70 h1 {
  71         color : #88b0f0;
  72         font-size : 16pt;
  73 /*      border-width : 0px 0px 1px 0px;
  74         border-color : black;
  75         border-style : solid; */
  76 }
  77
  78 h2 {
  79         color : #88b0f0;
  80         font-size : 14pt;
  81 /*      border-width : 0px 0px 1px 0px;
  82         border-color : black;
  83         border-style : solid; */
  84 }
  85
  86 div.rss h1 {
  87         border-width : 0px 0px 1px 0px;
  88         border-color : gray;
  89         border-style : dotted;
  90         color : gray;
  91         margin-right : 90px;
  92 }
  93
  94 div.rss h2 {
  95         font-size : 12pt;
  96         margin : 0px;
  97 }
  98
  99 div.rss a.extlink {
 100         color : gray;
 101         border-width : 0px 0px 1px 0px;
 102         border-color : #778899;
 103         border-style : dotted;
 104         font-size : 9pt;
 105 }
 106
 107 div.rss p.description {
 108         color : gray;
 109         font-size : 9pt;
 110 }
 111
 112 div.rss div.content {
 113         margin-top : 0.5em;
 114 }
 115
 116 div.rss img.feedicon {
 117         float : right;
 118 }
 119
 120 div.rss hr {
 121         border-width : 0px 0px 1px 0px;
 122         border-style : dashed;
 123         border-color : #e0e0e0;
 124 }
 125
 126 body#sharepopup {
 127         background-color : white;
 128         background-image : url("images/toolbar.png");
 129         background-repeat : repeat-x;
 130         background-position : bottom;
 131         margin : 10px;
 132         padding : 0px;
 133 }
 134
 135 body#sharepopup h1 {
 136         font-size : 14px;
 137         margin : 0px;
 138         color : #88b0f0;
 139 }
 140
 141 body#sharepopup table {
 142         background : white;
 143         border : 1px solid #88b0f0;
 144         padding : 5px;
 145 }
 146
 147 body#sharepopup form {
 148         height : 100%;
 149 }
 150
 151 body#sharepopup input {
 152         width : 100%;
 153 }
 154
 155 div.autocomplete {
 156         position : absolute;
 157         width : 250px;
 158         background-color : white;
 159         border :1px solid #778899;
 160         margin : 0px;
 161         padding : 0px;
 162         z-index : 4;
 163 }
 164
 165 div.autocomplete ul {
 166         list-style-type : none;
 167         margin : 0px;
 168         padding : 0px;
 169         font-size : 10px;
 170 }
 171
 172 div.autocomplete ul li.selected {
 173         background-color : #fff7d5;
 174 }
 175
 176 div.autocomplete ul li {
 177         list-style-type : none;
 178         display : block;
 179         margin : 0;
 180         padding : 2px;
 181         height : 32px;
 182         cursor : pointer;
 183 }
 184
 185 fieldset {
 186         border-width : 0px;
 187         padding : 0px 0px 5px 0px;
 188         margin : 0px;
 189 }
 190
 191 fieldset input {
 192         font-family : sans-serif;
 193         font-size : medium;
 194         border-spacing : 2px;
 195         border : 1px solid #b5bcc7;
 196         padding : 2px;
 197 }
 198
 199 fieldset label {
 200         width : 120px;
 201         margin-right : 20px;
 202         display : inline-block;
 203         text-align : right;
 204         color : gray;
 205 }
 206