interface.css

   1 body {
   2   margin: 0;
   3   font: 16px 'DejaVu Sans', sans-serif;
   4 }
   5 a {
   6   color: #05561a;
   7   text-decoration: underline;
   8 }
   9 #content {
  10   padding: 32px;
  11   outline: none;
  12   background: white;
  13   color: black;
  14 }
  15
  16 #command-block {
  17   position: fixed;
  18   top: 0;
  19   left: 0;
  20   margin: 0;
  21 }
  22 #command-string {
  23   margin: 0;
  24   background: rgba(0, 0, 0, 0.7);
  25   color: #fff;
  26   padding: 8px;
  27   font-size: 24px;
  28   -moz-border-radius: 0 0 8px 0;
  29   display: inline-block;
  30 }
  31 #command-alternatives {
  32   margin: 0;
  33   padding: 8px;
  34   background: rgba(0, 0, 0, 0.7);
  35   color: #1c1;
  36   padding: 8px;
  37   font-size: 18px;
  38   -moz-border-radius: 0 8px 8px 0;
  39   display: inline-block;
  40   clear: both;
  41 }
  42 #command-alternatives b {
  43   color: #fff;
  44   font-weight: normal;
  45 }
  46
  47 .document-separator {
  48   background: #afdaf9;
  49   padding: 8px;
  50   font-size: 12px;
  51 }
  52 .document-separator p {
  53   margin: 0;
  54 }
  55
  56 .doc-char {
  57   background: #afdaf9;
  58   height: 3px;
  59   border: none;
  60   margin: 2px 0;
  61 }
  62
  63 #message {
  64   position: fixed;
  65   top: 32px;
  66   text-align: center;
  67   left: 0;
  68   right: 0;
  69 }
  70 #message p {
  71   margin: 0;
  72   display: inline-block;
  73   background: rgba(0, 0, 0, 0.7);
  74   color: white;
  75   font-size: 24px;
  76   padding: 8px 16px;
  77   -moz-border-radius: 8px;
  78   -moz-user-focus: ignore;
  79   -moz-user-select: -moz-none;
  80   cursor: default;
  81 }