Home | History | Annotate | Download | only in static 
      1 * { font-family: sans-serif; }
      2 
      3 .left { text-align: left; }
      4 .right { text-align: right; }
      5 
      6 .code { font-family: monospace; text-align: left; }
      7 .line1 { background-color: Gainsboro; }
      8 .line2 { background-color: WhiteSmoke; }
      9 
     10 .title { margin-bottom: 0.25em; }
     11 
     12 .success { background-color: LightGreen; }
     13 .failure { background-color: LightPink; }
     14 
     15 pre.code { margin: 0px; }
     16 
     17 div.header p.title {
     18   border: 1px solid black;
     19   font-size: 32px;
     20   font-style: bold;
     21   background-color: LightBlue;
     22   text-align: center;
     23   margin: 0px;
     24   padding: 10px;
     25   font-weight: bold;
     26 }
     27 
     28 div.links {
     29   background-color: Azure;
     30   margin-top: 2px;
     31   padding: 8px 4px 8px 4px;
     32   border: solid 1px;
     33 }
     34 
     35 div.content {
     36   margin-top: 2px;
     37   padding: 8px;
     38   border: solid 1px;
     39 }
     40 
     41 div.content p.title {
     42   font-size: 28px;
     43   text-align: left;
     44   margin: 0px;
     45   margin-bottom: 8px;
     46   padding: 12px;
     47   font-weight: bold;
     48 }
     49 
     50 table { border-collapse: collapse; }
     51 td, th { text-align: center; }
     52 
     53 table.list td, th { padding: 3px 8px 2px 8px; border:1px solid black; }
     54 table.list td { font-family: monospace; }
     55 table.list th { background-color: LightGray; }
     56 
     57 table.attributes td { text-align: left; }
     58 table.attributes > tbody > tr > td:first-child { font-family: sans-serif; }
     59 
     60 table.raw { border-style: none; }
     61 table.raw td {
     62   padding: 0em 0.5em 0em 0.5em;
     63   border-style: none;
     64   vertical-align: top;
     65   text-align: right;
     66   font-family: monospace;
     67 }
     68 table.raw > tbody > tr > td:first-child { border-left: 0px; }
     69 table.raw > tbody > tr > td { border-left: 1px solid; }
     70 
     71 a.button {
     72   background-color: PeachPuff;
     73   text-decoration: underline;
     74   text-align: center;
     75   color: Black;
     76   padding: 4px;
     77   border: solid 1px;
     78 }
     79 
     80 a.small {
     81   padding: 2px 4px 2px 4px;
     82   font-size: small;
     83   border-color: Gray;
     84   background-color: PapayaWhip;
     85 }
     86 
     87 a.button:hover { background-color: LightYellow; }
     88 a.button:active { background-color: Yellow; }
     89 
     90 a.column {
     91   border-style: none;
     92   display: block;
     93   margin: -3px -8px -2px -8px;
     94 }
     95 
     96 div.warning {
     97   background-color: MistyRose;
     98   border: 1px solid Crimson;
     99   padding: 0.5em;
    100   font-size: x-large;
    101 }
    102