diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/greek-fontenc/alphabeta-lgr.def.html')
-rw-r--r-- | Master/texmf-dist/doc/latex/greek-fontenc/alphabeta-lgr.def.html | 587 |
1 files changed, 385 insertions, 202 deletions
diff --git a/Master/texmf-dist/doc/latex/greek-fontenc/alphabeta-lgr.def.html b/Master/texmf-dist/doc/latex/greek-fontenc/alphabeta-lgr.def.html index a0d96744405..05af3f854e2 100644 --- a/Master/texmf-dist/doc/latex/greek-fontenc/alphabeta-lgr.def.html +++ b/Master/texmf-dist/doc/latex/greek-fontenc/alphabeta-lgr.def.html @@ -4,7 +4,7 @@ <meta charset="utf-8" /> <meta name="generator" content="Docutils 0.20b.dev: https://docutils.sourceforge.io/" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> -<meta name="dcterms.rights" content="© 2014 Günter Milde" /> +<meta name="dcterms.rights" content="© 2014, 2020 Günter Milde" /> <title>alphabeta-lgr.def</title> <link rel="schema.dcterms" href="http://purl.org/dc/terms/"/> <style type="text/css"> @@ -289,12 +289,13 @@ p img, p video, figure img, figure video { </style> <style type="text/css"> -/* CSS31_ style sheet for the output of Docutils HTML writers. */ -/* Rules for easy reading and pre-defined style variants. */ +/* CSS3_ style sheet for the output of Docutils HTML5 writer. */ +/* Generic responsive design for all screen sizes. */ +/* */ +/* :Author: Günter Milde */ /* */ -/* :Author: Günter Milde, based on html4css1.css by David Goodger */ /* :Id: $Id$ */ -/* :Copyright: © 2015 Günter Milde. */ +/* :Copyright: © 2021 Günter Milde. */ /* :License: Released under the terms of the `2-Clause BSD license`_, */ /* in short: */ /* */ @@ -307,167 +308,199 @@ p img, p video, figure img, figure video { /* .. _2-Clause BSD license: http://www.spdx.org/licenses/BSD-2-Clause */ /* .. _CSS3: https://www.w3.org/Style/CSS/ */ +/* Note: */ +/* This style sheet is provisional: */ +/* the API is not settled and may change with any minor Docutils version. */ + + -/* Document Structure */ -/* ****************** */ +/* General Settings */ +/* ================ */ + + +* { box-sizing: border-box; } -/* "page layout" */ body { - margin: 0; - background-color: #dbdbdb; - --field-indent: 9em; /* default indent of fields in field lists */ -} -main, footer, header { - line-height:1.6; - /* avoid long lines --> better reading */ - /* optimum is 45…75 characters/line <http://webtypography.net/2.1.2> */ - /* OTOH: lines should not be too short because of missing hyphenation, */ - max-width: 50rem; - padding: 1px 2%; /* 1px on top avoids grey bar above title (mozilla) */ + background-color: #fafaf6; margin: auto; + --field-indent: 6.6em; /* indent of fields in field lists */ + --sidebar-margin-right: 0; /* adapted in media queries below */ } main { - counter-reset: table figure; + counter-reset: figure table; +} +body > * { background-color: white; + line-height: 1.6; + padding: 0.5rem calc(29% - 7.2rem); /* go from 5% to 15% (8.15em/54em) */ + margin: auto; + max-width: 100rem; +} +sup, sub { /* avoid additional inter-line space for lines with sup/sub */ + line-height: 1; +} + +/* Vertical Space (Parskip) */ +p, ol, ul, dl, li, +div.line-block, +.topic, +.footnote, .citation, +div > math, +table { + margin-top: 0.5em; + margin-bottom: 0.5em; +} +h1, h2, h3, h4, h5, h6, +dl > dd, details > p:last-child { + margin-bottom: 0.5em; +} + +/* Indented Blocks */ +blockquote, figure, .topic { + margin: 1em 2%; + padding-left: 1em; } +div.line-block div.line-block, +pre, dd, dl.option-list { + margin-left: calc(2% + 1em); +} + +/* Object styling */ +/* ============== */ + footer, header { - font-size: smaller; - padding: 0.5em 2%; - border: none; + font-size: small; +} + +/* Frontmatter */ +div.dedication { + padding: 0; + margin: 1.4em 0; + font-style: italic; + font-size: large; +} +.dedication p.topic-title { + display: none; +} + +blockquote p.attribution, +.topic p.attribution { + text-align: right; } /* Table of Contents */ -ul.auto-toc > li > p { +nav.contents ul { padding-left: 1em; - text-indent: -1em; } -nav.contents ul { +ul.auto-toc > li > p { /* hanging indent */ padding-left: 1em; + text-indent: -1em; +} +main > nav.contents ul:not(.auto-toc) { + list-style-type: square; +} +main > nav.contents ul ul:not(.auto-toc) { + list-style-type: disc; } -main > nav.contents ul ul ul ul:not(.auto-toc) { +main > nav.contents ul ul ul:not(.auto-toc) { list-style-type: '\2B29\ '; } -main > nav.contents ul ul ul ul ul:not(.auto-toc) { +main > nav.contents ul ul ul ul:not(.auto-toc) { list-style-type: '\2B1D\ '; } - -/* Transitions */ -hr.docutils { - width: 80%; - margin-top: 1em; - margin-bottom: 1em; - clear: both; +main > nav.contents ul ul ul ul ul:not(.auto-toc) { + list-style-type: '\2B2A\ '; } - -/* Paragraphs */ - -/* vertical space (parskip) */ -p, ol, ul, dl, li, -div.line-block, -.footnote, .citation, -div > math, -table { - margin-top: 0.5em; - margin-bottom: 0.5em; +nav.contents ul > li::marker { + color: grey; } -h1, h2, h3, h4, h5, h6, -dd, details > p:last-child { - margin-bottom: 0.5em; +/* Transitions */ +hr { + margin: 1em 10%; } /* Lists */ -/* ===== */ - -/* Definition Lists */ -/* Indent lists nested in definition lists */ -dd > ul:only-child, dd > ol:only-child { padding-left: 1em; } -/* Description Lists */ -/* styled like in most dictionaries, encyclopedias etc. */ +ul, ol { + padding-left: 1.1em; /* indent by bullet width (Firefox, DejaVu fonts) */ +} +dl.field-list > dd, +dl.docinfo > dd { + margin-left: var(--field-indent); /* adapted in media queries or HTML */ +} +dl.option-list > dd { + margin-left: 20%; +} +/* run-in: start field-body on same line after long field names */ +dl.field-list.run-in > dd p { + display: block; +} +/* "description style" like in most dictionaries, encyclopedias etc. */ dl.description { display: flow-root; } dl.description > dt { - font-weight: bold; clear: left; float: left; margin: 0; padding: 0; padding-right: 0.3em; + font-weight: bold; } dl.description > dd:after { display: table; content: ""; clear: left; /* clearfix for empty descriptions */ } +/* start lists nested in description/field lists on new line */ +dd > dl:first-child, +dd > ul:first-child, +dd > ol:first-child { + clear: left; +} -/* Field Lists */ +/* disclosures */ +details { padding-left: 1em; } +summary { margin-left: -1em; } -dl.field-list > dd, -dl.docinfo > dd { - margin-left: var(--field-indent); /* adapted in media queries or HTML */ +/* Footnotes and Citations */ +.footnote { + font-size: small; } -/* example for custom field-name width */ -dl.field-list.narrow > dd { - --field-indent: 5em; -} -/* run-in: start field-body on same line after long field names */ -dl.field-list.run-in > dd p { +/* Images, Figures, and Tables */ +img { display: block; } - -/* Bibliographic Fields */ - -/* generally, bibliographic fields use dl.docinfo */ -/* but dedication and abstract are placed into divs */ -div.abstract p.topic-title { - text-align: center; +p > img, p > a > img, +figure > img, figure > a > img { + display: inline; } -div.dedication { - margin: 2em 5em; - text-align: center; + +figcaption, +table > caption { + /* font-size: small; */ font-style: italic; } -div.dedication p.topic-title { - font-style: normal; +figcaption > .legend { + font-size: small; + font-style: initial; } - -/* disclosures */ -details { padding-left: 1em; } -summary { margin-left: -1em; } - -/* Text Blocks */ -/* =========== */ - -/* Literal Blocks */ -pre.literal-block, pre.doctest-block, -pre.math, pre.code { - font-family: monospace; +figure.numbered > figcaption > p:before { + counter-increment: figure; + content: "Figure " counter(figure) ": "; + font-weight: bold; + font-style: initial; } -/* Block Quotes and Topics */ -bockquote { margin: 1em 2em; } -blockquote p.attribution, -.topic p.attribution { - text-align: right; - margin-left: 20%; +table tr { + text-align: left; + vertical-align: baseline; } - -/* Tables */ -/* ====== */ - -/* th { vertical-align: bottom; } */ - -table tr { text-align: left; } - -/* "booktabs" style (no vertical lines) */ -table.booktabs { - border: 0; +table.booktabs { /* "booktabs" style (no vertical lines) */ border-top: 2px solid; border-bottom: 2px solid; - border-collapse: collapse; } table.booktabs * { border: 0; @@ -475,88 +508,43 @@ table.booktabs * { table.booktabs th { border-bottom: thin solid; } - -/* numbered tables (counter defined in div.document) */ table.numbered > caption:before { counter-increment: table; content: "Table " counter(table) ": "; font-weight: bold; -} - -/* Explicit Markup Blocks */ -/* ====================== */ - -/* Footnotes and Citations */ -/* ----------------------- */ - -/* line on the left */ -.footnote-list { - border-left: solid thin; - padding-left: 0.25em; -} - -/* Directives */ -/* ---------- */ - -/* Body Elements */ -/* ~~~~~~~~~~~~~ */ - -/* Images and Figures */ - -/* let content flow to the side of aligned images and figures */ -figure.align-left, -img.align-left, -video.align-left, -object.align-left { - clear: left; - float: left; - margin-right: 1em; -} -figure.align-right, -img.align-right, -video.align-right, -object.align-right { - clear: right; - float: right; - margin-left: 1em; -} -/* Stop floating sidebars, images and figures */ -h1, h2, h3, h4, footer, header { clear: both; } - -/* Numbered figures */ -figure.numbered > figcaption > p:before { - counter-increment: figure; - content: "Figure " counter(figure) ": "; - font-weight: bold; + font-style: initial; } /* Admonitions and System Messages */ +.admonition, +div.system-message { + border: thin solid silver; + margin: 1em 2%; + padding: 0.5em 1em; +} .caution p.admonition-title, .attention p.admonition-title, .danger p.admonition-title, -.error p.admonition-title, .warning p.admonition-title, div.error { - color: red; + color: maroon; } - -/* Sidebar */ -/* Move right. In a layout with fixed margins, */ -/* it can be moved into the margin. */ -aside.sidebar { - width: 30%; - max-width: 26em; - float: right; - clear: right; - margin-left: 1em; - margin-right: -1%; - background-color: #fffffa; +div.system-message > p > span.literal { + overflow-wrap: break-word; } +/* Literal and Code */ +pre.literal-block, pre.doctest{ + padding: 0.2em; + overflow-x: auto; +} +.literal-block, .doctest, span.literal { + background-color: #f6f9f8; +} +.system-message span.literal { + background-color: inherit; +} -/* Code */ -pre.code { padding: 0.7ex } -pre.code, code { background-color: #eeeeee } /* basic highlighting: for a complete scheme, see */ /* https://docutils.sourceforge.io/sandbox/stylesheets/ */ pre.code .comment, code .comment { color: #5C6576 } @@ -566,6 +554,94 @@ pre.code .name.builtin, code .name.builtin { color: #352B84 } pre.code .deleted, code .deleted { background-color: #DEB0A1} pre.code .inserted, code .inserted { background-color: #A3D289} +/* Hyperlink References */ +a { + text-decoration: none; /* for chromium */ + /* Wrap links at any place, if this is the only way to prevent overflow */ + overflow-wrap: break-word; +} +.contents a, a.toc-backref, a.citation-reference { + overflow-wrap: inherit; +} +/* Undecorated Links (see also minimal.css) */ +/* a.citation-reference, */ +.citation a.fn-backref { + color: inherit; +} +a:hover { + text-decoration: underline; +} +*:hover > a.toc-backref:after { + content: " \2191"; /* ↑ UPWARDS ARROW */ + color: grey; +} +*:hover > a.self-link:after { + content: "\1F517"; /* LINK SYMBOL */ + color: grey; + font-size: smaller; + margin-left: 0.2em; +} +/* highlight the target of the current URL */ +section:target > h2, section:target > h3, section:target > h4, +section:target > h5, section:target > h6, +.contents :target, +.contents:target > .topic-title, +[role="doc-biblioentry"]:target > .label, +[role="doc-biblioref"]:target, +[role="note"]:target, /* Docutils 0.18 ... 0.19 */ +[role="doc-footnote"]:target, /* Docutils >= 0.20 */ +[role="doc-noteref"]:target { + background-color: #d2e6ec; +} + +/* Block Alignment */ +/* Let content flow to the side of aligned images and figures */ + +/* no floats around this elements */ +footer, header, hr, +h1, h2, h3 { + clear: both; +} + +img.align-left, +video.align-left, +figure.align-left, +table.align-left { + margin-left: 0; + padding-left: 0; + margin-right: 0.5em; + clear: left; + float: left; +} +img.align-right, +video.align-right, +figure.align-right, +table.align-right { + margin-left: 0.5em; + margin-right: 0; + clear: right; + float: right; +} + +/* Margin Elements */ +/* see below for screen size dependent rules */ +.sidebar, +.marginal, +.admonition.marginal { + max-width: 40%; + border: none; + background-color: #efefea; + margin: 0.5em var(--sidebar-margin-right) 0.5em 1em; + padding: 0.5em; + padding-left: 0.7em; + clear: right; + float: right; + font-size: small; +} +.sidebar { + width: 40%; +} + /* Math */ /* for math-output=MathML (for math-output=HTML, see math.css) */ math .boldsymbol { @@ -575,32 +651,139 @@ mstyle.mathscr, mi.mathscr { font-family: STIX; } -/* Epigraph */ -/* Highlights */ -/* Pull-Quote */ -/* Compound Paragraph */ -/* Container */ - -/* Inline Markup */ -/* ============= */ - -sup, sub { line-height: 0.8; } /* do not add leading for lines with sup/sub */ - -/* Inline Literals */ -/* possible values: normal, nowrap, pre, pre-wrap, pre-line */ -/* span.docutils.literal { white-space: pre-wrap; } */ - -/* Hyperlink References */ -a { text-decoration: none; } - -/* External Targets */ -/* span.target.external */ -/* Internal Targets */ -/* span.target.internal */ -/* Footnote References */ -/* a[role="doc-noteref"] */ -/* Citation References */ -/* a.citation-reference */ +/* Adaptive page layout */ +/* ==================== */ + +@media (max-width: 30em) { + /* Smaller margins and no floating elements for small screens */ + /* (main text less than 40 characters/line) */ + body > * { + padding: 0.5rem 5%; + line-height: 1.4 + } + .sidebar, + .marginal, + .admonition.marginal { + width: auto; + max-width: 100%; + float: none; + } + dl.option-list, + pre { + margin-left: 0; + } + body { + --field-indent: 4em; + } + dl.field-list.narrow, dl.docinfo, dl.option-list { + --field-indent: 2.4em; + } + pre, pre * { + font-size: 0.9em; + /* overflow: auto; */ + } +} + +@media (min-width: 54em) { + /* Move ToC to the left */ + /* Main text width before: 70% ≙ 35em ≙ 75…95 chrs (Dejavu/Times) */ + /* after: ≳ 30em ≙ 54…70 chrs (Dejavu/Times) */ + body.with-toc { + padding-left: 8%; + } + body.with-toc > * { + margin-left: 0; + padding-left: 22rem; /* fallback for webkit */ + padding-left: min(22%, 22rem); + padding-right: 7%; + } + main > nav.contents { /* global ToC */ + position: fixed; + top: 0; + left: 0; + width: min(25%, 25em); + height: 100vh; + margin: 0; + background-color: #fafaf6; + padding: 1em 2% 0 2%; + overflow: auto; + } + main > nav.contents > * { + padding-left: 0; + line-height: 1.4; + } + main > nav.contents a { + color: inherit; + } +} + +@media (min-width: 70em) { + body { + --field-indent: 9em; + } +} + +@media (min-width: 77em) { + /* Move marginalia to 6rem from right border */ + /* .sidebar, */ + /* .marginal, */ + /* .admonition.marginal { */ + /* margin-right: calc(6rem - 15%); */ + /* } */ + /* BUG: margin is calculated for break point width */ + /* workaround: variable + many breakpoints */ + body > * { + padding-left: 18%; + padding-right: 28%; /* fallback for webkit */ + padding-right: min(28%, 28rem); + --sidebar-margin-right: -20rem; + } + /* limit main text to ~ 50em ≙ 85…100 characters DejaVu rsp. …120 Times */ + body.with-toc > * { + padding-left: min(22%, 22rem); + padding-right: calc(78% - 50rem); /* fallback for webkit */ + padding-right: min(78% - 50rem, 28rem); + --sidebar-margin-right: 0; + } +} + +@media (min-width: 85em) { + body.with-toc > * { + --sidebar-margin-right: -9rem; + } +} + +@media (min-width: 90em) { + /* move marginalia into the margin */ + body > * { + padding-left: min(22%, 22rem); + --sidebar-margin-right: -23rem; + } + body.with-toc > * { + --sidebar-margin-right: -14rem; + } +} + +@media (min-width: 99em) { + /* move marginalia out of main text area */ + body.with-toc > * { + --sidebar-margin-right: -20rem; + } + body > *, body.with-toc > * { /* for webkit */ + padding-left: 22rem; + padding-right: 28rem; + } + .admonition.marginal, + .marginal { + width: 40%; /* make marginal figures, ... "full width" */ + } +} + +@media (min-width: 104em) { + body.with-toc > * { + --sidebar-margin-right: -23rem; + } +} </style> </head> @@ -610,7 +793,7 @@ a { text-decoration: none; } <p class="subtitle" id="composite-definitions-for-8-bit-tex">Composite definitions for 8-bit TeX</p> <dl class="docinfo"> <dt class="copyright">Copyright<span class="colon">:</span></dt> -<dd class="copyright">© 2014 Günter Milde</dd> +<dd class="copyright">© 2014, 2020 Günter Milde</dd> <dt class="licence">Licence<span class="colon">:</span></dt> <dd class="licence"><p>This work may be distributed and/or modified under the conditions of the <a class="reference external" href="http://www.latex-project.org/lppl.txt">LaTeX Project Public License</a>, either |