docs/llvm.css

   1 /*
   2  * LLVM website style sheet
   3  */
   4
   5 /* Common styles */
   6 .body { color: black; background: white; margin: 0 0 0 0 }
   7
   8 /* No borders on image links */
   9 a:link img, a:visited img {border-style: none}
  10
  11 address img { float: right; width: 88px; height: 31px; }
  12 address     { clear: right; }
  13
  14 /*
  15  * Documentation
  16  */
  17 /* Common for title and header */
  18 .doc_title, .doc_section, .doc_subsection {
  19   color: black; background: url("img/lines.gif");
  20   font-family: "Georgia,Palatino,Times,Roman"; font-weight: bold;
  21   border-width: 1px;
  22   border-style: solid none solid none;
  23   text-align: center;
  24   vertical-align: middle;
  25   padding-left: 8pt;
  26   padding-top: 1px;
  27   padding-bottom: 2px
  28 }
  29
  30 .doc_title      { text-align: left;   font-size: 25pt }
  31 .doc_section    { text-align: center; font-size: 22pt;
  32                   margin: 20pt 0pt 5pt 0pt; }
  33 .doc_subsection { width: 75%;
  34                   text-align: left;  font-size: 12pt; padding: 4pt 4pt 4pt 4pt;
  35                   margin: 1.5em 0.5em 0.5em 0.5em }
  36
  37 .doc_subsubsection { margin: 2.0em 0.5em 0.5em 0.5em;
  38                      font-weight: bold; font-style: oblique;
  39                      border-bottom: 1px solid #999999; font-size: 12pt;
  40                      width: 75%; }
  41 .doc_author     { text-align: left; font-weight: bold; padding-left: 20pt }
  42 .doc_text       { text-align: left; padding-left: 20pt }
  43
  44 .doc_footer     { text-align: left; padding: 0 0 0 0 }
  45
  46 .doc_red        { color: red }
  47
  48 .doc_table      { text-align: center; width: 90%;
  49                   padding: 1px 1px 1px 1px; border: 1px; }
  50
  51 .doc_table_nw   { text-align: center; border: 1px;
  52                   padding: 1px 1px 1px 1px; }
  53
  54 .doc_warning    { color: red; font-weight: bold }
  55
  56 .doc_code       { border: solid 1px gray; background: #eeeeee;
  57                   margin: 0 1em 0 1em;
  58                   padding: 0 1em 0 1em;
  59                   display:table;
  60                 }