summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/greek-fontenc/alphabeta-lgr.def.html
diff options
context:
space:
mode:
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.html587
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