Home | History | Annotate | Download | only in doc 
      1 body {
      2   background-color: #ffffff;
      3   color: black;
      4   margin-right: 1in;
      5   margin-left: 1in;
      6 }
      7 
      8 
      9 h1, h2, h3, h4, h5, h6 {
     10   color: #3366ff;
     11   font-family: sans-serif;
     12 }
     13 @media print {
     14   /* Darker version for printing */
     15   h1, h2, h3, h4, h5, h6 {
     16     color: #000080;
     17     font-family: helvetica, sans-serif;
     18   }
     19 }
     20 
     21 h1 { 
     22   text-align: center;
     23   font-size: 18pt;
     24 }
     25 h2 {
     26   margin-left: -0.5in;
     27 }
     28 h3 {
     29   margin-left: -0.25in;
     30 }
     31 h4 {
     32   margin-left: -0.125in;
     33 }
     34 hr {
     35   margin-left: -1in;
     36 }
     37 
     38 /* Definition lists: definition term bold */
     39 dt {
     40   font-weight: bold;
     41 }
     42 
     43 address {
     44   text-align: right;
     45 }
     46 /* Use the <code> tag for bits of code and <var> for variables and objects. */
     47 code,pre,samp,var {
     48   color: #006000;
     49 }
     50 /* Use the <file> tag for file and directory paths and names. */
     51 file {
     52   color: #905050;
     53   font-family: monospace;
     54 }
     55 /* Use the <kbd> tag for stuff the user should type. */
     56 kbd {
     57   color: #600000;
     58 }
     59 div.note p {
     60   float: right;
     61   width: 3in;
     62   margin-right: 0%;
     63   padding: 1px;
     64   border: 2px solid #6060a0;
     65   background-color: #fffff0;
     66 }
     67 
     68 UL.nobullets {
     69   list-style-type: none;
     70   list-style-image: none;
     71   margin-left: -1em;
     72 }
     73 
     74 /* pretty printing styles.  See prettify.js */
     75 .str { color: #080; }
     76 .kwd { color: #008; }
     77 .com { color: #800; }
     78 .typ { color: #606; }
     79 .lit { color: #066; }
     80 .pun { color: #660; }
     81 .pln { color: #000; }
     82 .tag { color: #008; }
     83 .atn { color: #606; }
     84 .atv { color: #080; }
     85 pre.prettyprint { padding: 2px; border: 1px solid #888; }
     86 
     87 .embsrc { background: #eee; }
     88 
     89 @media print {
     90   .str { color: #060; }
     91   .kwd { color: #006; font-weight: bold; }
     92   .com { color: #600; font-style: italic; }
     93   .typ { color: #404; font-weight: bold; }
     94   .lit { color: #044; }
     95   .pun { color: #440; }
     96   .pln { color: #000; }
     97   .tag { color: #006; font-weight: bold; }
     98   .atn { color: #404; }
     99   .atv { color: #060; }
    100 }
    101 
    102 /* Table Column Headers */
    103 .hdr { 
    104   color: #006; 
    105   font-weight: bold; 
    106   background-color: #dddddd; }
    107 .hdr2 { 
    108   color: #006; 
    109   background-color: #eeeeee; }