doc/manual/style-common.css

   1 /*
   2  * Based on version 1.0.1 of the texinfo-css stylesheet published by
   3  * sirgazil (https://bitbucket.org/sirgazil/texinfo-css).
   4  *
   5  * Public domain 2016 sirgazil. All rights waived.
   6 */
   7
   8 /* NATIVE ELEMENTS */
   9 a:link,
  10 a:visited {
  11     color: #1E90FF;
  12     text-decoration: none;
  13 }
  14
  15 a:active,
  16 a:focus,
  17 a:hover {
  18     text-decoration: underline;
  19 }
  20
  21 abbr,
  22 acronym {
  23     cursor: help;
  24 }
  25
  26 blockquote {
  27     color: #555753;
  28     font-style: oblique;
  29     margin: 30px 0px;
  30     padding-left: 3em;
  31 }
  32
  33 body {
  34     background-color: white;
  35     box-shadow: 0 0 2px gray;
  36     box-sizing: border-box;
  37     color: #333;
  38     font-family: sans-serif;
  39     font-size: 16px;
  40     margin: 50px auto;
  41     max-width: 70em; /*960px;*/
  42     padding: 50px;
  43 }
  44
  45 code,
  46 samp,
  47 tt,
  48 var {
  49     color: purple;
  50     font-size: 0.8em;
  51 }
  52
  53 div.example,
  54 div.lisp {
  55     margin: 0px;
  56 }
  57
  58 dl {
  59     margin: 3em 0em;
  60 }
  61
  62 dl dl {
  63     margin: 0em;
  64 }
  65
  66 dt {
  67     background-color: #F5F5F5;
  68     padding: 0.5em;
  69 }
  70
  71 h1,
  72 h2,
  73 h2.contents-heading,
  74 h3,
  75 h4 {
  76     padding: 20px 0px 0px 0px;
  77     font-weight: normal;
  78 }
  79
  80 h1 {
  81     font-size: 2.4em;
  82 }
  83
  84 h2 {
  85     font-size: 2.2em;
  86     font-weight: bold;
  87 }
  88
  89 h3 {
  90     font-size: 1.8em;
  91 }
  92
  93 h4 {
  94     font-size: 1.4em;
  95 }
  96
  97 hr {
  98     background-color: silver;
  99     border-style: none;
 100     height: 1px;
 101     margin: 0px;
 102 }
 103
 104 html {
 105     background-color: #F5F5F5;
 106 }
 107
 108 img {
 109     max-width: 100%;
 110 }
 111
 112 li {
 113     padding: 5px;
 114 }
 115
 116 div.display,
 117 div.example,
 118 div.format,
 119 div.lisp,
 120 div.verbatim {
 121     overflow: auto;
 122 }
 123
 124 div.example,
 125 div.lisp,
 126 div.verbatim {
 127     background-color: #F5F5F5; /* #2D3743;*/
 128     border-color: #000;
 129     border-style: solid;
 130     border-width: thin;
 131     /*color: #E1E1E1;*/
 132     font-size: smaller;
 133     padding: 1em;
 134 }
 135
 136 pre {
 137     padding: 0;
 138     margin: 0 0 1em 0;
 139 }
 140 pre:last-of-type {
 141     margin: 0 0 0 0;
 142 }
 143
 144 table {
 145     border-collapse: collapse;
 146     margin: 40px 0px;
 147 }
 148
 149 table.index-cp *,
 150 table.index-fn *,
 151 table.index-ky *,
 152 table.index-pg *,
 153 table.index-tp *,
 154 table.index-vr * {
 155     background-color: inherit;
 156     border-style: none;
 157 }
 158
 159 td,
 160 th {
 161     border-color: silver;
 162     border-style: solid;
 163     border-width: thin;
 164     padding: 10px;
 165 }
 166
 167 th {
 168     background-color: #F5F5F5;
 169 }
 170 /* END NATIVE ELEMENTS */
 171
 172
 173
 174 /* CLASSES */
 175 .contents {
 176     margin-bottom: 4em;
 177 }
 178
 179 .float {
 180     margin: 3em 0em;
 181 }
 182
 183 .float-caption {
 184     font-size: smaller;
 185     text-align: center;
 186 }
 187
 188 .float > img {
 189     display: block;
 190     margin: auto;
 191 }
 192
 193 .footnote {
 194     font-size: smaller;
 195     margin: 5em 0em;
 196 }
 197
 198 .footnote h3 {
 199     display: inline;
 200     font-size: small;
 201 }
 202
 203 .key {
 204     color: purple;
 205     font-size: 0.8em;
 206 }
 207
 208 /* END CLASSES */