third_party/tcmalloc/vendor/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 /* 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; }