doc/designstyle.css

   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 /*
  75 body:after {
  76   content: "Google Confidential";
  77 }
  78 */
  79
  80 /* pretty printing styles.  See prettify.js */
  81 .str { color: #080; }
  82 .kwd { color: #008; }
  83 .com { color: #800; }
  84 .typ { color: #606; }
  85 .lit { color: #066; }
  86 .pun { color: #660; }
  87 .pln { color: #000; }
  88 .tag { color: #008; }
  89 .atn { color: #606; }
  90 .atv { color: #080; }
  91 pre.prettyprint { padding: 2px; border: 1px solid #888; }
  92
  93 .embsrc { background: #eee; }
  94
  95 @media print {
  96   .str { color: #060; }
  97   .kwd { color: #006; font-weight: bold; }
  98   .com { color: #600; font-style: italic; }
  99   .typ { color: #404; font-weight: bold; }
 100   .lit { color: #044; }
 101   .pun { color: #440; }
 102   .pln { color: #000; }
 103   .tag { color: #006; font-weight: bold; }
 104   .atn { color: #404; }
 105   .atv { color: #060; }
 106 }
 107
 108 /* Table Column Headers */
 109 .hdr {
 110   color: #006;
 111   font-weight: bold;
 112   background-color: #dddddd; }
 113 .hdr2 {
 114   color: #006;
 115   background-color: #eeeeee; }