code/static/style.css

   1 /*
   2   Good style ideas stolen from Debathena.
   3   Hey, we use some different fonts.
   4   And the colors are unmistakably different.
   5 */
   6
   7 /* Basic fonts and sizes. */
   8 html {
   9     font-size: 87.5%;
  10 }
  11 body {
  12     font-family: Tahoma, Sans, sans-serif;
  13 }
  14 pre, code, samp, kbd, tt {
  15     font-family: "Bitstream Vera Sans Mono", "Luxi Mono", "Courier New", monospace;
  16     font-size: 100%;
  17 }
  18
  19 /* Blue headings. */
  20 h1, h2, h3, h4, h5, h6 {
  21     color: #13a;
  22 }
  23
  24 /* Dividing line under the header. */
  25 h1 {
  26     border-bottom: 1px solid black;
  27     margin-top: 0;
  28     overflow: auto;
  29 }
  30
  31 pre {
  32     background: #f6f6f6;
  33     border: 1px solid #ddd;
  34     padding: .125em;
  35 }
  36 a:link, a:visited {
  37     text-decoration: none;
  38 }
  39 a:link:hover, a:visited:hover {
  40     text-decoration: underline;
  41 }
  42
  43 /* Keep help-popup links unbolded in e.g. table headings. */
  44 .helplink {
  45   font-weight: normal;
  46 }
  47
  48 /* Highlight error messages in bright red. */
  49 .error {
  50   color: #FF0000;
  51   padding: 0.25em;
  52 }
  53 td.error {
  54   border: 1px solid red;
  55 }
  56
  57 .notice {
  58   color: #FF0000;
  59   padding: 0.25em;
  60   border: 1px solid red;
  61   font-size: 16pt;
  62 }
  63
  64 /* Navigation bar. */
  65 .navigation {
  66   padding: 0em 1em;
  67   font-size: 125%;
  68   font-weight: bold;
  69   font-family: "Trebuchet MS", Trebuchet, Sans, sans-serif;
  70 }
  71 .navigation li {
  72   display: inline;
  73   padding: .2em;
  74 }
  75
  76 /* Logged-in welcome message. */
  77 .loggedin {
  78   float: right;
  79 }
  80 .loggedin .name {
  81   font-weight: bold;
  82 }
  83
  84 /* Machine list power buttons */
  85 .power {
  86   width: 32px;
  87   height: 32px;
  88   background-color: transparent;
  89   background-position: 0 0;
  90   margin: 0;
  91   border: 0;
  92   text-indent: 64px;
  93   line-height: 128px;
  94   cursor: pointer;
  95 }
  96 .power:hover {
  97   background-position: 0 32px;
  98 }
  99 .power.on {
 100   background-image: url(power_button_on.png);
 101 }
 102 .power.off {
 103   background-image: url(power_button_off.png);
 104 }
 105
 106 /* Striping applied (by JavaScript) to every other row in /list. */
 107 tr.stripedrow {
 108   background-color: #e8e8ff;
 109 }
 110
 111 #machinelist td, #machinelist th {
 112   padding: 0.1em 0.5em;
 113 }
 114
 115 form {
 116     display: inline;
 117 }
 118
 119 /* styling for the results box */
 120 .result {
 121     background-color: #e8e8ff;
 122     border: 1px black solid;
 123     padding: 1ex;
 124 }