doc/style.css
changeset 9626 d1aa5393bef4
child 9794 ec8533806e27
equal deleted inserted replaced
9624:585d2ffe969b 9626:d1aa5393bef4
       
     1 
       
     2 body {
       
     3     font-family: sans-serif;
       
     4     /* adjustment for tt padding */
       
     5     line-height: 140%;
       
     6 }
       
     7 
       
     8 tt, pre {
       
     9     background-color: #EEE;
       
    10     border: thin solid #CCC;
       
    11     padding: 1px;
       
    12 }
       
    13 
       
    14 pre {
       
    15     padding: 0.25em;
       
    16 }
       
    17 
       
    18 #contents tt, h2 tt {
       
    19     background-color: inherit;
       
    20     border: inherit;
       
    21 }
       
    22 
       
    23 /* styles taken from html4css1.css from Docutils, which is in the
       
    24    public domain */
       
    25 
       
    26 /* used to remove borders from tables and images */
       
    27 .borderless, table.borderless td, table.borderless th {
       
    28     border: 0;
       
    29 }
       
    30 
       
    31 table.borderless td, table.borderless th {
       
    32     /* Override padding for "table.docutils td" with "! important".
       
    33        The right padding separates the table cells. */
       
    34     padding: 0 0.5em 0 0 ! important;
       
    35 }
       
    36 
       
    37 .first {
       
    38     /* Override more specific margin styles with "! important". */
       
    39     margin-top: 0 ! important;
       
    40 }
       
    41 
       
    42 .last, .with-subtitle {
       
    43     margin-bottom: 0 ! important;
       
    44 }
       
    45 
       
    46 .hidden {
       
    47     display: none;
       
    48 }
       
    49 
       
    50 a.toc-backref {
       
    51     text-decoration: none;
       
    52     color: black;
       
    53 }
       
    54 
       
    55 blockquote.epigraph {
       
    56     margin: 2em 5em;;
       
    57 }
       
    58 
       
    59 dl.docutils dd {
       
    60     margin-bottom: 0.5em;
       
    61 }
       
    62 
       
    63 /* Uncomment (and remove this text!) to get bold-faced definition list terms
       
    64 dl.docutils dt {
       
    65     font-weight: bold;
       
    66 }
       
    67 */
       
    68 
       
    69 div.abstract {
       
    70     margin: 2em 5em;
       
    71 }
       
    72 
       
    73 div.abstract p.topic-title {
       
    74     font-weight: bold;
       
    75     text-align: center;
       
    76 }
       
    77 
       
    78 div.admonition, div.attention, div.caution, div.danger, div.error,
       
    79 div.hint, div.important, div.note, div.tip, div.warning {
       
    80     margin: 2em;
       
    81     border: medium outset;
       
    82     padding: 1em;
       
    83 }
       
    84 
       
    85 div.admonition p.admonition-title, div.hint p.admonition-title,
       
    86 div.important p.admonition-title, div.note p.admonition-title,
       
    87 div.tip p.admonition-title {
       
    88     font-weight: bold;
       
    89     font-family: sans-serif;
       
    90 }
       
    91 
       
    92 div.attention p.admonition-title, div.caution p.admonition-title,
       
    93 div.danger p.admonition-title, div.error p.admonition-title,
       
    94 div.warning p.admonition-title {
       
    95     color: red;
       
    96     font-weight: bold;
       
    97     font-family: sans-serif;
       
    98 }
       
    99 
       
   100 /* Uncomment (and remove this text!) to get reduced vertical space in
       
   101    compound paragraphs.
       
   102 div.compound .compound-first, div.compound .compound-middle {
       
   103     margin-bottom: 0.5em;
       
   104 }
       
   105 
       
   106 div.compound .compound-last, div.compound .compound-middle {
       
   107     margin-top: 0.5em;
       
   108 }
       
   109 */
       
   110 
       
   111 div.dedication {
       
   112     margin: 2em 5em;
       
   113     text-align: center;
       
   114     font-style: italic;
       
   115 }
       
   116 
       
   117 div.dedication p.topic-title {
       
   118     font-weight: bold;
       
   119     font-style: normal;
       
   120 }
       
   121 
       
   122 div.figure {
       
   123     margin-left: 2em;
       
   124     margin-right: 2em;
       
   125 }
       
   126 
       
   127 div.footer, div.header {
       
   128     clear: both;
       
   129     font-size: smaller;
       
   130 }
       
   131 
       
   132 div.line-block {
       
   133     display: block;
       
   134     margin-top: 1em;
       
   135     margin-bottom: 1em;
       
   136 }
       
   137 
       
   138 div.line-block div.line-block {
       
   139     margin-top: 0;
       
   140     margin-bottom: 0;
       
   141     margin-left: 1.5em;
       
   142 }
       
   143 
       
   144 div.sidebar {
       
   145     margin: 0 0 0.5em 1em;
       
   146     border: medium outset;
       
   147     padding: 1em;
       
   148     background-color: #ffffee;
       
   149     width: 40%;
       
   150     float: right;
       
   151     clear: right;
       
   152 }
       
   153 
       
   154 div.sidebar p.rubric {
       
   155     font-family: sans-serif;
       
   156     font-size: medium;
       
   157 }
       
   158 
       
   159 div.system-messages {
       
   160     margin: 5em;
       
   161 }
       
   162 
       
   163 div.system-messages h1 {
       
   164     color: red;
       
   165 }
       
   166 
       
   167 div.system-message {
       
   168     border: medium outset;
       
   169     padding: 1em;
       
   170 }
       
   171 
       
   172 div.system-message p.system-message-title {
       
   173     color: red;
       
   174     font-weight: bold;
       
   175 }
       
   176 
       
   177 div.topic {
       
   178     margin: 2em;
       
   179 }
       
   180 
       
   181 h1.section-subtitle, h2.section-subtitle, h3.section-subtitle,
       
   182 h4.section-subtitle, h5.section-subtitle, h6.section-subtitle {
       
   183     margin-top: 0.4em;
       
   184 }
       
   185 
       
   186 h1.title {
       
   187     text-align: center;
       
   188 }
       
   189 
       
   190 h2.subtitle {
       
   191     text-align: center;
       
   192 }
       
   193 
       
   194 hr.docutils {
       
   195     width: 75%;
       
   196 }
       
   197 
       
   198 img.align-left {
       
   199     clear: left;
       
   200 }
       
   201 
       
   202 img.align-right {
       
   203     clear: right;
       
   204 }
       
   205 
       
   206 ol.simple, ul.simple {
       
   207     margin-bottom: 1em;
       
   208 }
       
   209 
       
   210 ol.arabic {
       
   211     list-style: decimal;
       
   212 }
       
   213 
       
   214 ol.loweralpha {
       
   215     list-style: lower-alpha;
       
   216 }
       
   217 
       
   218 ol.upperalpha {
       
   219     list-style: upper-alpha;
       
   220 }
       
   221 
       
   222 ol.lowerroman {
       
   223     list-style: lower-roman;
       
   224 }
       
   225 
       
   226 ol.upperroman {
       
   227     list-style: upper-roman;
       
   228 }
       
   229 
       
   230 p.attribution {
       
   231     text-align: right;
       
   232     margin-left: 50%;
       
   233 }
       
   234 
       
   235 p.caption {
       
   236     font-style: italic;
       
   237 }
       
   238 
       
   239 p.credits {
       
   240     font-style: italic;
       
   241     font-size: smaller;
       
   242 }
       
   243 
       
   244 p.label {
       
   245     white-space: nowrap;
       
   246 }
       
   247 
       
   248 p.rubric {
       
   249     font-weight: bold;
       
   250     font-size: larger;
       
   251     color: maroon;
       
   252     text-align: center;
       
   253 }
       
   254 
       
   255 p.sidebar-title {
       
   256     font-family: sans-serif;
       
   257     font-weight: bold;
       
   258     font-size: larger;
       
   259 }
       
   260 
       
   261 p.sidebar-subtitle {
       
   262     font-family: sans-serif;
       
   263     font-weight: bold;
       
   264 }
       
   265 
       
   266 p.topic-title {
       
   267     font-weight: bold;
       
   268 }
       
   269 
       
   270 pre.address {
       
   271     margin-bottom: 0;
       
   272     margin-top: 0;
       
   273     font-family: serif;
       
   274     font-size: 100%;
       
   275 }
       
   276 
       
   277 pre.literal-block, pre.doctest-block {
       
   278     margin-left: 2em;
       
   279     margin-right: 2em;
       
   280 }
       
   281 
       
   282 span.classifier {
       
   283     font-family: sans-serif;
       
   284     font-style: oblique;
       
   285 }
       
   286 
       
   287 span.classifier-delimiter {
       
   288     font-family: sans-serif;
       
   289     font-weight: bold;
       
   290 }
       
   291 
       
   292 span.interpreted {
       
   293     font-family: sans-serif;
       
   294 }
       
   295 
       
   296 span.option {
       
   297     white-space: nowrap;
       
   298 }
       
   299 
       
   300 span.pre {
       
   301     white-space: pre;
       
   302 }
       
   303 
       
   304 span.problematic {
       
   305     color: red;
       
   306 }
       
   307 
       
   308 span.section-subtitle {
       
   309     /* font-size relative to parent (h1..h6 element) */
       
   310     font-size: 80%;
       
   311 }
       
   312 
       
   313 table.citation {
       
   314     border-left: solid 1px gray;
       
   315     margin-left: 1px;
       
   316 }
       
   317 
       
   318 table.docinfo {
       
   319     margin: 2em 4em;
       
   320 }
       
   321 
       
   322 table.docutils {
       
   323     margin-top: 0.5em;
       
   324     margin-bottom: 0.5em;
       
   325 }
       
   326 
       
   327 table.footnote {
       
   328     border-left: solid 1px black;
       
   329     margin-left: 1px;
       
   330 }
       
   331 
       
   332 table.docutils td, table.docutils th,
       
   333 table.docinfo td, table.docinfo th {
       
   334     padding-left: 0.5em;
       
   335     padding-right: 0.5em;
       
   336     vertical-align: top;
       
   337 }
       
   338 
       
   339 table.docutils th.field-name, table.docinfo th.docinfo-name {
       
   340     font-weight: bold;
       
   341     text-align: left;
       
   342     white-space: nowrap;
       
   343     padding-left: 0;
       
   344 }
       
   345 
       
   346 h1 tt.docutils, h2 tt.docutils, h3 tt.docutils,
       
   347 h4 tt.docutils, h5 tt.docutils, h6 tt.docutils {
       
   348     font-size: 100%;
       
   349 }
       
   350 
       
   351 ul.auto-toc {
       
   352     list-style-type: none;
       
   353 }