/*
  CSS stylesheet for programmingideas.net/book
  Copyright 2026 Daniel Heck

  adapted from:
  CSS stylesheet for tikz.dev
  Copyright 2021-2022 Dominik Peters

  CSS stylesheet for the LaTeX Lwarp package
  Copyright 2016-2021 Brian Dunn - BD Tech Concepts LLC
*/


:root {
/*  --main-font: -system-ui, -apple-system, BlinkMacSystemFont, Roboto, 'Segoe UI', "Source Sans Pro", sans-serif;*/
  --main-font: 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;
  --monospace-font: 'SF Mono', SFMono-Regular, ui-monospace, 'DejaVu Sans Mono', Menlo, Consolas, "Source Code Pro", monospace;
  --bg-color: #fafbfe;
  --text-color: #2b2b2b;
  --accent-color: rgb(1,79,105);
  --accent-medium: rgb(60,129,155);
  --accent-medium2: rgb(135,178,194);
  --accent-light: rgb(210,227,233);
  --secondary-text: #666666;
  --white: #ffffff;
}



/*@import url('https://fonts.googleapis.com/css2?family=Source+Sans+Pro:wght@400;600;700&display=swap'); */

/*@import url("tikzdev.css")*/


header,
section,
footer,
nav,
main,
figure {
  display: block;
}

A:link {
/*  color: #000080;*/
  text-decoration: none;
}
A:visited {
/*  color: #800000;*/
}
A:hover {
/*  color: #000080;
  text-decoration: underline;
*/}
A:active {
/*  color: #800000;*/
}
a.tocpart {
  display: inline-block;
  margin-left: 0em;
  font-weight: bold;
}
a.tocsection {
  display: inline-block;
  margin-left: 1em;
  text-indent: -0.5em;
  font-weight: bold;
}
a.tocsubsection {
  display: inline-block;
  margin-left: 2em;
  text-indent: -0.5em;
}
a.tocsubsubsection {
  display: inline-block;
  margin-left: 3em;
  text-indent: -0.5em;
}

body {
/*  font-family: var(--main-font);*/
  background: #faf7f4;
  color: black;
  margin: 0em;
  padding: 0em;
/*  font-size: 100%;*/
  font-size: 14pt;
}

table p {
  margin: 0.5ex 0em 0.5ex 0em;
}

span.sectionnumber {
  margin-right: 0.3em;
}

div.hidden,
span.hidden {
  display: none;
}

span.textsf, div.textsf {
   font-family: var(--main-font);
}

kbd,
span.texttt,
p span.texttt,
.quicklinks a {
  font-family: var(--monospace-font);
  font-size: 80%;
  line-height: 0.8;
  word-break: break-word;
}

p span.texttt,
.quicklinks a {
  padding: 0.07em 0.14em;
  margin: 0;
  font-size: 80%;
  background-color: hsl(240, 100%, 97%);
  border: 1px solid hsl(240, 100%, 94%);
}
/* remove the above styling in some places */
.entryheadline p span.texttt,
p span.texttt.nobackground
{
  background-color: transparent;
  border: none;
  padding: 0;
  font-size: 88%;
}

pre {
  padding: 3pt;
}

span.textmd {
  font-weight: normal;
}

span.textsc {
  font-variant: small-caps;
  font-variant-numeric: oldstyle-nums;
}

blockquote {
  display: block;
  margin-left: 2em;
  margin-right: 2em;
}

body div {
  margin: 0ex;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  font-family: var(--main-font);
  font-style: normal;
  font-weight: bold;
  text-align: left;
}

span.paragraph {
  font-weight: bold;
  text-align: left;
}

h1 {
  /* title of the entire website, used on each page */
  text-align: center;
  font-size: 2.5em;
  padding: 0.4ex 0em 0ex 0em;
}

h2 {
  font-size: 2em;
}

h3 {
  font-size: 1.75em;
}

h3.inserted {
  color: var(--accent-medium);
}

h4 {
  font-size: 1.25em;
}
h5 {
  font-size: 1em;
}
h6 {
  font-size: 1em;
}
span.paragraph {
  font-size: 1em;
  font-variant: normal;
  margin-right: 1em;
}

h1 {
  margin: 0ex 0em 0ex 0em;
  line-height: 1.3;
  text-align: center;
}

h2 {
  margin: 1ex 0em 1ex 0em;
  line-height: 1.3;
  text-align: center;
}

h4 {
  margin: 3ex 0em 1ex 0em;
  line-height: 1.3;
}

h5 {
  margin: 3ex 0em 1ex 0em;
  line-height: 1.3;
}

h6 {
  margin: 2ex 0em 1ex 0em;
  line-height: 1.3;
}

.footnotes {
  text-align: left;
  font-size: 0.85em;
  margin: 3ex 2em 0ex 2em;
  border-top: 1px solid silver;
}

section.textbody div.footnotes {
  margin: 3ex 2em 0.5ex 2em;
  border-bottom: 2px solid silver;
}

ul {
  margin: 1ex 1em 1ex 0em;
  line-height: 1.2;
}

li {
  margin: 0ex 0em 1ex 0em;
}

html {
  margin: 0;
  padding: 0;
}

.programlisting {
  font-family: var(--monospace-font);
  overflow-x: auto;
/*  white-space: pre-wrap;*/
  margin: 6pt;
  font-size: 80%;
}


section.textbody > pre.programlisting {
  border-top: 1px solid silver;
  border-bottom: 1px solid silver;
}

.verbatim {
  overflow-x: auto;
}

/* Minipage environments, vertically aligned to top, center, bottom: */
.minipage {
  /* display: inline-block ; */
  /* Mini pages which follow each other will be tiled. */
  text-align: left;
  margin: 0.25em 0.25em 0.25em 0.25em;
  padding: 0.25em 0.25em 0.25em 0.25em;
  display: inline-flex;
  flex-direction: column;
  overflow: auto;
}

/* Paragraphs in the flexbox did not collapse their margins. */
/* Have not yet researched this. */
.minipage p {
  margin: 0.75ex 0em 0.75ex 0em;
}

dl {
  margin: 1ex 2em 1ex 0em;
  line-height: 1.3;
}

dl dt {
  display: block;
  float: left;
  font-weight: bold;
  padding-right: 1em;
}

dl dd {
  display: block;
}

dl dd:after {
  content: "";
  display: block;
  clear: both;
}

dl dd p {
  margin-top: 0em;
}

dd ul {
  clear: both;
}

nav {
  font-family: var(--main-font);
}

nav p {
  line-height: 1.2;
  margin-top: 0.5ex;
  margin-bottom: 0.5ex;
  font-size: 0.9em;
}

img {
/*  max-width: 600px;*/
  max-width: 100%;
  border: 1px solid silver;
  box-shadow: 3px 3px 3px #808080;
  padding: 0.5%;
  margin: 0.5%;
  background: none;
}

/*svg {
    max-width: 100%;
}
*/
figure svg {
  width: auto;
  max-width: 100vw;
}

img.inlineimage {
  padding: 0px;
  box-shadow: none;
  border: none;
  background: none;
  margin: 0px;
  display: inline-block;
  border-radius: 0px;
  max-width: 100%;
}

figure {
/*  margin: 5ex auto 5ex auto;*/
/*  padding: 1ex 1em 1ex 1em;*/
  margin: 0ex;
  overflow-x: auto;
/*  width:8in;*/
  max-width: 100%;
}

/* Center if only one line, "start" align if more than one line: */
div.figurecaption, .lstlistingtitle {
    font-size: .85em ;
    font-weight: bold ;
    text-align: start ;
    margin: 1ex auto;
/*    width: max-content;*/
    max-width: 100%;
/*    width: 7in;*/
/*    margin: 0pt;*/
}



figure div.minipage p {
  font-size: 85%;
}

div.minipage figure {
  border: none;
  box-shadow: none;
}

table {
  margin: 1ex auto 1ex auto;
  border-collapse: separate;
  border-spacing: 0px;
  line-height: 1.3;
}

table > tbody > tr.hline > td {
  border-top: 1px solid #808080;
  margin-top: 0ex;
  margin-bottom: 0ex;
} /* for \hline */ /* for \toprule, \bottomrule */

td {
  padding: 0.5ex 0.5em 0.5ex 0.5em;
}

table td.tdl {
  text-align: left;
  vertical-align: middle;
}
table td.tdc {
  text-align: center;
  vertical-align: middle;
}
table td.tdr {
  text-align: right;
  vertical-align: middle;
}
table td.tdp {
  text-align: left;
  vertical-align: bottom;
}

/* Margins of paragraphs inside table cells: */
td.tdp p {
  padding-top: 1ex;
  padding-bottom: 1ex;
  margin: 0ex;
}

td.tdp {
  padding: 0ex 0.5em 0ex 0.5em;
}

div.center {
  text-align: center;
  overflow-x: auto;
/*  width: 7in;*/
}

header {
    background-color: var(--white);
    box-shadow: 0 5px 10px rgba(0,0,0,0.10);
    position: fixed;
    display: flex;
    align-items: center;
    width: auto;
    top: 0;
    z-index: 1000;
}

.nav-container {
    margin: 0;
    padding: 20px;
    display: flex;
    justify-content: space-between;
}

.logo {
    font-weight: bold;
    font-family: var(--main-font);
    font-size: 1.2rem;
    color: var(--accent-color);
    text-decoration: none;
}

nav a {
    text-decoration: none;
    color: var(--text-color);
    margin-left: 20px;
    font-size: 0.95rem;
    transition: color 0.3s;
}

nav a:hover {
    color: var(--accent-color);
}


img.lateximage {
  padding: 0pt;
  margin: 0pt;
  box-shadow: none;
  border: none;
  background: none;
  max-width: 100%;
  height: auto;
  border-radius: 0ex;
  border: none;
}

div.sidetoccontainer {
  font-family: var(--main-font);
  float: left;
  position: sticky;
  width: 19%; /* room for border-right next to 80% main */
  margin: 0pt 0em 3ex 0pt;
  border-right: 1px solid silver;
  border-bottom: 1px solid silver;
  background: #faf7f4;
  font-size: 0.9em;
  border-radius: 0px 0px 20px 0px;
}

div.sidetoccontents {
  overflow-y: auto;
  width: 95%;
  text-align: left;
  padding: 4pt;
}

nav.sidetoc p {
  line-height: 1.2;
  margin: 1ex 0.5em 1ex 0.5em;
  text-indent: 0;
}

nav.sidetoc p a {
/*  color: black;*/
  font-size: 0.7em;
}

div.sidetoctitle {
  font-size: 1.2em;
  font-weight: bold;
  text-align: center;
  border-bottom: 1px solid silver;
}

nav.sidetoc a:hover {
  text-decoration: underline;
}

section.textbody {
  margin: 0ex 1em 0ex 1em;
}

a.tocbook {display: inline-block ; margin-left: 0em ;
    font-weight: bold ; margin-top: 1ex ; margin-bottom: 1ex ; }
a.tocpart {display: inline-block ; margin-left: 0em ;
    font-weight: bold ;}
a.tocchapter {display: inline-block ; margin-left: 0em ;
    font-weight: bold ;}
a.tocsection {display: inline-block ; margin-left: 0.5em ;
    text-indent: -.5em ; font-weight: bold ; }
a.tocsubsection {display: inline-block ; margin-left: 2em ;
    text-indent: -.5em ; }
a.tocsubsubsection {display: inline-block ; margin-left: 3em ;
    text-indent: -.5em ; }
a.tocparagraph {display: inline-block ; margin-left: 4em ;
    text-indent: -.5em ; }
a.tocsubparagraph {display: inline-block ; margin-left: 5em ;
    text-indent: -.5em ; }
a.tocfigure {margin-left: 0em}
a.tocsubfigure {margin-left: 2em}
a.toctable {margin-left: 0em}
a.tocsubtable {margin-left: 2em}
a.toctheorem {margin-left: 0em}
a.toclstlisting {margin-left: 0em}


/*
For CSS LaTeX and related logos:
Based on spacing demonstrated by the metafont package.

The subscripts are shrunk instead of lowered below the baseline,
to avoid browser rendering errors with the line height in lists, etc.
*/

.latexlogofont {
  font-family: "Linux Libertine O", "Nimbus Roman No 9 L", "FreeSerif",
    "Hoefler Text", Times, "Times New Roman", serif;
  font-variant: normal;
}

.latexlogo {
  font-family: "Linux Libertine O", "Nimbus Roman No 9 L", "FreeSerif",
    "Hoefler Text", Times, "Times New Roman", serif;
}

.latexlogosup {
  text-transform: uppercase;
  letter-spacing: 0.03em;
  font-size: 0.7em;
  vertical-align: 0.25em;
  margin-left: -0.4em;
  margin-right: -0.15em;
}

.latexlogosub {
  text-transform: uppercase;
  /*  vertical-align: -0.27ex; */
  margin-left: -0.08em;
  margin-right: -0.07em;
  /*  font-size: 1em; */
  font-size: 0.7em;
}

.latexlogotwoe {
  text-transform: none;
  font-variant-numeric: oldstyle-nums;
}

.latexlogotwoesub {
  font-style: italic;
  /*  vertical-align: -0.27ex; */
  margin-left: -0.11em;
  margin-right: -0.1em;
  /*  font-size: 1em; */
  font-size: 0.7em;
}

/* Only display the sidetoc's webpage title if a small screen */
span.sidetocthetitle {
  display: none;
}

@media screen and (max-width: 80em) {
  div.sidetoccontainer {
    float: none;
    width: 100%;
    padding: 0;
    border-radius: 0;
    border-bottom: 1px solid black;
    border-top: 1px solid black;
    box-shadow: none;
  }
  span.sidetocthetitle {
    display: inline;
  }
  main.bodycontainer {
    width: 100%;
  }
}

@media print {
  body {
    font-family: "Linux Libertine O", "DejaVu Serif", "Bitstream Vera Serif",
      "Liberation Serif", "Nimbus Roman No 9 L", "FreeSerif", "Hoefler Text",
      Times, "Times New Roman", serif;
  }
  div.sidetoccontainer {
    display: none;
  }
  main.bodycontainer {
    width: 100%;
  }
}

@media handheld {
  div.sidetoccontainer {
    display: none;
  }
  main.bodycontainer {
    width: 100%;
  }
}

@media projection {
  div.sidetoccontainer {
    display: none;
  }
  main.bodycontainer {
    width: 100%;
  }
}

:root {
  --header-height: 60px;
}

@media screen and (min-width: 850px) {
  :root {
    --header-height: 60px;
  }
}

:target {
  scroll-margin-top: calc(60px + var(--header-height));
}

.grid-container {
  display: grid;
  width: 100%;
  grid-template-columns: 1fr;
  grid-template-areas:
    "header"
    "left"
    "content"
    "footer";
}

.textbody > p {
  max-width: 6.5in;
}
.textbody > ul {
  width: auto;
  max-width: 6.5in;
}
.textbody > div {
  max-width: 6.5in;
}
.textbody > figure {
  max-width: 6.5in;
}

@media screen and (min-width: 850px) {
  .grid-container {
    display: grid;
    grid-template-columns: auto 1fr;
    grid-template-areas:
      "header header"
      "left content"
      "footer footer";
  }
}

@media screen and (min-width: 1024px) {
  .grid-container {
    display: grid;
    grid-template-columns: auto 1fr auto;
    grid-template-areas:
      "header header header"
      "left content right"
      "footer footer footer";
  }
}

.bodyandsidetoc > header {
  grid-area: header;
  background-color: white;
  color: var(--accent-color);
  box-shadow: 0 5px 10px rgba(0,0,0,0.10);
  position: sticky;
  z-index: 5;
}

.bodywithoutsidetoc > header {
  grid-area: header;
  background-color: white;
  color: var(--accent-color);
  box-shadow: 0 5px 10px rgba(0,0,0,0.10);
  position: sticky;
  z-index: 5;
}

div.sidetoccontainer {
  float: none;
  border: 0;
  border-radius: 0;
  padding: 0;
  margin: 0;
}

.sidetoctitle:first-child {
  display: none;
}

#chapter-toc-container {
  grid-area: left;
  background-color: rgb(242, 242, 242);
  border-right: 1px solid #ccc;
}

@media screen and (max-width: 849px) {
  #chapter-toc-container {
    width: 100%;
    transform: translateX(-100%);
    transition: transform 0.15s;
    position: fixed;
    z-index: 1000;
    top: var(--header-height);
    left: 0;
    bottom: 0;
    overflow-y: scroll;
  }

  #chapter-toc-container.show-menu {
    transform: translateX(0);
  }
}

@media screen and (min-width: 850px) {
  #chapter-toc-container {
    width: 11em;
  }
}

#local-toc-container {
  display: none;
}

@media screen and (min-width: 1024px) {
  #local-toc-container {
    grid-area: right;
/*    display: block;*/
    width: 13em;
  }

  #chapter-toc-container {
    width: 17em;
  }
}

/*@media screen and (min-width: 1280px) {
  #chapter-toc-container {
    width: 19em;
  }

  #local-toc-container {
    width: 19em;
  }
}
*/

main.bodycontainer {
  grid-area: content;
  float: none;
/*  width: 5in;*/
  max-width: 100vw;
/*  padding-bottom: 40px;*/
}

main.bodycontainer p {
/*  max-width: 100%;*/
}


nav.maintoc {
  position: sticky;
  top: var(--header-height);
  padding: 0;
  margin: 0;
/*  max-height: calc(100vh - var(--header-height));*/
  columns: 400px;
  overflow-y: auto;
  scroll-padding: 100px;
  margin-bottom: 4ex;
}

.maintoc a.tocchapter {
  padding-top: 10pt;
  font-size: 16pt;
  color: var(--accent-color);
}

nav.toc {
  position: sticky;
  top: var(--header-height);
  padding: 0;
  margin: 0;
/*  max-height: calc(100vh - var(--header-height));*/
  overflow-y: auto;
  scroll-padding: 100px;
}

#chapter-toc-container nav.sidetoc {
  max-height: none;
}

footer {
  grid-area: footer;
/*  display: flex;
  justify-content: space-between;
  margin: 0;
  font-size: 1em;
*/
}

header strong {
  display: block;
  font-size: 1.1em;
  font-family: var(--main-font);
  margin: 0;
  margin-left: 0.4em;
}

header strong a,
header strong a:visited,
header strong a:hover {
    font-weight: bold;
    font-size: 1.2rem;
    color: var(--accent-color);
    text-decoration: none;
/*  color: var(--accent-color) !important;
  text-decoration: none;
*/
}

#hamburger-button {
  font-family: var(--main-font);
  padding-left: 0.5em;
  padding-right: 0.2em;
  cursor: pointer;
  font-size: 1.3em;
}

.mobile-toc {
  margin-top: -1em;
}

.mobile-toc ul {
  padding-inline-start: 20px;
}

@media screen and (min-width: 850px) {
  #hamburger-button {
    display: none;
  }

  .mobile-toc {
    display: none;
  }
}

#search {
  margin-left: auto;
  margin-right: 1em;
}

@media screen and (min-width: 750px) {
  #search > button {
    width: 13em;
  }
}

@media screen and (min-width: 1280px) {
  #search > button {
    width: 19em;
  }
}

.DocSearch {
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Oxygen,
    Ubuntu, Cantarell, "Open Sans", "Helvetica Neue", sans-serif;
}

.DocSearch header {
  border-bottom: 0px;
}

.search-input {
  margin-right: 0.3em;
  width: 10em;
  font-size: 0.9em;
  padding: 1px 3px;
}

@media screen and (min-width: 850px) {
  header strong {
    font-size: 1.5em;
    margin-left: 0.5em;
  }

  .search-input {
    margin-right: 1em;
    width: 14em;
    font-size: 105%;
    padding: 3px 5px;
  }

  #chapter-toc-container nav.sidetoc {
/*    max-height: calc(100vh - var(--header-height));*/
  }
}

footer {
    background-color: #1a1a1a;
    color: #aeaeae;
    padding: 20px 20px;
    text-align: center;
    font-family: var(--main-font);
    font-size: 0.9rem;
    margin-top: 20px;
}

footer a {
    color: #ffffff;
    text-decoration: none;
    margin: 0 10px;
}

footer a:hover {
    text-decoration: underline;
}

footer p {
  max-width: 100%;
}



.textbody h1 {
  display: none;
}

h2.inserted {
  display: none;
}

h4 {
  margin-top: 20pt;
  margin-bottom: 6pt;
}

h5 {
  margin-top: 1.5ex;
}

/* anchor links for headings */
h4,
h5,
h6 {
  display: flex;
}

h4 > .anchor-link,
h5 > .anchor-link,
h6 > .anchor-link {
  margin-left: auto;
}

h4 > .anchor-link,
h4 > .anchor-pdf-link,
h4 > .anchor-html-link,
h5 > .anchor-link,
h5 > .anchor-pdf-link,
h5 > .anchor-html-link,
h6 > .anchor-link,
h6 > .anchor-pdf-link,
h6 > .anchor-html-link {
  font-family: "DejaVu Serif", "Bitstream Vera Serif", "Lucida Bright", Georgia,
    serif;
  font-size: 85%;
  color: #000080;
  opacity: 0.35;
  padding-left: 3px;
  font-weight: normal;
}

h5 > .anchor-link {
  font-size: 70%;
}

h4 > .anchor-link:hover,
h4 > .anchor-pdf-link:hover,
h4 > .anchor-html-link:hover,
h5 > .anchor-link:hover,
h5 > .anchor-pdf-link:hover,
h5 > .anchor-html-link:hover,
h6 > .anchor-link:hover,
h6 > .anchor-pdf-link:hover,
h6 > .anchor-html-link:hover {
  opacity: 1;
  /* background-color: rgb(201, 204, 243); */
  text-decoration: none;
  transform: scale(1.15);
}

h4:hover > .anchor-link,
h5:hover > .anchor-link,
h6:hover > .anchor-link {
  opacity: 1;
}

h4 > .anchor-pdf-link > svg,
h4 > .anchor-html-link > svg {
  width: 24px;
  height: 24px;
  margin-top: 6px;
  margin-bottom: -6px;
}

h5 > .anchor-pdf-link > svg,
h5 > .anchor-html-link > svg {
  width: 20px;
  height: 20px;
  margin-top: 6px;
  margin-bottom: -6px;
}

h6 > .anchor-pdf-link > svg,
h6 > .anchor-html-link > svg {
  width: 17px;
  height: 17px;
  margin-top: 4px;
  margin-bottom: -4px;
}

.example {
  display: flex;
  align-items: stretch;
  flex-wrap: wrap;
  margin: 1em;
  padding: 0;
}

.example-image {
  background-color: rgb(245, 245, 204);
}

.example-image p {
  margin: 0;
  padding: 0.5em;
}

.example-code {
  padding: 0.75em;
  background: #e5e5ff;
  font-family: var(--monospace-font);
  /* font-size: 98%; */
  line-height: 0.92;
  position: relative;
  overflow-wrap: break-word;
  word-break: break-word;
}

.example-code code {
  font-family: var(--monospace-font);
  font-size: 81.25%;
}

.clipboardButton {
  position: absolute;
  top: 0;
  right: 0;
  padding: 0.4em;
  border: 0;
  font-size: 78%;
  text-align: center;
  min-width: 3.5em;
  color: #444;
  cursor: pointer;
  visibility: hidden;
  background-color: #bbbbfc8a;
}

.clipboardButton:hover {
  background-color: #c0c0ff;
}

.example-code:hover .clipboardButton {
  visibility: visible;
}

.example-code a {
  color: inherit;
  background-color: rgba(255, 255, 255, 0.2);
  text-decoration: underline;
  text-decoration-color: rgba(255, 255, 255, 0.6);
}

.example-code:hover a {
  background-color: rgba(255, 255, 255, 0.4);
  text-decoration: underline;
  text-decoration-color: rgba(255, 255, 255, 0.8);
}

.example-code a:hover {
  background-color: rgba(255, 255, 255, 0.8);
  text-decoration-color: blue;
}

.example-code > code > br:first-child {
  display: none;
  /* hide the first <br> which is spurious */
}

.example-code-comment {
  color: #4f4f4f;
}

.example-code .spaces {
  white-space: pre-wrap;
}

.codepreamble {
  color: #4f4f4f;
}

.angle {
  display: inline;
  font-size: 140%;
  line-height: 0.5;
  vertical-align: -2px;
}

/* Taken out 2022-05-28 after list behavior changed */
/* .manualentry {
  margin-left: 40px;
} */

.manualentry > ul {
  margin: 0;
}

ul {
  padding-left: 10px;
}

.entryheadline {
  margin-left: -20px;
}
section.textbody {
  margin: 0ex 0.5em 0ex 0.5em;
}

@media screen and (min-width: 850px) {
  ul {
    padding-left: 20px;
  }

  section.textbody {
    margin: 0ex 1em 0ex 1em;
  }

  .entryheadline {
    margin-left: -20px;
  }
}

.entryheadline p > a {
  position: absolute;
  /* ignore in flex layout */
}

table {
  margin: 1ex auto;
}

nav.sidetoc .sidetoccontents p {
  margin: 0;
/*  font-size: 110%;*/
}

nav.sidetoc .sidetoccontents > p.current-part {
  background-color: var(--accent-light);
}

nav.sidetoc .sidetoccontents > p.current {
  background-color: var(--accent-medium2);
  color: white;
}

nav.sidetoc .sidetoccontents a {
  display: block;
  padding: 0.4em 0.2em;
/*  text-indent: -0.5em;*/
  font-weight: bold;
  font-size: 0.85em;
}

.sidetoccontents p:hover,
nav.sidetoc .sidetoccontents > p.current-part:hover {
  background-color: var(--accent-medium2);
  color: white;
}

nav.sidetoc .sidetoccontents a.tocpart,
nav.sidetoc .sidetoccontents a.linkintro,
nav.sidetoc .sidetoccontents a.tocsubsection {
  margin-left: 1em;
}

nav.sidetoc .sidetoccontents a.tocsection,
nav.sidetoc .sidetoccontents a.tocsubsubsection {
  font-weight: normal;
  margin-left: 1em;
  padding-left: 1em;
/*  border-left: 1px solid rgb(75, 78, 114);*/
}

.hl-def {
  margin-right: 2em;
  /* space to default */
}

.hl-default {
  margin-left: auto;
  /* push to the right */
  color: rgb(49, 50, 58);
}

.entryheadline p {
  display: flex;
  justify-content: space-between;
  position: relative;
}

.entryheadline p > a.anchor-link,
.entryheadline p > a.anchor-html-link
{
  opacity: 0.4;
  padding-left: 3px;
  position: static;
  /* do not ignore in flex layout */
  margin-left: 0.5em !important;
}

.entryheadline p > a.anchor-html-link > svg {
  width: 16px;
  height: 16px;
  margin-top: 2px;
  margin-bottom: -2px;
}

.entryheadline p:hover > a.anchor-link,
.entryheadline p:hover > a.anchor-html-link {
  opacity: 1;
}

.entryheadline p > a.anchor-html-link:hover {
  opacity: 1;
  transform: scale(1.15);
}

.entryheadline p > a.anchor-link:hover {
  background-color: rgb(201, 204, 243);
  text-decoration: none;
}

/* Home page */

.manual-title-block {
  text-align: center;
  border: 1px solid black;
  margin: 0 auto;
  margin-bottom: 1em;
  padding: 0.2em;
  padding-top: 1em;
}

.manual-title {
  font-size: 2.5em;
}

.manual-version {
  font-size: 1.5em;
}

.manual-html-title {
  font-size: 1.2em;
  font-style: italic;
  margin: 1em 0 0.3em 0;
}

.manual-authorship-explanation,
.manual-html-explanation {
  margin: 0 auto;
  margin-bottom: 0.2em;
  max-width: 60em;
  font-size: 1em;
  text-align: center;
}

.manual-html-explanation {
  margin-bottom: 0.7em;
}

.index-page #local-toc-container {
  display: none;
}

.quicklinks {
  margin-bottom: 0.5em;
  line-height: 1.8;
}
.quicklinks strong {
  font-size: 140%;
  line-height: 1;
  display: block;
  margin-bottom: 0.3em;
}
.quicklinks a {
  font-size: 100%;
  margin-right: 0.2em;
}
.quicklinks a:hover {
  background-color: hsl(240, 100%, 94%);
}

.home-toc-section {
  margin-bottom: 1em;
}
.home-toc-section strong {
  font-size: 140%;
}
.home-toc-container {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5em;
  margin-top: 0.5em;
}
.home-toc-card a {
  display: block;
  width: 275px;
  border: 1px solid #1a458f;
  background-color: rgb(242, 242, 242);
  text-align: center;
  padding-bottom: 0.2em;
}
.home-toc-card a:hover {
  text-decoration: none;
  background-color: rgb(201, 204, 243);
}
.home-toc-card img {
  background-color: white;
  width: 100%;
  height: auto;
  box-shadow: none;
  border: 0;
  padding: 0;
  margin: 0;
}
.home-toc-card a:hover img {
  background-color: rgb(242, 242, 242);
}

@media (max-width: 750px) {
  .home-toc-card a {
    width: 100%;
  }
}

.titlepagepic {
  margin: 0 auto;
  margin-top: 1em;
  max-width: 842px;
  object-fit: scale-down;
}

.titlepagepic img {
  height: auto;
}

.dedication {
  margin: 0 auto;
  padding: 1em 0;
  max-width: 840px;
}

.dedicationsignature {
  text-align: right;
}

/* *************************** */
/* "Remember picture" examples */
/* *************************** */

div.section-absolute-positioning {
  position: relative;
  padding-bottom: 5em;
}

div.example-absolute-positioning-bottom-left img {
  position: absolute;
  z-index: 100;
  bottom: 1em;
  left: 0.1em;
}

div.example-absolute-positioning-center img {
  position: absolute;
  z-index: 100;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
}


body {
    background-color: var(--bg-color);
    color: var(--text-color);
    line-height: 1.25;
}

header {
    background-color: var(--white);
    box-shadow: 0 5px 10px rgba(0,0,0,0.10);
/*    position: fixed;
/*    position: sticky;*/
/*    width: 100%;
    top: 0;
    z-index: 1000;
*/
}



figure div.center {
  text-align: left;
}
figure div.minipage p {
  width: fit-content;
}

.textbody p {
}

div.center table {
  max-width: 8in;
/*  width: 8in;*/
  padding-left: 20px;
  margin:0pt;
}

.textbody table p {
  width: auto;
}

figure {
  overflow: auto;
/*  overflow: hidden;*/
  margin: 2em 0pt;
  padding: 0pt;
}

img {
/*  max-width: 9in;*/
  max-width: 100%;
}

pre.verbatim {
  font-size: 80%;
  width: 8in;
  max-width: 100%;
}

span.verbatim, span.verb {
    font-family: var(--monospace-font);
    font-size: 80%;
}



section.textbody>pre.programlisting {
  font-size: 80%;
  border-top: none;
  border-bottom: none;
}

div.lstframe {
  background-color: var(--accent-light);
/*  font-size: 80%;*/
/*  width: 8in;*/
  margin: 1.5em 0em;
}

.lstframetitle {
  background-color: var(--accent-medium);
  color: white;
  font-size: 80%;
/*  display: flex;*/
  align-items: center;
/*  height: 22pt;*/
  padding: 0.2em;
}

.lstframetitle p {
  margin: 0em;
}


div.algoframe {
  background-color: rgb(252, 239, 231);
/*  max-width: 100%;*/
  margin: 1.5em 0em;
}
.algoframetitle {
  background-color: rgb(229, 127, 61);
  color: white;
/*  font-size: 10pt;*/
  display: flex;
  align-items: center;
  height: 10pt;
  padding: 0.4em
}
.algoframebody {
/*  background-color: #DF600C;*/
/*  font-size: 10pt;*/
/*  display: flex;*/
  /*
  align-items: center;
  height: 20pt;*/
  margin: 4pt;
  padding: 0em; 
}

.remarkframe {
  max-width: 100%;
  margin-top: 2em;
  margin-bottom: 2em;
  border: solid 1pt;
  padding: 0em;
}

.remarkframe p {
  width: auto;
  margin: 0.6em;
}

.aside {
  max-width: 100%;
  margin-top: 2em;
  margin-bottom: 2em;
  border: solid 2pt;
  padding: 0em;
}

.aside p {
  width: auto;
  margin: 1em;
}

.asidetitle {
  font-weight: bold;
  display: block;
  margin-bottom: 2ex;
}

div.flushright{
  text-align:right;
  padding-bottom: 8px;
}

div.theorembodydefinition, div.theorembodyremark, div.theorembodyproof,
div.theorembodyplainupright, nonumberplainuprightsc,
div.amsthmbodydefinition, div.amsthmbodyremark,
div.amsthmproof
{
    font-style: normal ;
    margin-top: 3ex ; margin-bottom: 3ex ;
}

span.amsthmnameplain,
span.amsthmnamedefinition,
span.amsthmnumberplain,
span.amsthmnumberdefinition
{
    font-style:normal ; font-weight: bold ;
}

.lettrine {
  padding-top: 4ex;
}

.lettrinetext {
  font-variant: small-caps;
}

.xref {
  font-size: 10pt;
  background-color: var(--bg-color);
/*  color: darkgray;*/
  padding: 4px;
}

.xref p {
  margin: 0pt;
}

.xref a {
  color: var(--accent-color);
}
.xref a:visited {
  color: var(--accent-color);
}