/* * polexpr.css * ~~~~~~~~~~~ * * stylesheet for polexpr html documentation * Copyright (c) 2022 by Jean-François Burnol * * It has been obtained on May 13, 2022 by Jean-François Burnol via * copying selected extracts from the css files as found in the output * of a sphinx-build with "bizstyle" theme, enough for the styling the * html elements used in polexpr html documentation, and with a few * changes here and there. * * It also incorporate (essentially) the output of `pygmentize -S * friendly -f html` which specifies the behaviour of the highlighting, * and is produced by default by Sphinx on all sphinx-build runs. * */ /* -- start of extracts from basic.css -------------------------------------- */ /* -- main layout ----------------------------------------------------------- */ div.section::after { display: block; content: ''; clear: left; } /* -- relbar ---------------------------------------------------------------- */ div.related { width: 100%; font-size: 90%; } div.related h3 { display: none; } div.related ul { margin: 0; padding: 0 0 0 10px; list-style: none; } div.related li { display: inline; } div.related li.right { float: right; margin-right: 5px; } /* -- sidebar --------------------------------------------------------------- */ div.sphinxsidebarwrapper { padding: 10px 5px 0 10px; } div.sphinxsidebar { float: left; width: 35%; /* polexpr */ margin-left: -100%; font-size: 90%; word-wrap: break-word; overflow-wrap : break-word; } div.sphinxsidebar ul { list-style: none; } div.sphinxsidebar ul ul, div.sphinxsidebar ul.want-points { margin-left: 20px; list-style: square; } div.sphinxsidebar ul ul { margin-top: 0; margin-bottom: 0; } /* -- general body styles --------------------------------------------------- */ div.body { min-width: 360px; max-width: 800px; } div.body p, div.body dd, div.body li, div.body blockquote { -moz-hyphens: auto; -ms-hyphens: auto; -webkit-hyphens: auto; hyphens: auto; } a.headerlink { visibility: hidden; } a.brackets:before, span.brackets > a:before{ content: "["; } a.brackets:after, span.brackets > a:after { content: "]"; } h1:hover > a.headerlink, h2:hover > a.headerlink, h3:hover > a.headerlink, h4:hover > a.headerlink, h5:hover > a.headerlink, h6:hover > a.headerlink, dt:hover > a.headerlink, caption:hover > a.headerlink, p.caption:hover > a.headerlink, div.code-block-caption:hover > a.headerlink { visibility: visible; } div.body p.caption { text-align: inherit; } div.body td { text-align: left; } .first { margin-top: 0 !important; } .align-left { text-align: left; } .align-center { text-align: center; } .align-default { text-align: center; } .align-right { text-align: right; } /* -- sidebars -------------------------------------------------------------- */ div.sidebar, aside.sidebar { margin: 0 0 0.5em 1em; border: 1px solid #ddb; padding: 7px; background-color: #ffe; width: 40%; float: right; clear: right; overflow-x: auto; } p.sidebar-title { font-weight: bold; } div.admonition, div.topic, blockquote { clear: left; } /* -- topics ---------------------------------------------------------------- */ div.topic { border: 1px solid #ccc; padding: 7px; margin: 10px 0 10px 0; } p.topic-title { font-size: 1.1em; font-weight: bold; margin-top: 10px; } /* -- admonitions ----------------------------------------------------------- */ div.admonition { margin-top: 10px; margin-bottom: 10px; padding: 7px; } div.admonition dt { font-weight: bold; } p.admonition-title { margin: 0px 10px 5px 0px; font-weight: bold; } div.body p.centered { text-align: center; margin-top: 25px; } /* -- content of sidebars/topics/admonitions -------------------------------- */ div.sidebar > :last-child, aside.sidebar > :last-child, div.topic > :last-child, div.admonition > :last-child { margin-bottom: 0; } div.sidebar::after, aside.sidebar::after, div.topic::after, div.admonition::after, blockquote::after { display: block; content: ''; clear: both; } .footnote { background-color: #f8f9de; /* polexpr.css */ } .footnote:target { background-color: #ffa; } /* -- code displays --------------------------------------------------------- */ pre { overflow: auto; overflow-y: hidden; /* fixes display issues on Chrome browsers */ } pre, div[class*="highlight-"] { clear: both; } span.pre { -moz-hyphens: none; -ms-hyphens: none; -webkit-hyphens: none; hyphens: none; white-space: nowrap; } div[class*="highlight-"] { margin: 1em 0; } td.linenos pre { border: 0; background-color: transparent; color: #aaa; } .highlight .hll { display: block; } div.highlight pre, table.highlighttable pre { margin: 0; } table.highlighttable td.linenos, span.linenos, div.highlight span.gp { /* gp: Generic.Prompt */ user-select: none; -webkit-user-select: text; /* Safari fallback only */ -webkit-user-select: none; /* Chrome/Safari */ -moz-user-select: none; /* Firefox */ -ms-user-select: none; /* IE10+ */ } div.code-block-caption span.caption-number { padding: 0.1em 0.3em; font-style: italic; } div.code-block-caption span.caption-text { } div.literal-block-wrapper { margin: 1em 0; } code.xref, a code { background-color: transparent; font-weight: bold; } h1 code, h2 code, h3 code, h4 code, h5 code, h6 code { background-color: transparent; } /* -- printout stylesheet --------------------------------------------------- */ @media print { div.document, div.documentwrapper, div.bodywrapper { margin: 0 !important; width: 100%; } div.sphinxsidebar, div.related, div.footer, #top-link { display: none; } } /* -- end of extracts from basic.css ---------------------------------------- */ /* -- start of extracts from bizstyle.css ----------------------------------- */ /* -- page layout ----------------------------------------------------------- */ body { font-family: 'Lucida Grande', 'Lucida Sans Unicode', 'Geneva', 'Verdana', sans-serif; /* font-size: 14px; not for polexpr.css */ letter-spacing: -0.01em; line-height: 150%; text-align: center; background-color: white; background-image: url(background_b01.png); color: black; padding: 0; border-right: 1px solid #336699; border-left: 1px solid #336699; margin: 0px 40px 0px 40px; } div.document { background-color: white; text-align: left; background-repeat: repeat-x; -moz-box-shadow: 2px 2px 5px #000; -webkit-box-shadow: 2px 2px 5px #000; } div.documentwrapper { float: left; width: 100%; } div.bodywrapper { margin: 0 0 0 240px; border-left: 1px solid #ccc; } div.body { margin: 0; padding: 0.5em 20px 20px 20px; } div.bodywrapper { margin: 0 calc(35% + 30px) 0 0; /* polexpr */ border-right: 1px solid #ccc; } div.related { font-size: 1em; -moz-box-shadow: 2px 2px 5px #000; -webkit-box-shadow: 2px 2px 5px #000; } div.related ul { background-color: #336699; height: 100%; overflow: hidden; border-top: 1px solid #ddd; border-bottom: 1px solid #ddd; } div.related ul li { color: white; margin: 0; padding: 0; height: 2em; float: left; } div.related ul li.right { float: right; margin-right: 5px; } div.related ul li a { margin: 0; padding: 0 5px 0 5px; line-height: 1.75em; color: #fff; } div.related ul li a:hover { color: #fff; text-decoration: underline; } div.sphinxsidebarwrapper { padding: 0; } div.sphinxsidebar { padding: 0.5em 12px 12px 12px; width: 35%; /* polexpr */ float: right; font-size: 1em; text-align: left; } div.sphinxsidebar h3, div.sphinxsidebar h4 { margin: 1em 0 0.5em 0; font-size: 1em; padding: 0.1em 0 0.1em 0.5em; color: white; border: 1px solid #336699; background-color: #336699; } div.sphinxsidebar h3 a { color: white; } div.sphinxsidebar ul { padding-left: 1.5em; margin-top: 7px; padding: 0; line-height: 130%; } div.sphinxsidebar ul ul { margin-left: 20px; } div.sphinxsidebar input { border: 1px solid #336699; } div.footer { background-color: white; color: #336699; padding: 3px 8px 3px 0; clear: both; font-size: 0.8em; text-align: right; border-bottom: 1px solid #336699; -moz-box-shadow: 2px 2px 5px #000; -webkit-box-shadow: 2px 2px 5px #000; } div.footer a { color: #336699; text-decoration: underline; } /* -- body styles ----------------------------------------------------------- */ p { margin: 0.8em 0 0.5em 0; } a { color: #336699; text-decoration: none; } a:hover { color: #336699; text-decoration: underline; } div.body a { text-decoration: underline; } h1, h2, h3 { color: #336699; } h1 { margin: 0; padding: 0.7em 0 0.3em 0; font-size: 1.5em; } h2 { margin: 1.3em 0 0.2em 0; font-size: 1.35em; padding-bottom: .5em; border-bottom: 1px solid #336699; } h3 { margin: 1em 0 -0.3em 0; font-size: 1.2em; padding-bottom: .3em; border-bottom: 1px solid #CCCCCC; } div.body h1 a, div.body h2 a, div.body h3 a, div.body h4 a, div.body h5 a, div.body h6 a { color: black!important; } h1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor { display: none; margin: 0 0 0 0.3em; padding: 0 0.2em 0 0.2em; color: #aaa!important; } h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor, h5:hover a.anchor, h6:hover a.anchor { display: inline; } h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover, h5 a.anchor:hover, h6 a.anchor:hover { color: #777; background-color: #eee; } a.headerlink { color: #c60f0f!important; font-size: 1em; margin-left: 6px; padding: 0 4px 0 4px; text-decoration: none!important; } a.headerlink:hover { background-color: #ccc; color: white!important; } cite, code, tt { font-family: 'Consolas', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace; /* font-size: 0.95em; not for polexpr */ letter-spacing: 0.01em; } code { background-color: #F2F2F2; border-bottom: 1px solid #ddd; color: #333; } code.descname, code.descclassname, code.xref { border: 0; } hr { border: 1px solid #abc; margin: 2em; } a code { border: 0; color: #CA7900; } a code:hover { color: #2491CF; } pre { background-color: transparent !important; font-family: 'Consolas', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace; /* font-size: 0.95em; not for polexpr */ letter-spacing: 0.015em; line-height: 120%; padding: 0.5em; border-right: 5px solid #ccc; border-left: 5px solid #ccc; } pre a { color: inherit; text-decoration: underline; } td.linenos pre { padding: 0.5em 0; } div.quotebar { background-color: #f8f8f8; max-width: 250px; float: right; padding: 2px 7px; border: 1px solid #ccc; } div.topic { background-color: #f8f8f8; } div.admonition { /* font-size: 0.9em; not for polexpr */ margin: 1em 0 1em 0; border: 3px solid #cccccc; background-color: #f7f7f7; padding: 0; } div.admonition p { margin: 0.5em 1em 0.5em 1em; padding: 0; } div.admonition li p { margin-left: 0; } div.admonition pre, div.warning pre { margin: 0; } div.highlight { margin: 0.4em 1em; } div.admonition p.admonition-title { margin: 0; padding: 0.1em 0 0.1em 0.5em; color: white; border-bottom: 3px solid #cccccc; font-weight: bold; background-color: #165e83; } div.danger { border: 3px solid #f0908d; background-color: #f0cfa0; } div.error { border: 3px solid #f0908d; background-color: #ede4cd; } div.warning { border: 3px solid #f8b862; background-color: #f0cfa0; } div.caution { border: 3px solid #f8b862; background-color: #ede4cd; } div.attention { border: 3px solid #f8b862; background-color: #f3f3f3; } div.important { border: 3px solid #f0cfa0; background-color: #ede4cd; } div.note { border: 3px solid #f0cfa0; background-color: #f3f3f3; } div.hint { border: 3px solid #bed2c3; background-color: #f3f3f3; } div.tip { border: 3px solid #bed2c3; background-color: #f3f3f3; } div.danger p.admonition-title, div.error p.admonition-title { background-color: #b7282e; border-bottom: 3px solid #f0908d; } div.caution p.admonition-title, div.warning p.admonition-title, div.attention p.admonition-title { background-color: #f19072; border-bottom: 3px solid #f8b862; } div.note p.admonition-title, div.important p.admonition-title { background-color: #f8b862; border-bottom: 3px solid #f0cfa0; } div.hint p.admonition-title, div.tip p.admonition-title { background-color: #7ebea5; border-bottom: 3px solid #bed2c3; } div.admonition ul, div.admonition ol, div.warning ul, div.warning ol { margin: 0.1em 0.5em 0.5em 3em; padding: 0; } div.versioninfo { margin: 1em 0 0 0; border: 1px solid #ccc; background-color: #DDEAF0; padding: 8px; line-height: 1.3em; font-size: 0.9em; } div.literal-block-wrapper div.code-block-caption { background-color: #EEE; border-style: solid; border-color: #CCC; border-width: 1px 5px; } /* WIDE DESKTOP STYLE */ @media only screen and (min-width: 1176px) { body { margin: 0 40px 0 40px; } } /* TABLET STYLE */ @media only screen and (min-width: 768px) and (max-width: 991px) { body { margin: 0 40px 0 40px; } } /* MOBILE LAYOUT (PORTRAIT/320px) */ @media only screen and (max-width: 767px) { body { margin: 0; } div.bodywrapper { margin: 0; width: 100%; border: none; } div.sphinxsidebar { display: none; } } /* MOBILE LAYOUT (LANDSCAPE/480px) */ @media only screen and (min-width: 480px) and (max-width: 767px) { body { margin: 0 20px 0 20px; } } /* RETINA OVERRIDES */ @media only screen and (-webkit-min-device-pixel-ratio: 2), only screen and (min-device-pixel-ratio: 2) { } /* -- end ------------------------------------------------------------------- */ /* -- pygments styling from `pygmentize -S friendly -f html` ---------------- */ pre { line-height: 125%; } td.linenos .normal { color: #666666; background-color: transparent; padding-left: 5px; padding-right: 5px; } span.linenos { color: #666666; background-color: transparent; padding-left: 5px; padding-right: 5px; } td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } .highlight .hll { background-color: #ffffcc } .highlight { background: #f0f0f0; } .highlight .c { color: #60a0b0; font-style: italic } /* Comment */ .highlight .err { border: 1px solid #FF0000 } /* Error */ .highlight .k { color: #007020; font-weight: bold } /* Keyword */ .highlight .o { color: #666666 } /* Operator */ .highlight .ch { color: #60a0b0; font-style: italic } /* Comment.Hashbang */ .highlight .cm { color: #60a0b0; font-style: italic } /* Comment.Multiline */ .highlight .cp { color: #007020 } /* Comment.Preproc */ .highlight .cpf { color: #60a0b0; font-style: italic } /* Comment.PreprocFile */ .highlight .c1 { color: #60a0b0; font-style: italic } /* Comment.Single */ .highlight .cs { color: #60a0b0; background-color: #fff0f0 } /* Comment.Special */ .highlight .gd { color: #A00000 } /* Generic.Deleted */ .highlight .ge { font-style: italic } /* Generic.Emph */ .highlight .gr { color: #FF0000 } /* Generic.Error */ .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */ .highlight .gi { color: #00A000 } /* Generic.Inserted */ .highlight .go { color: #888888 } /* Generic.Output */ .highlight .gp { color: #c65d09; font-weight: bold } /* Generic.Prompt */ .highlight .gs { font-weight: bold } /* Generic.Strong */ .highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */ .highlight .gt { color: #0044DD } /* Generic.Traceback */ .highlight .kc { color: #007020; font-weight: bold } /* Keyword.Constant */ .highlight .kd { color: #007020; font-weight: bold } /* Keyword.Declaration */ .highlight .kn { color: #007020; font-weight: bold } /* Keyword.Namespace */ .highlight .kp { color: #007020 } /* Keyword.Pseudo */ .highlight .kr { color: #007020; font-weight: bold } /* Keyword.Reserved */ .highlight .kt { color: #902000 } /* Keyword.Type */ .highlight .m { color: #40a070 } /* Literal.Number */ .highlight .s { color: #4070a0 } /* Literal.String */ .highlight .na { color: #4070a0 } /* Name.Attribute */ .highlight .nb { color: #007020 } /* Name.Builtin */ .highlight .nc { color: #0e84b5; font-weight: bold } /* Name.Class */ .highlight .no { color: #60add5 } /* Name.Constant */ .highlight .nd { color: #555555; font-weight: bold } /* Name.Decorator */ .highlight .ni { color: #d55537; font-weight: bold } /* Name.Entity */ .highlight .ne { color: #007020 } /* Name.Exception */ .highlight .nf { color: #06287e } /* Name.Function */ .highlight .nl { color: #002070; font-weight: bold } /* Name.Label */ .highlight .nn { color: #0e84b5; font-weight: bold } /* Name.Namespace */ .highlight .nt { color: #062873; font-weight: bold } /* Name.Tag */ .highlight .nv { color: #bb60d5 } /* Name.Variable */ .highlight .ow { color: #007020; font-weight: bold } /* Operator.Word */ .highlight .w { color: #bbbbbb } /* Text.Whitespace */ .highlight .mb { color: #40a070 } /* Literal.Number.Bin */ .highlight .mf { color: #40a070 } /* Literal.Number.Float */ .highlight .mh { color: #40a070 } /* Literal.Number.Hex */ .highlight .mi { color: #40a070 } /* Literal.Number.Integer */ .highlight .mo { color: #40a070 } /* Literal.Number.Oct */ .highlight .sa { color: #4070a0 } /* Literal.String.Affix */ .highlight .sb { color: #4070a0 } /* Literal.String.Backtick */ .highlight .sc { color: #4070a0 } /* Literal.String.Char */ .highlight .dl { color: #4070a0 } /* Literal.String.Delimiter */ .highlight .sd { color: #4070a0; font-style: italic } /* Literal.String.Doc */ .highlight .s2 { color: #4070a0 } /* Literal.String.Double */ .highlight .se { color: #4070a0; font-weight: bold } /* Literal.String.Escape */ .highlight .sh { color: #4070a0 } /* Literal.String.Heredoc */ .highlight .si { color: #70a0d0; font-style: italic } /* Literal.String.Interpol */ .highlight .sx { color: #c65d09 } /* Literal.String.Other */ .highlight .sr { color: #235388 } /* Literal.String.Regex */ .highlight .s1 { color: #4070a0 } /* Literal.String.Single */ .highlight .ss { color: #517918 } /* Literal.String.Symbol */ .highlight .bp { color: #007020 } /* Name.Builtin.Pseudo */ .highlight .fm { color: #06287e } /* Name.Function.Magic */ .highlight .vc { color: #bb60d5 } /* Name.Variable.Class */ .highlight .vg { color: #bb60d5 } /* Name.Variable.Global */ .highlight .vi { color: #bb60d5 } /* Name.Variable.Instance */ .highlight .vm { color: #bb60d5 } /* Name.Variable.Magic */ .highlight .il { color: #40a070 } /* Literal.Number.Integer.Long */