doc/guide/localhost/mlton.css

   1 a:visited {
   2   color: #3366FF;
   3 }
   4
   5 #banner {
   6   font-family: Arial,Helvetica,sans-serif;
   7 }
   8
   9 #banner {
  10   overflow: hidden;
  11   font-size: x-large;
  12   font-weight: bold;
  13   border-bottom: 8px dotted silver;
  14   padding-bottom: 0.5em;
  15   margin-bottom: 1.0em;
  16 }
  17
  18 #banner-home {
  19   float: left;
  20   vertical-align: bottom;
  21   padding-top: 0.5em;
  22 }
  23
  24 #banner-search {
  25   float: right;
  26   width: 50%;
  27   vertical-align: bottom;
  28   padding-top: 0.5em;
  29 }
  30
  31 @media print {
  32   #banner-search { display: none; }
  33 }
  34
  35 #footer {
  36   overflow: hidden;
  37 }
  38
  39 #footer-text>div {
  40   float: left;
  41   padding-bottom: 0.5em;
  42   padding-right: 1.0em;
  43 }
  44
  45 #footer-badges>div {
  46   float: right;
  47   padding-bottom: 0.5em;
  48   padding-left: 1.0em;
  49 }