/*                                                             mode:-*-css-*- */
/* == Settings == */
/* mobile/handheld threshold */
/* mobile/handheld threshold */
/* p and pre indent, use "rem" for different fonts */
/* p + ul, ol + p, etc */
/* p + table, table + p */
/* table + table */
/* == Typography Resets == */
/* - Correct text resizing oddly in IE6/7 when body font-size is set using em
 *   units http://clagnut.com/blog/348/#c790
 * - Force vertical scrollbar in non-IE
 * - Remove Android and iOS tap highlight color to prevent entire container being highlighted
 *   http://www.yuiblog.com/blog/2010/10/01/quick-tip-customizing-the-mobile-safari-tap-highlight-color/
 * - Prevent iOS text size adjust on device orientation change, without disabling user zoom
 *   http;//www.456bereastreet.com/archive/201012/controlling_text_size_in_safari_for_ios_without_disabling_user_zoom/
 */
html {
  font-size: 100%;
  overflow-y: scroll;
  -ms-text-size-adjust: 100%;
  -webkit-text-size-adjust: 100%;
  -webkit-overflow-scrolling: touch;
  -webkit-tap-highlight-color: transparent; }

body {
  -webkit-text-size-adjust: 100%; }

/* Fonts & Text */
body {
  font: normal 1.0625rem/1.4 'Noto Sans', sans-serif;
  /*line-height: 1.231;*/ }

.outmost {
  text-align: center; }

/* Layout */
body {
  margin: 0; }

.outmost {
  clear: both; }

.outmost header,
.outmost .mainpage,
.outmost footer {
  padding: 15px 10px 19px; }

@media (max-height: 500px) {
  .outmost header {
    padding: 3px 5px 7px; } }

.outmost header nav {
  display: flex;
  flex-direction: row;
  justify-content: space-between;
  align-items: baseline;
  flex-wrap: wrap; }

.outmost header,
.outmost .mainpage,
.frontpage div section,
.outmost footer {
  margin: auto;
  max-width: 1100px; }

.mainpage {
  display: flex;
  flex-direction: row;
  justify-content: center; }

.mainpage aside {
  height: 100%;
  max-width: 350px;
  flex-shrink: 0;
  margin-right: 2em; }

.mainpage main {
  height: 100%;
  max-width: 1100px; }

.mainpage main > div > * {
  max-width: 1100px; }

.withtoc .mainpage main {
  height: 100%;
  max-width: 750px; }

.mainpage aside {
  display: none; }

.withtoc .mainpage aside {
  display: block; }

#searchform {
  max-width: 80%;
  margin: 0; }

#searchinput {
  width: 13em; }

/* TOC level lists */
.withtoc #TOC {
  /* Indents are picked to support 10.10.10 as TOC level */ }
  .withtoc #TOC {
    text-align: left; }
  .withtoc #TOC * {
    box-sizing: border-box; }
  .withtoc #TOC span.toc-section-number {
    text-decoration: inherit; }
  .withtoc #TOC ul {
    /* level1 */ }
    .withtoc #TOC ul {
      margin: 0;
      padding: 0 0 0 1em;
      text-indent: 0;
      list-style-type: none;
      font-weight: bold; }
    .withtoc #TOC ul li {
      margin: 0.5em 0; }
    .withtoc #TOC ul li .toc-section-number {
      display: inline-block;
      width: 2.4em; }
    .withtoc #TOC ul ul {
      /* level2 */ }
      .withtoc #TOC ul ul {
        margin-top: 0.5em;
        padding-left: 0;
        font-weight: normal; }
      .withtoc #TOC ul ul li {
        margin: 0.2em 0; }
      .withtoc #TOC ul ul ul {
        /* level3 */
        /* for sublevel alignment */ }
        .withtoc #TOC ul ul ul {
          margin-top: 0.2em;
          padding-left: 2.4em; }
        .withtoc #TOC ul ul ul li {
          margin: 0; }
        .withtoc #TOC ul ul ul li .toc-section-number {
          width: 4em; }
        .withtoc #TOC ul ul ul li .toc-section-number:before {
          content: " ";
          white-space: pre; }
        .withtoc #TOC ul ul ul ul {
          /* unused levels */ }
          .withtoc #TOC ul ul ul ul {
            margin-top: 0;
            padding-left: 1em; }
          .withtoc #TOC ul ul ul ul li .toc-section-number {
            display: inline;
            width: unset; }
          .withtoc #TOC ul ul ul ul li .toc-section-number:before {
            content: "";
            white-space: unset; }

/* Styling */
.outmost.header {
  background: #ddf;
  /* min-height: 60px; background: $heading-bg url(lp2bg.jpg) center center no-repeat; */ }

.mainpage aside ul {
  padding-left: 0;
  list-style: none; }

.mainpage aside ul ul {
  padding-left: 1.5em; }

nav div a {
  padding: 0 10px; }

nav > form input {
  margin-left: 10px; }

.mainpage main {
  text-align: center; }

.withtoc .mainpage main {
  text-align: left; }

/* Main Structure */
main {
  margin-bottom: 60px; }

main section FIXME {
  margin-left: 270px; }

a {
  color: #115599;
  text-decoration: none; }

a:hover {
  text-decoration: underline; }

a#sitelink:hover,
a#sitelink {
  color: inherit;
  text-decoration: none;
  font-size: 140%;
  letter-spacing: 1px; }

hr {
  border: 0;
  border-bottom: 1px solid #ddd;
  margin: 30px 0; }

/* Modern book paragraph styles */
/* Helper mixin to fix css-mode indentation */
/* Construct admonition blocks with outside label for each word in $word-list */
/* Section styling */
.page-Sandbox section {
  /* Keep headings close to paragraphs, h1-h3 are usually numbered */
  /* Keep paragraphs close to each other, but use sibling indents */
  /* Flush pre with paragraph indent */
  /* Flush lists with paragraph text, only set off by a slight margin */
  /* leave inner lists w/o margins */
  /* Use SVG bullets for unordered lists */
  /* Fallback to traditional bullets after some levels */
  /* Flush definitions with paragraph text */
  /* Terms a bold by default */
  /* Unless markedup italic */
  /* Flush tables with text */
  /* Use small margins around hr, except next to paragraphs */ }
  .page-Sandbox section h1 {
    font-size: 200%;
    font-weight: bold;
    margin: 2.0em 0 1rem;
    padding: 0;
    text-decoration: none; }
  .page-Sandbox section h2 {
    font-size: 150%;
    font-weight: bold;
    margin: 1.7em 0 1rem;
    padding: 0;
    text-decoration: none; }
  .page-Sandbox section h3 {
    font-size: 110%;
    font-weight: bold;
    margin: 1.6em 0 1.0rem;
    padding: 0;
    text-decoration: none; }
  .page-Sandbox section h4 {
    font-size: 100%;
    font-weight: bold;
    margin: 1.2em 0 0.2rem;
    padding: 0;
    text-decoration: underline; }
  .page-Sandbox section h5 {
    font-size: 100%;
    font-weight: bold;
    margin: 1em 0 0.1rem;
    padding: 0;
    text-decoration: none; }
  .page-Sandbox section h6 {
    font-size: 100%;
    font-weight: normal;
    margin: 1em 0 0;
    padding: 0;
    text-decoration: none;
    font-style: italic; }
  .page-Sandbox section p {
    margin: 0;
    padding: 0;
    text-indent: 0;
    text-align: justify; }
  .page-Sandbox section p + p {
    text-indent: 1.65rem; }
  .page-Sandbox section pre, .page-Sandbox section code {
    font-family: monospace;
    font-size: 93%; }
  .page-Sandbox section pre {
    overflow: auto;
    padding: 0 0 0 1.65rem;
    margin: 0.9em 0 0.9em 0; }
  .page-Sandbox section code {
    display: inline-block;
    margin: 0;
    padding: 0;
    white-space: pre; }
  .page-Sandbox section pre code {
    border: 0;
    /* border: 1px solid #ddd; */ }
  .page-Sandbox section ol, .page-Sandbox section ul {
    margin: 0.9em 0;
    padding: 0;
    text-align: justify;
    text-indent: 0; }
  .page-Sandbox section li ol, .page-Sandbox section li ul {
    margin-top: 0;
    margin-bottom: 0; }
  .page-Sandbox section ol {
    list-style-position: outside;
    padding-left: 1.13437rem; }
  .page-Sandbox section ol li {
    background: none;
    text-indent: 0em;
    padding-left: 0.51562rem; }
  .page-Sandbox section ul {
    list-style: none;
    list-style-position: inside; }
  .page-Sandbox section ul li {
    padding-left: 1.65rem; }
  .page-Sandbox section ul li {
    background: url(glyph-square-grey.svg) no-repeat 0 0; }
  .page-Sandbox section ul ul li {
    background: url(glyph-disc-grey.svg) no-repeat 0 0; }
  .page-Sandbox section ul ul ul li {
    background: url(glyph-triangle-grey.svg) no-repeat 0 0; }
  .page-Sandbox section ul ul ul ul li {
    background: url(glyph-star-grey.svg) no-repeat 0 0; }
  .page-Sandbox section ul ul ul ul ul {
    list-style-position: outside;
    padding-left: 1em; }
  .page-Sandbox section ul ul ul ul ul li {
    list-style-type: initial;
    background: none;
    padding-left: 0; }
  .page-Sandbox section dl {
    margin: 0.9em 0;
    padding: 0; }
  .page-Sandbox section dl dt {
    margin: 0;
    padding: 0;
    font-weight: bold; }
  .page-Sandbox section dl dt > em {
    font-weight: normal; }
  .page-Sandbox section dl dd {
    margin: 0;
    padding: 0 0 0 1.65rem; }
  .page-Sandbox section table {
    margin: 1.4em 0;
    padding: 0;
    text-align: left;
    text-indent: 0;
    border-collapse: collapse;
    border: 1px solid black;
    width: 100%; }
  .page-Sandbox section table + table {
    margin-top: 1.6em; }
  .page-Sandbox section thead tr {
    background: #d2d2d2; }
  .page-Sandbox section table {
    border: 1px solid black; }
  .page-Sandbox section thead th, .page-Sandbox section tbody td {
    border: 1px solid black; }
  .page-Sandbox section th, .page-Sandbox section td {
    padding: 1px .3em; }
  .page-Sandbox section tr {
    padding: 0;
    margin: 0; }
  .page-Sandbox section table caption {
    margin: 0;
    padding: 0 1.65rem;
    caption-side: bottom;
    text-align: justify;
    font-size: 90%;
    text-align-last: center;
    /* font-style: italic; */ }
  .page-Sandbox section hr {
    margin: .5em 0 .5em 0; }
  .page-Sandbox section p + hr, .page-Sandbox section hr + p {
    margin-top: 1.2em; }
  .page-Sandbox section .Note {
    border-top: 1px solid #ddd;
    border-bottom: 1px solid #ddd;
    position: relative;
    margin: 1em 0;
    padding-top: .3em;
    padding-bottom: .3em; }
    .page-Sandbox section .Note:before {
      content: "Note:";
      font-weight: bold;
      position: absolute;
      right: 100%;
      padding-right: 1em; }
    .page-Sandbox section .Note ul, .page-Sandbox section .Note ol {
      margin: 0; }
  .page-Sandbox section .Tip {
    border-top: 1px solid #ddd;
    border-bottom: 1px solid #ddd;
    position: relative;
    margin: 1em 0;
    padding-top: .3em;
    padding-bottom: .3em; }
    .page-Sandbox section .Tip:before {
      content: "Tip:";
      font-weight: bold;
      position: absolute;
      right: 100%;
      padding-right: 1em; }
    .page-Sandbox section .Tip ul, .page-Sandbox section .Tip ol {
      margin: 0; }
  .page-Sandbox section .Info {
    border-top: 1px solid #ddd;
    border-bottom: 1px solid #ddd;
    position: relative;
    margin: 1em 0;
    padding-top: .3em;
    padding-bottom: .3em; }
    .page-Sandbox section .Info:before {
      content: "Info:";
      font-weight: bold;
      position: absolute;
      right: 100%;
      padding-right: 1em; }
    .page-Sandbox section .Info ul, .page-Sandbox section .Info ol {
      margin: 0; }
  .page-Sandbox section pre {
    word-wrap: break-word; }
  .page-Sandbox section p {
    word-wrap: break-word; }

/* Temporarily disable the sidebar */
/* Headings */
h1 small {
  font-size: 100%; }

h2 a, h3 a, h4 a, h5 a,
h2 a:hover, h3 a:hover, h4 a:hover, h5 a:hover,
h2 a:active, h3 a:active, h4 a:active, h5 a:active,
h2 a:visited, h3 a:visited, h4 a:visited,
h5 a:visited {
  color: #000;
  text-decoration: none; }

h2::before, h3::before, h4::before,
h5::before {
  content: "#";
  position: absolute;
  left: -20px;
  visibility: hidden; }

h2:hover::before, h3:hover::before, h4:hover::before,
h5:hover::before {
  visibility: visible; }

#signature + p code {
  padding: 3px 10px; }

.hamburger {
  display: none; }

@keyframes grow {
  from {
    transform: scaleX(0); }
  to {
    transform: scaleX(100%); } }
@media (max-width: 767px) {
  .withtoc .hamburger {
    display: block;
    font-size: 175%;
    padding: 0 10px;
    z-index: 2; }

  .hamburger:hover {
    text-decoration: none; }

  .mainpage main {
    margin: 0; }

  .withtoc .mainpage aside {
    display: none;
    background: #e0e0e0;
    border: 1px solid #ccc;
    box-sizing: border-box;
    overflow-x: auto;
    overflow-y: visible;
    margin: 0;
    padding: 20px 150px 20px 20px;
    position: absolute;
    max-width: none;
    top: 0;
    xleft: 0;
    right: 0; }

  .withtoc.navigating .mainpage aside {
    display: block; }

  .navigating {
    overflow-y: visible; } }
@media print {
  .mainpage main {
    margin: 0; }

  .mainpage aside,
  #searchinput {
    display: none; } }
/* with_prism */
main > section {
  padding: 1em 0 1em;
  max-width: 66%;
  margin: auto; }

section.footnotes {
  text-align: left; }

section.footnotes p {
  max-width: 100%; }

/* == Front Page == */
.frontpage {
  /* vertical spacing between differently colored section regions */
  /* vertical spacing between info blocks */
  /* use spacious sections, except for small screens */
  /* General text section styling */
  /* #info-blocks section styling for info block layouts */
  /* "NEWS" section, wider not using blocks */ }
  .frontpage > .sectionwrap {
    padding: 10px 0 66px; }
    @media (max-height: 500px) {
      .frontpage > .sectionwrap {
        padding: 5px 0 33px; } }
  .frontpage #wrapper-frontemblem {
    padding-top: 66px; }
  .frontpage section {
    text-align: justify;
    word-wrap: break-word;
    /* Constrain elements to surrounding sections */
    /* Flush lists with paragraphs */
    /* Headings for info blocks */
    /* Subheadings need lesser spacings */ }
    .frontpage section figure {
      margin: 0; }
    .frontpage section figure img {
      width: 100%;
      border: 3px #777 solid; }
    .frontpage section figure figcaption {
      text-align: center;
      font-size: 92%;
      color: #555;
      font-style: italic; }
    .frontpage section figure a:hover {
      text-decoration: none; }
    .frontpage section p, .frontpage section ol, .frontpage section ul {
      max-width: 100%;
      padding: 0.5em 0;
      margin: 0; }
    .frontpage section table {
      /* Avoid overflow by unbreakable cells on small screens */ }
      @media (max-width: 500px) {
        .frontpage section table {
          width: 100%;
          table-layout: fixed; } }
    .frontpage section ul {
      list-style-position: outside;
      padding-left: 1em;
      text-indent: 0; }
    .frontpage section ul li {
      list-style-type: initial;
      background: none;
      padding-left: 0; }
    .frontpage section h1, .frontpage section h2, .frontpage section h3, .frontpage section h4,
    .frontpage section h5, .frontpage section h6 {
      margin: 56px 0 0;
      padding: 0 0 0.2em;
      text-decoration: none;
      text-align: center; }
    .frontpage section > section h1, .frontpage section > section h2, .frontpage section > section h3, .frontpage section > section h4,
    .frontpage section > section h5, .frontpage section > section h6 {
      margin-top: 28px; }
  .frontpage section#info-blocks {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    justify-content: space-around;
    /* "info-blocks" */ }
    .frontpage section#info-blocks > h1 {
      display: none; }
    .frontpage section#info-blocks > section {
      padding: 0;
      /* horizontally fit blocks (subsections) */
      margin: 0 12px 0;
      max-width: 30em; }
  .frontpage section#news p, .frontpage section#news ol, .frontpage section#news ul {
    max-width: 70%;
    margin-left: auto;
    margin-right: auto; }
    @media (max-width: 500px) {
      .frontpage section#news p, .frontpage section#news ol, .frontpage section#news ul {
        max-width: 95%; } }
  .frontpage #wrapper-news.sectionwrap {
    background: #f8eeee; }

/* Frontpage top emblem */
#wrapper-frontemblem {
  /* Width needed for horizontal layout */
  background: #f8eeee; }
  #wrapper-frontemblem #frontemblem {
    display: flex;
    flex-flow: row wrap;
    align-items: center;
    font: normal 75px/1.4 'Noto Sans', sans-serif;
    /* Shift mascot down into text spans + bigshot1 */ }
    @media (max-width: 759px) {
      #wrapper-frontemblem #frontemblem {
        font-size: 26px;
        /* Fallback for browsers without "vw" */
        font-size: 13vw; } }
    #wrapper-frontemblem #frontemblem img.front-mascot {
      margin-right: auto;
      padding: 0 1px;
      max-width: 300px; }
    #wrapper-frontemblem #frontemblem h1 {
      display: inline;
      margin: 0;
      padding: 0;
      text-decoration: none;
      font: inherit;
      font-weight: bold;
      margin-left: 1.2em;
      margin-right: auto;
      line-height: 1.2em;
      color: #995200; }
    #wrapper-frontemblem #frontemblem b {
      color: #bb9911; }
    #wrapper-frontemblem #frontemblem img.front-bigshot1 {
      width: 100%;
      /* Stretch onto its own flex row */
      margin: 0;
      padding: 0 3px; }
    @media (min-width: 760px) {
      #wrapper-frontemblem #frontemblem {
        /* shift logo down, causes overlap */
        /* stay clear of #biglogo when wrapping */ }
        #wrapper-frontemblem #frontemblem img.front-mascot {
          margin-bottom: -1.5em; }
        #wrapper-frontemblem #frontemblem h1 {
          margin-top: 1em; } }

/*# sourceMappingURL=astyle.css.map */