@charset "UTF-8";
@import url("https://fonts.googleapis.com/css?family=Noto+Sans");
/* == Common Selectors == */
/* == Headings Sizes == */
/* == Layout Helpers == */
/* == Force Line Break == */
/* == Effects == */
/* use midtone to work on black and white */
ul, ol, dl, dt { margin: 0 0 0 0; }

dl > dt { margin: 0 0 0 0; font-weight: bolder; }
dl > dt:first-of-type { margin-top: 0; }

dl > dd { margin: 0 0 0 1.35em; }
dl > dd:last-of-type { margin-bottom: 0; }
dl > dd p:first-of-type { margin-top: 0; }
dl > dd p:last-of-type { margin-bottom: 0; }

ul { padding-left: 1.35em; }

ol { padding-left: 1.1em; }
ol > li { padding-left: 0.25em; }

/* see also: https://www.w3.org/Style/Examples/007/color-bullets.en.html */
li { margin-top: 0; margin-bottom: 0; }
li > p:first-of-type { margin-top: 0; }
li > p:last-of-type { margin-bottom: 0; }

ul ul, ul ol, ul dl, ol ul, ol ol, ol dl, dl ul, dl ol, dl dl { margin-left: 1.35em; }

ul { list-style-type: none; }

ul ul ul ul ul ul ul > li:before, ul ul ul ul ul > li:before, ul ul ul > li:before, ul > li:before { content: "•"; width: 0.74483em; font-size: 145%; line-height: 1.03448; margin: 0 0 0 -0.74483em; }
ul ul ul ul ul ul ul ul > li:before, ul ul ul ul ul ul > li:before, ul ul ul ul > li:before, ul ul > li:before { content: "◦"; width: 1.08em; font-size: 100%; line-height: 1.5; margin: 0 0 0 -1.08em; }

ul > li:before { display: inline-block; padding: 0; text-align: left; float: left; font-weight: bolder; color: #888; }

ul.none, ol.none, ul.no-bullet, ol.no-bullet, ul.unstyled, ol.unstyled, ul.checklist, ol.unnumbered, #toc ul { list-style-position: inside; list-style-type: unset; }
ul.none > li, ol.none > li, ul.no-bullet > li, ol.no-bullet > li, ul.unstyled > li, ol.unstyled > li, ul.checklist > li, ol.unnumbered > li, #toc ul > li { padding-left: 0; }
ul.none > li:before, ol.none > li:before, ul.no-bullet > li:before, ol.no-bullet > li:before, ul.unstyled > li:before, ol.unstyled > li:before, ul.checklist > li:before, ol.unnumbered > li:before, #toc ul > li:before { display: none; }

.outmost { text-align: center; }

p { margin: 0 0 1rem; }

/* News titles */
#NEWS .sect1 h3 { font-size: 160%; padding: 3rem 0 .5rem; margin-top: 0; margin-bottom: 0; }
#NEWS .sect1 h3 .small { color: #888; padding-left: 5em; }

div.ulist + div.ulist div.title XXX { border-top: 1px solid grey; margin-top: 4rem; }

/* Nested Lists */
ul ul { margin-left: 0; }

/* == 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, #footer { padding: 15px 10px 19px; text-align: center; }

.outmost header { margin-bottom: 1em; }
@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; }

header nav { font-size: 1.0625em; }

.outmost .mainpage, .frontpage div section, .maincontent section.wrap--DIV, .outmost header { margin-left: auto; margin-right: auto; max-width: 1100px; }

#footer { margin: 3rem auto 0; max-width: 1100px; }

#header { margin: auto; max-width: 1100px; }
#header > * { margin: auto; max-width: 70%; }
#header h1 { margin-top: 2rem; }

.maincontent section > .sect1 { margin: auto; max-width: 1100px; padding: 0 7em; }
.maincontent section h1 { margin: 1em auto; max-width: 1100px; font-size: 250%; font-weight: bold; text-align: left; }

.siteintro header { margin-bottom: 0; }

.siteintro .maincontent section > .sect1 { padding: 0; }
.siteintro .maincontent h2#the-beast-project { display: none; }
.siteintro .maincontent .wrap--the-beast-project .sect1 .sectionbody { display: flex; justify-content: space-around; flex-direction: row; flex-wrap: wrap; }
.siteintro .maincontent .sect2 { max-width: 30em; width: 30em; }
.siteintro .maincontent .sect2 h2 { font-size: 200%; font-weight: bold; text-align: center; }
.siteintro .maincontent .sect2 h3 { font-size: 150%; font-weight: bold; text-align: center; }
.siteintro .maincontent .sect2 h4 { font-size: 110%; font-weight: bold; text-align: center; }
.siteintro .maincontent .sect2 h5 { font-size: 100%; font-weight: bold; }
.siteintro .maincontent .sect2 h6 { font-size: 100%; font-weight: bold; }
.siteintro .maincontent .sect2 .title { font-size: 100%; font-weight: normal; margin: 1em 0 0; padding: 0; text-decoration: none; font-style: italic; }
.siteintro .maincontent .wrap--news { background: #f8eeee; margin: 4em 0; padding: 4em 0; }
.siteintro .maincontent .wrap--news h2 { margin-top: 0; }
.siteintro .maincontent .wrap--news .sect2 { width: 100%; max-width: 70%; margin: 0 auto; }
@media (max-width: 500px) { .siteintro .maincontent .wrap--news .sect2 { max-width: 95%; } }

#toc { margin: 1rem auto; }
#toc #toctitle { display: none; }
#toc ul { margin-left: 0; padding: 0; list-style-type: none; }

.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; }

.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; }

/* 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%; }

.frontpage-figure-section figure { margin: 0; }
.frontpage-figure-section figure img { width: 100%; border: 3px #777 solid; }
.frontpage-figure-section figure figcaption { text-align: center; font-size: 92%; color: #555; font-style: italic; }
.frontpage-figure-section figure a:hover { text-decoration: none; }

.page-index { /* 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 */ }
.page-index .sectionwrap { padding: 10px 0 66px; }
@media (max-height: 500px) { .page-index .sectionwrap { padding: 5px 0 33px; } }
.page-index #wrapper-frontemblem { padding-top: 66px; }
.page-index .maincontent 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 */ }
.page-index .maincontent section p, .page-index .maincontent section ol, .page-index .maincontent section ul { max-width: 100%; padding-top: 0.5em; padding-bottom: 0.5em; margin: 0; }
.page-index .maincontent section table { /* Avoid overflow by unbreakable cells on small screens */ }
@media (max-width: 500px) { .page-index .maincontent section table { width: 100%; table-layout: fixed; } }
.page-index .maincontent section ul { list-style-position: outside; -x-padding-left: 1em; text-indent: 0; }
.page-index .maincontent section li p, .page-index .maincontent section td p { padding: 0; }
.page-index .maincontent section h1, .page-index .maincontent section h2, .page-index .maincontent section h3, .page-index .maincontent section h4, .page-index .maincontent section h5, .page-index .maincontent section h6 { margin: 56px 0 0; padding: 0 0 0.2em; text-decoration: none; text-align: center; }
.page-index .maincontent section > section h1, .page-index .maincontent section > section h2, .page-index .maincontent section > section h3, .page-index .maincontent section > section h4, .page-index .maincontent section > section h5, .page-index .maincontent section > section h6 { margin-top: 28px; }
.page-index section#info-blocks { display: flex; flex-direction: row; flex-wrap: wrap; justify-content: space-around; /* "info-blocks" */ }
.page-index section#info-blocks > h1 { display: none; }
.page-index section#info-blocks > section { padding: 0; /* horizontally fit blocks (subsections) */ margin: 0 12px 0; max-width: 30em; }
.page-index .maincontent h1 { width: 100%; }
.page-index .maincontent h1#the-beast-project { display: none; }

/* 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; } }

body.page-release-notes .maincontent { max-width: 50em; margin: auto; }
body.page-release-notes .maincontent section h2, body.page-release-notes .maincontent section h3 { position: relative; }
body.page-release-notes .maincontent section h2 span.small, body.page-release-notes .maincontent section h3 span.small { font-size: 90%; position: absolute; right: 0; color: #42424d; }
body.page-release-notes .maincontent section h4 { font-style: italic; font-weight: normal; color: #42424d; margin-top: 1em; margin-bottom: 0; }
body.page-release-notes .maincontent section .paragraph.caution { color: #aa5500; }

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