doc/style.css

   1 /**
   2  * CSS Reset
   3  * From Blueprint reset.css
   4  * http://blueprintcss.googlecode.com
   5  */
   6 html, body, div, span, object, iframe, h1, h2, h3, h4, h5, h6, p, blockquote, pre, a, abbr, acronym, address, code, del, dfn, em, img, q, dl, dt, dd, fieldset, form, label, legend, table, caption, tbody, tfoot, thead, tr, th, td {margin:0;padding:0;border:0;font-weight:inherit;font-style:inherit;font-size:100%;font-family:inherit;vertical-align:baseline;}
   7 body {line-height:1.5;}
   8 table {border-collapse:separate;border-spacing:0;}
   9 caption, th, td {text-align:left;font-weight:normal;}
  10 table, td, th {vertical-align:middle;}
  11 blockquote:before, blockquote:after, q:before, q:after {content:"";}
  12 blockquote, q {quotes:"" "";}
  13 a img {border:none;}
  14
  15 /**
  16  * Basic Typography
  17  * From OpenLayers style.css
  18  * http://openlayers.org
  19  */
  20 body {
  21     font-family: "Lucida Grande", Verdana, Geneva, Lucida, Arial, Helvetica, sans-serif;
  22     font-size: 80%;
  23     color: #222;
  24     background: #fff;
  25     margin: 1em 1.5em;
  26 }
  27 pre, code {
  28     margin: 1.5em 0;
  29     white-space: pre;
  30     font: 1em 'andale mono', 'lucida console', monospace;
  31     line-height:1.5;
  32 }
  33 a[href] {
  34     color: #436976;
  35     background-color: transparent;
  36 }
  37 h1, h2, h3, h4, h5, h6 {
  38     color: #003a6b;
  39     background-color: transparent;
  40     font: 100% 'Lucida Grande', Verdana, Geneva, Lucida, Arial, Helvetica, sans-serif;
  41     margin: 0;
  42     padding-top: 0.5em;
  43     clear: both;
  44 }
  45 h1 {
  46     font-size: 130%;
  47     margin-bottom: 0em;
  48     border-bottom: 1px solid #fcb100;
  49 }
  50 h2 {
  51     font-size: 120%;
  52     margin-bottom: 0.5em;
  53     border-bottom: 1px solid #aaa;
  54 }
  55 h3 {
  56     font-size: 110%;
  57     margin-bottom: 0.5em;
  58     text-decoration: underline;
  59 }
  60 h4 {
  61     font-size: 100%;
  62     font-weight: bold;
  63 }
  64 h5 {
  65     font-size: 100%;
  66     font-weight: bold;
  67 }
  68 h6 {
  69     font-size: 80%;
  70     font-weight: bold;
  71 }
  72 hr {
  73     border: 1px solid #aaa;
  74     /* color: #aaa; */
  75 }
  76
  77 /**
  78  * Org-mode classes
  79  */
  80
  81 .title {
  82     text-align: left;
  83 }
  84 div.figure p{
  85     text-align: left;
  86 }
  87 #table-of-contents {
  88     margin-bottom: 0.5em;
  89 }
  90
  91 #table-of-contents ul {
  92     padding: 0em;
  93 }
  94 #table-of-contents li {
  95     list-style-type: none;
  96     display: inline;
  97     padding-right: 1em;
  98 }
  99 #table-of-contents a {
 100     text-decoration: none;
 101 }
 102 #table-of-contents a:hover {
 103     text-decoration: underline;
 104 }
 105 #table-of-contents h2 {
 106     display: none;
 107 }
 108 #postamble {
 109     clear: both;
 110     margin-top: 1em;
 111     padding-top: 0em;
 112     border-top: 1px solid #aaa;
 113 }
 114 #postamble p {
 115     float: left;
 116     padding-right: 1.5em;
 117 }
 118