doc/style.css

   1 /* This stylesheet is used by manuals and a few older resources. */
   2
   3 @import url('reset.css');
   4
   5
   6 /***  PAGE LAYOUT  ***/
   7
   8 html, body {
   9    font-size: 1em;
  10    text-align: left;
  11    text-decoration: none;
  12 }
  13 html { background-color: #e7e7e7; }
  14
  15 body {
  16    max-width: 74.92em;
  17    margin: 0 auto;
  18    padding: .5em 1em 1em 1em;
  19    background-color: white;
  20    border: .1em solid #c0c0c0;
  21 }
  22
  23
  24 /*** BASIC ELEMENTS ***/
  25
  26 /* Size and positioning */
  27
  28 p, pre, li, dt, dd, table, code, address { line-height: 1.3em; }
  29
  30 h1 { font-size: 2em; margin: 1em 0 }
  31 h2 { font-size: 1.50em; margin: 1.0em 0 0.87em 0; }
  32 h3 { font-size: 1.30em; margin: 1.0em 0 0.87em 0; }
  33 h4 { font-size: 1.13em; margin: 1.0em 0 0.88em 0; }
  34 h5 { font-size: 1.00em; margin: 1.0em 0 1.00em 0; }
  35
  36 p, pre { margin: 1em 0; }
  37 pre { overflow: auto; padding-bottom: .3em; }
  38
  39 ul, ol, blockquote { margin-left: 1.5%; margin-right: 1.5%; }
  40 hr { margin: 1em 0; }
  41 /* Lists of underlined links are difficult to read. The top margin
  42    gives a little more spacing between entries. */
  43 ul li { margin: .5em 1em; }
  44 ol li { margin: 1em; }
  45 ol ul li { margin: .5em 1em; }
  46 ul li p, ul ul li { margin-top: .3em; margin-bottom: .3em; }
  47 ul ul, ol ul { margin-top: 0; margin-bottom: 0; }
  48
  49 /* Separate description lists from preceding text */
  50 dl { margin: 1em 0 0 0; }
  51 /* separate the "term" from subsequent "description" */
  52 dt { margin: .5em 0; }
  53 /* separate the "description" from subsequent list item
  54    when the final <dd> child is an anonymous box */
  55 dd { margin: .5em 3% 1em 3%; }
  56 /* separate anonymous box (used to be the first element in <dd>)
  57    from subsequent <p> */
  58 dd p { margin: .5em 0; }
  59
  60 table {
  61    display: block; overflow: auto;
  62    margin-top: 1.5em; margin-bottom: 1.5em;
  63 }
  64 th { padding: .3em .5em; text-align: center; }
  65 td { padding: .2em .5em; }
  66
  67 address { margin-bottom: 1em; }
  68 caption { margin-bottom: .5em; text-align: center; }
  69 sup { vertical-align: super; }
  70 sub { vertical-align: sub; }
  71
  72 /* Style */
  73
  74 h1, h2, h3, h4, h5, h6, strong, dt, th { font-weight: bold; }
  75
  76 /* The default color (black) is too dark for large text in
  77    bold font. */
  78 h1, h2, h3, h4 { color: #333; }
  79 h5, h6, dt { color: #222; }
  80
  81 a[href] { color: #005090; }
  82 a[href]:visited { color: #100070; }
  83 a[href]:active, a[href]:hover {
  84    color: #100070;
  85    text-decoration: none;
  86 }
  87
  88 h1 a[href]:visited, h2 a[href]:visited, h3 a[href]:visited,
  89  h4 a[href]:visited { color: #005090; }
  90 h1 a[href]:hover, h2 a[href]:hover, h3 a[href]:hover,
  91  h4 a[href]:hover { color: #100070; }
  92
  93 ol { list-style: decimal outside;}
  94 ul { list-style: square outside; }
  95 ul ul, ol ul { list-style: circle; }
  96 li { list-style: inherit; }
  97
  98 hr { background-color: #ede6d5; }
  99 table { border: 0; }
 100
 101 abbr,acronym {
 102    border-bottom:1px dotted #000;
 103    text-decoration: none;
 104    cursor:help;
 105 }
 106 del { text-decoration: line-through; }
 107 em { font-style: italic; }
 108 small { font-size: .9em; }
 109
 110 img { max-width: 100%}
 111
 112
 113 /*** SIMPLE CLASSES ***/
 114
 115 .center, .c { text-align: center; }
 116 .nocenter{ text-align: left; }
 117
 118 .underline { text-decoration: underline; }
 119 .nounderline { text-decoration: none; }
 120
 121 .no-bullet { list-style: none; }
 122 .inline-list li { display: inline }
 123
 124 .netscape4, .no-display { display: none; }
 125
 126
 127 /*** MANUAL PAGES ***/
 128
 129 /* This makes the very long tables of contents in Gnulib and other
 130    manuals easier to read. */
 131 .contents ul, .shortcontents ul { font-weight: bold; }
 132 .contents ul ul, .shortcontents ul ul { font-weight: normal; }
 133 .contents ul { list-style: none; }
 134
 135 /* For colored navigation bars (Emacs manual): make the bar extend
 136    across the whole width of the page and give it a decent height. */
 137 .header, .node { margin: 0 -1em; padding: 0 1em; }
 138 .header p, .node p { line-height: 2em; }
 139
 140 /* For navigation links */
 141 .node a, .header a { display: inline-block; line-height: 2em; }
 142 .node a:hover, .header a:hover { background: #f2efe4; }
 143
 144 /* Inserts */
 145 table.cartouche td { padding: 1.5em; }
 146
 147 div.display, div.lisp, div.smalldisplay,
 148  div.smallexample, div.smalllisp { margin-left: 3%; }
 149
 150 div.example { padding: .8em 1.2em .4em; }
 151 pre.example { padding: .8em 1.2em; }
 152 div.example, pre.example {
 153    margin: 1em 0 1em 3% ;
 154    -webkit-border-radius: .3em;
 155    -moz-border-radius: .3em;
 156    border-radius: .3em;
 157    border: 1px solid #d4cbb6;
 158    background-color: #f2efe4;
 159 }
 160 div.example > pre.example {
 161    padding: 0 0 .4em;
 162    margin: 0;
 163    border: none;
 164 }
 165
 166 pre.menu-comment { padding-top: 1.3em; margin: 0; }
 167
 168
 169 /*** FOR WIDE SCREENS ***/
 170
 171 @media (min-width: 40em) {
 172    body { padding: .5em 3em 1em 3em; }
 173    div.header, div.node { margin: 0 -3em; padding: 0 3em; }
 174 }