1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126 |
- /*=============================================================================
- Copyright (c) 2004 Joel de Guzman
- http://spirit.sourceforge.net/
- Copyright 2013 Niall Douglas additions for colors and alignment.
- Copyright 2013 Paul A. Bristow additions for more colors and alignments.
- Copyright 2017 Tom Westerhout font fixes to support Sphinx
- Distributed under the Boost Software License, Version 1.0. (See accompany-
- ing file LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt)
- =============================================================================*/
- /*=============================================================================
- Body defaults
- =============================================================================*/
- body
- {
- margin: 1em;
- font-size: 16px;
- font-family: sans-serif;
- }
- /*=============================================================================
- Paragraphs
- =============================================================================*/
- p, div.document, div.footer
- {
- text-align: left;
- font-size: 10pt;
- line-height: 1.15;
- }
- /*=============================================================================
- Program listings
- =============================================================================*/
- /* Code on paragraphs */
- p tt.computeroutput
- {
- font-size: 9pt;
- }
- pre.synopsis
- {
- font-size: 9pt;
- margin: 1pc 4% 0pc 4%;
- padding: 0.5pc 0.5pc 0.5pc 0.5pc;
- }
- div.highlight,
- .programlisting,
- .screen
- {
- font-size: 9pt;
- display: block;
- margin: 1pc 4% 0pc 4%;
- padding: 0.5pc 0.5pc 0.5pc 0.5pc;
- }
- /* Program listings in tables don't get borders */
- td .programlisting,
- td .screen
- {
- margin: 0pc 0pc 0pc 0pc;
- padding: 0pc 0pc 0pc 0pc;
- }
- /*=============================================================================
- Headings
- =============================================================================*/
- h1, h2, h3, h4, h5, h6
- {
- text-align: left;
- margin: 1em 0em 0.5em 0em;
- font-weight: bold;
- }
- h1 { font-size: 140%; }
- h2 { font-weight: bold; font-size: 140%; }
- h3 { font-weight: bold; font-size: 130%; }
- h4 { font-weight: bold; font-size: 120%; }
- h5 { font-weight: normal; font-style: italic; font-size: 110%; }
- h6 { font-weight: normal; font-style: italic; font-size: 100%; }
- /* Top page titles */
- title,
- h1.title,
- h2.title
- h3.title,
- h4.title,
- h5.title,
- h6.title,
- .refentrytitle
- {
- font-weight: bold;
- margin-bottom: 1pc;
- }
- h1.title { font-size: 140% }
- h2.title { font-size: 140% }
- h3.title { font-size: 130% }
- h4.title { font-size: 120% }
- h5.title { font-size: 110% }
- h6.title { font-size: 100% }
- .section h1
- {
- margin: 0em 0em 0.5em 0em;
- font-size: 140%;
- }
- .section h2 { font-size: 140% }
- .section h3 { font-size: 130% }
- .section h4 { font-size: 120% }
- .section h5 { font-size: 110% }
- .section h6 { font-size: 100% }
- /* Code on titles */
- h1 tt.computeroutput { font-size: 140% }
- h2 tt.computeroutput { font-size: 140% }
- h3 tt.computeroutput { font-size: 130% }
- h4 tt.computeroutput { font-size: 130% }
- h5 tt.computeroutput { font-size: 130% }
- h6 tt.computeroutput { font-size: 130% }
- /*=============================================================================
- Author
- =============================================================================*/
- h3.author
- {
- font-size: 100%
- }
- /*=============================================================================
- Lists
- =============================================================================*/
- li
- {
- font-size: 10pt;
- line-height: 1.3;
- }
- /* Unordered lists */
- ul
- {
- text-align: left;
- }
- /* Ordered lists */
- ol
- {
- text-align: left;
- }
- /*=============================================================================
- Links
- =============================================================================*/
- a
- {
- text-decoration: none; /* no underline */
- }
- a:hover
- {
- text-decoration: underline;
- }
- /*=============================================================================
- Spirit style navigation
- =============================================================================*/
- .spirit-nav
- {
- text-align: right;
- }
- .spirit-nav a
- {
- color: white;
- padding-left: 0.5em;
- }
- .spirit-nav img
- {
- border-width: 0px;
- }
- /*=============================================================================
- Copyright footer
- =============================================================================*/
- .copyright-footer
- {
- text-align: right;
- font-size: 70%;
- }
- .copyright-footer p
- {
- text-align: right;
- font-size: 80%;
- }
- /*=============================================================================
- Table of contents
- =============================================================================*/
- div.toc
- {
- margin: 1pc 4% 0pc 4%;
- padding: 0.1pc 1pc 0.1pc 1pc;
- font-size: 80%;
- line-height: 1.15;
- }
- .boost-toc
- {
- float: right;
- padding: 0.5pc;
- }
- /* Code on toc */
- .toc .computeroutput { font-size: 120% }
- /* No margin on nested menus */
- .toc dl dl { margin: 0; }
- /*=============================================================================
- Tables
- =============================================================================*/
- .table-title,
- div.table p.title
- {
- margin-left: 4%;
- padding-right: 0.5em;
- padding-left: 0.5em;
- }
- .informaltable table,
- .table table
- {
- width: 92%;
- margin-left: 4%;
- margin-right: 4%;
- }
- div.informaltable table,
- div.table table
- {
- padding: 4px;
- }
- /* Table Cells */
- div.informaltable table tr td,
- div.table table tr td
- {
- padding: 0.5em;
- text-align: left;
- font-size: 9pt;
- }
- div.informaltable table tr th,
- div.table table tr th
- {
- padding: 0.5em 0.5em 0.5em 0.5em;
- border: 1pt solid white;
- font-size: 80%;
- }
- table.simplelist
- {
- width: auto !important;
- margin: 0em !important;
- padding: 0em !important;
- border: none !important;
- }
- table.simplelist td
- {
- margin: 0em !important;
- padding: 0em !important;
- text-align: left !important;
- font-size: 9pt !important;
- border: none !important;
- }
- /*=============================================================================
- Suppress margins in tables
- =============================================================================*/
- table th > *:first-child,
- table td > *:first-child
- {
- margin-top: 0;
- }
- table th > *:last-child,
- table td > *:last-child
- {
- margin-bottom: 0;
- }
- /*=============================================================================
- Blurbs
- =============================================================================*/
- div.note,
- div.tip,
- div.important,
- div.caution,
- div.warning,
- div.blurb,
- p.blurb
- {
- font-size: 9pt; /* A little bit smaller than the main text */
- line-height: 1.2;
- display: block;
- margin: 1pc 4% 0pc 4%;
- padding: 0.5pc 0.5pc 0.5pc 0.5pc;
- }
- div.blurb img,
- p.blurb img
- {
- padding: 1pt;
- }
- /*=============================================================================
- Variable Lists
- =============================================================================*/
- div.variablelist
- {
- margin: 1em 0;
- }
- /* Make the terms in definition lists bold */
- div.variablelist dl dt,
- span.term
- {
- font-weight: bold;
- font-size: 10pt;
- }
- div.variablelist table tbody tr td
- {
- text-align: left;
- vertical-align: top;
- padding: 0em 2em 0em 0em;
- font-size: 10pt;
- margin: 0em 0em 0.5em 0em;
- line-height: 1;
- }
- div.variablelist dl dt
- {
- margin-bottom: 0.2em;
- }
- div.variablelist dl dd
- {
- margin: 0em 0em 0.5em 2em;
- font-size: 10pt;
- }
- div.variablelist table tbody tr td p,
- div.variablelist dl dd p
- {
- margin: 0em 0em 0.5em 0em;
- line-height: 1;
- }
- /*=============================================================================
- Misc
- =============================================================================*/
- /* Title of books and articles in bibliographies */
- span.title
- {
- font-style: italic;
- }
- span.underline
- {
- text-decoration: underline;
- }
- span.strikethrough
- {
- text-decoration: line-through;
- }
- /* Copyright, Legal Notice */
- div div.legalnotice p
- {
- text-align: left
- }
- /*=============================================================================
- Colors
- =============================================================================*/
- @media screen
- {
- body {
- background-color: #FFFFFF;
- color: #000000;
- }
- /* Syntax Highlighting */
- .property,
- .highlight .k,
- .highlight .kc,
- .highlight .kd,
- .highlight .kn,
- .highlight .kp,
- .highlight .kr,
- .highlight .kt,
- .keyword { color: #0000AA; }
- .highlight .n,
- .highlight .na,
- .highlight .nb,
- .highlight .bp,
- .highlight .nc,
- .highlight .no,
- .highlight .nd,
- .highlight .ni,
- .highlight .ne,
- .highlight .nf,
- .highlight .py,
- .highlight .nl,
- .highlight .nn,
- .highlight .nx,
- .highlight .nt,
- .highlight .nv,
- .highlight .vc,
- .highlight .vg,
- .highlight .vi,
- .identifier { color: #000000; }
- .special { color: #707070; }
- .highlight .cp,
- .preprocessor { color: #402080; }
- .highlight .sc
- .char { color: teal; }
- .highlight .c,
- .highlight .ch,
- .highlight .cm,
- .highlight .cp,
- .highlight .cpf,
- .highlight .c1,
- .highlight .cs,
- .highlight .sd,
- .highlight .sh,
- .comment { color: #800000; }
- .highlight .s,
- .highlight .sa,
- .highlight .sb,
- .highlight .dl,
- .highlight .s2,
- .highlight .se,
- .highlight .si,
- .highlight .sx,
- .highlight .sr,
- .highlight .s1,
- .highlight .ss,
- .string { color: teal; }
- .highlight .m,
- .highlight .mf,
- .highlight .mh,
- .highlight .mi,
- .highlight .mo,
- .number { color: teal; }
- .highlight,
- .white_bkd { background-color: #FFFFFF; }
- .highlight .hll,
- .dk_grey_bkd { background-color: #999999; }
- /* Links */
- a, a .keyword, a .identifier, a .special, a .preprocessor
- a .char, a .comment, a .string, a .number
- {
- color: #005a9c;
- }
- a:visited, a:visited .keyword, a:visited .identifier,
- a:visited .special, a:visited .preprocessor a:visited .char,
- a:visited .comment, a:visited .string, a:visited .number
- {
- color: #9c5a9c;
- }
- h1 a, h2 a, h3 a, h4 a, h5 a, h6 a,
- h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover, h6 a:hover,
- h1 a:visited, h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited
- {
- text-decoration: none; /* no underline */
- color: #000000;
- }
- /* Copyright, Legal Notice */
- .copyright
- {
- color: #666666;
- font-size: small;
- }
- div div.legalnotice p
- {
- color: #666666;
- }
- /* Program listing */
- pre.synopsis
- {
- border: 1px solid #DCDCDC;
- }
- div.highlight,
- .programlisting,
- .screen
- {
- border: 1px solid #DCDCDC;
- }
- td .programlisting,
- td .screen
- {
- border: 0px solid #DCDCDC;
- }
- /* Blurbs */
- div.note,
- div.tip,
- div.important,
- div.caution,
- div.warning,
- div.blurb,
- p.blurb
- {
- border: 1px solid #DCDCDC;
- }
- /* Table of contents */
- div.toc
- {
- border: 1px solid #DCDCDC;
- }
- /* Tables */
- div.informaltable table tr td,
- div.table table tr td
- {
- border: 1px solid #DCDCDC;
- }
- div.informaltable table tr th,
- div.table table tr th
- {
- background-color: #F0F0F0;
- border: 1px solid #DCDCDC;
- }
- .copyright-footer
- {
- color: #8F8F8F;
- }
- /* Misc */
- span.highlight
- {
- color: #00A000;
- }
- }
- @media print
- {
- /* Links */
- a
- {
- color: black;
- }
- a:visited
- {
- color: black;
- }
- .spirit-nav
- {
- display: none;
- }
- /* Program listing */
- pre.synopsis
- {
- border: 1px solid gray;
- }
- div.highlight,
- .programlisting,
- .screen
- {
- border: 1px solid gray;
- }
- td .programlisting,
- td .screen
- {
- border: 0px solid #DCDCDC;
- }
- /* Table of contents */
- div.toc
- {
- border: 1px solid gray;
- }
- .informaltable table,
- .table table
- {
- border: 1px solid gray;
- border-collapse: collapse;
- }
- /* Tables */
- div.informaltable table tr td,
- div.table table tr td
- {
- border: 1px solid gray;
- }
- div.informaltable table tr th,
- div.table table tr th
- {
- border: 1px solid gray;
- }
- table.simplelist tr td
- {
- border: none !important;
- }
- /* Misc */
- span.highlight
- {
- font-weight: bold;
- }
- }
- /*=============================================================================
- Images
- =============================================================================*/
- span.inlinemediaobject img
- {
- vertical-align: middle;
- }
- /*==============================================================================
- Super and Subscript: style so that line spacing isn't effected, see
- http://www.adobe.com/cfusion/communityengine/index.cfm?event=showdetails&productId=1&postId=5341
- ==============================================================================*/
- sup,
- sub {
- height: 0;
- line-height: 1;
- vertical-align: baseline;
- position: relative;
- }
- /* For internet explorer: */
- * html sup,
- * html sub {
- vertical-align: bottom;
- }
- sup {
- bottom: 1ex;
- }
- sub {
- top: .5ex;
- }
- /*==============================================================================
- Indexes: pretty much the same as the TOC.
- ==============================================================================*/
- .index
- {
- font-size: 80%;
- padding-top: 0px;
- padding-bottom: 0px;
- margin-top: 0px;
- margin-bottom: 0px;
- margin-left: 0px;
- }
- .index ul
- {
- padding-left: 3em;
- }
- .index p
- {
- padding: 2px;
- margin: 2px;
- }
- .index-entry-level-0
- {
- font-weight: bold;
- }
- .index em
- {
- font-weight: bold;
- }
- /*==============================================================================
- Alignment and coloring use 'role' feature, available from Quickbook 1.6 up.
- Added from Niall Douglas for role color and alignment.
- http://article.gmane.org/gmane.comp.lib.boost.devel/243318
- */
- /* Add text alignment (see http://www.w3schools.com/cssref/pr_text_text-align.asp) */
- span.aligncenter
- {
- display: inline-block; width: 100%; text-align: center;
- }
- span.alignright
- {
- display: inline-block; width: 100%; text-align: right;
- }
- /* alignleft is the default. */
- span.alignleft
- {
- display: inline-block; width: 100%; text-align: left;
- }
- /* alignjustify stretches the word spacing so that each line has equal width
- within a chosen fraction of page width (here arbitrarily 20%).
- *Not* useful inside table items as the column width remains the total string width.
- Nor very useful, except to temporarily restrict the width.
- */
- span.alignjustify
- {
- display: inline-block; width: 20%; text-align: justify;
- }
- /* Text colors.
- Names at http://www.w3.org/TR/2002/WD-css3-color-20020219/ 4.3. X11 color keywords.
- Quickbook Usage: [role red Some red text]
- */
- span.red { inline-block; color: red; }
- span.green { color: green; }
- span.lime { color: #00FF00; }
- span.blue { color: blue; }
- span.navy { color: navy; }
- span.yellow { color: yellow; }
- span.magenta { color: magenta; }
- span.indigo { color: #4B0082; }
- span.cyan { color: cyan; }
- span.purple { color: purple; }
- span.gold { color: gold; }
- span.silver { color: silver; } /* lighter gray */
- span.gray { color: #808080; } /* light gray */
- /* section-basic.css */
- /*
- Copyright 2005-2008 Redshift Software, Inc.
- Distributed under the Boost Software License, Version 1.0.
- (See accompanying file LICENSE_1_0.txt or https://www.boost.org/LICENSE_1_0.txt)
- */
- /*@import url(css_0/header.css);*/
- /*
- Copyright 2005-2008 Redshift Software, Inc.
- Distributed under the Boost Software License, Version 1.0.
- (See accompanying file LICENSE_1_0.txt or https://www.boost.org/LICENSE_1_0.txt)
- */
- /* Heading, title and logo. */
- /* Position the common heading. This appears on pages which have their own
- * markup. Since the body might have a margin this has to be absolutely
- * positioned. The spacer then pushes the page content down so that it
- * doesn't fall underneath the heading. */
- #boost-common-heading-doc {
- position: absolute;
- left: 0;
- top: 0;
- }
- body.boost-asciidoctor #boost-common-heading-doc {
- position: static;
- }
- #boost-common-heading-doc-spacer {
- height: 100px;
- }
- body.boost-asciidoctor #boost-common-heading-doc-spacer {
- display: none;
- }
- #boost-common-heading-doc,
- #heading {
- margin: 0em;
- border-bottom: #000000 solid 1px;
- width: 100%;
- font-family: sans-serif;
- font-size: 9.5pt;
- }
- #boost-common-heading-doc .heading-inner,
- #heading .heading-inner {
- height: 100px;
- overflow: hidden;
- }
- #boost-common-heading-doc *,
- #heading * {
- font-size: 100%;
- font-weight: normal;
- margin: 0;
- padding: 0;
- text-decoration: none;
- }
- #boost-common-heading-doc .heading-placard,
- #heading .heading-placard {
- display: none;
- }
- #boost-common-heading-doc .heading-title .heading-boost,
- #boost-common-heading-doc .heading-title .heading-cpplibraries,
- #heading .heading-title .heading-boost,
- #heading .heading-title .heading-cpplibraries {
- display: none;
- }
- #boost-common-heading-doc .heading-title,
- #heading .heading-title {
- float: left;
- }
- #boost-common-heading-doc .heading-title a,
- #heading .heading-title a {
- }
- #boost-common-heading-doc .heading-logo,
- #heading .heading-logo {
- width: 270px;
- height: 90px;
- border: none;
- vertical-align: bottom;
- margin: 0px 0px 0px 1.5em;
- }
- #boost-common-heading-doc .heading-quote,
- #heading .heading-quote {
- text-align: right;
- padding: 25px 1.5em 10px 0em;
- }
- #boost-common-heading-doc .heading-quote q,
- #heading .heading-quote q {
- font-size: 90%;
- display: block;
- }
- #boost-common-heading-doc .heading-quote .heading-attribution,
- #heading .heading-quote .heading-attribution {
- font-size: 85%;
- display: block;
- }
- @media (max-device-width: 480px) {
- .heading-quote {
- display: none;
- }
- }
- #boost-common-heading-doc .heading-sections,
- #heading .heading-sections {
- display: none;
- }
- #boost-common-heading-doc .heading-search,
- #heading .heading-search {
- display: none;
- text-align: right;
- padding: 0em 1.5em 0em 0em;
- }
- #boost-common-heading-doc .heading-search #search-text .q,
- #heading .heading-search #search-text .q {
- background: transparent;
- border: none;
- border-bottom: 1px #BBBBBB solid;
- margin-right: 0.25em;
- font-size: 90%;
- }
- #boost-common-heading-doc .heading-search #search-text #q:hover,
- #heading .heading-search #search-text #q:hover {
- border-bottom: 1px #FFFFFF solid;
- }
- .boost-common-header-notice {
- font-family: sans-serif;
- font-size: 13px;
- border: 1px solid #aa5;
- background: #ffc;
- color: #000;
- }
- a.boost-common-header-inner,
- span.boost-common-header-inner,
- div.boost-common-header-inner {
- display: block;
- padding: 10px 13px;
- text-decoration: none;
- color: #000;
- }
- a.boost-common-header-inner:hover {
- text-decoration: underline;
- }
- @media all and (min-width: 550px) {
- .boost-common-header-notice {
- position: absolute;
- top: 10px;
- max-width: 400px;
- max-height: 80px;
- overflow: hidden;
- box-shadow: 5px 5px 5px rgba(0, 0, 0, 0.5);
- margin-left: 300px;
- }
- }
- /*@import url(css_0/theme_grape/header.css);*/
- /*
- Copyright 2005-2006 Redshift Software, Inc.
- Distributed under the Boost Software License, Version 1.0.
- (See accompanying file LICENSE_1_0.txt or https://www.boost.org/LICENSE_1_0.txt)
- */
- /* Heading, title and logo. */
- #heading,
- #boost-common-heading-doc {
- /*background: #574D74 url(/images/header-bg.png) repeat-x top left;*/
- }
- #heading *,
- #boost-common-heading-doc * {
- color: #FFFFFF;
- }
- #heading .heading-inner,
- #boost-common-heading-doc .heading-inner {
- /*background: url(/images/header-fg.png) no-repeat top left;*/
- border: none;
- border-bottom: #000000 solid 1px;
- }
- #boost-common-heading-doc .heading-logo,
- #heading .heading-logo {
- width: 236px;
- height: 55px;
- margin: 18px 0px 0px 24px;
- }
- /* Links in the header. */
- #boost-common-heading-doc .heading-quote a,
- #heading .heading-quote a {
- border-bottom: 1px solid #BBBBBB;
- }
- #boost-common-heading-doc .heading-quote a:hover,
- #heading .heading-quote a:hover {
- border-bottom: 1px solid #FFFFFF;
- }
- #boost-common-heading-doc .heading-quote a:visited,
- #heading .heading-quote a:visited {
- border-bottom: 1px dotted #BBBBBB;
- }
- #boost-common-heading-doc .heading-quote a:visited:hover,
- #heading .heading-quote a:visited:hover {
- border-bottom: 1px dotted #FFFFFF;
- }
- pre, div.toc
- {
- overflow: auto;
- }
- div.note table,
- div.tip table,
- div.important table,
- div.caution table,
- div.warning table,
- div.blurb table
- {
- table-layout: fixed;
- width: 100%;
- overflow-wrap: break-word;
- }
- span.inlinemediaobject img
- {
- max-width: 100%;
- }
- /* Overrides to handle differences between BoostBook output and Hugo's.
- */
- h1 { font-size: 150%; }
- /* Fix that Hugo always puts a <p> into each <li> */
- li p:first-child {
- display: inline;
- text-align: inherit;
- font-size: inherit;
- line-height: inherit;
- }
- /* Fix that raw dl is not styled */
- dl {
- text-align: left;
- font-size: 10pt;
- line-height: 1.15;
- }
- /* Fix that preformatted outside div.highlight is not styled */
- pre {
- font-size: 10pt;
- margin: 1pc 4% 0pc 4%;
- padding: 0.5pc 0.5pc 0.5pc 0.5pc;
- }
- div.highlight pre {
- font-size: inherit;
- margin: initial;
- padding: initial;
- }
- /* We don't use tables for notes like BoostBook */
- div.note,
- div.tip,
- div.important,
- div.caution,
- div.warning,
- div.blurb {
- position: relative;
- }
- div.notices div.heading {
- margin-left: 40px;
- text-transform: capitalize;
- font-weight: bold;
- font-size: larger;
- }
- div.notices div.message {
- margin-left: 40px;
- }
- /* Bits ported over from local.css for the DocDock theme.
- This renders the "View on Github" link.
- */
- div.code-snippet {
- position: relative;
- }
- div.code-snippet a.code-snippet-url {
- font-size: 7pt;
- position: absolute;
- right: 4%;
- top: 0.7em;
- padding-right: 1em;
- }
- /* This renders the tutorial TOC */
- .children p {
- margin-top: 0px;
- margin-bottom: 0px;
- padding-top: 0px;
- padding-bottom: 0px;
- }
- .children-li p {
- font-size: small;
- font-style: italic;
- }
- ol.children li {
- margin-top: 0.75em;
- }
- ol.children ol {
- list-style-type: lower-alpha;
- }
- ol.children ol li {
- margin-top: 0;
- }
- /* This styles captioned figures */
- figure {
- margin: 1em 40px;
- }
- figure img {
- border: 0;
- max-width: 80%;
- margin: 3rem auto;
- display: block;
- text-align: center;
- }
- figure figcaption {
- margin-top: -2em;
- }
- figure figcaption h4 {
- text-align: center;
- font-size: small;
- }
|