@font-face {
  font-family: 'Roboto Mono';
  font-style: normal;
  font-weight: 400;
  font-display: fallback;
  src: local('Roboto Mono'), local('RobotoMono-Regular'),
      url(https://fonts.gstatic.com/s/robotomono/v5/L0x5DF4xlVMF-BfR8bXMIjhLq3-cXbKD.woff2) format('woff2');
}

* {
  box-sizing: border-box;
}

html, body {
  height: 100%;
  scroll-behavior: smooth;
}

body {
  margin: 0;
  font: 18px "Open Sans", "Helvetica neue", Helvetica, Arial, sans-serif;
  line-height: 1.5;
  width: 100%;
}



a, a:link {
  color: #5079bf;
  text-decoration: none;
  font-weight: bold;
}

a:visited {
  color: #7a71e2;
}

a:hover {
  text-decoration: underline;
}

a[target="_blank"]:not(.button):after {
  content: url(/external_link.png);
  margin: -8px -2px 0 1px;
  vertical-align: super;
  display: inline-block;
}


h1, h2, h3, h4, h5 {
  font-weight: bold;
  margin-bottom: .7em;
  margin-top: .2em;
  color: black;
}

h1 { font-size: 200%; }
h2 { font-size: 140%; }
h3 { font-size: 120%; }
h4 { font-size: 110%; }
h5 { font-size: 100%; }



.page-header {
  text-align: left;
  background-color: #ed7670;
  position: relative;
  padding: 0;
  margin: 0;
  display: flex;
}

  .nomsu-title {
    margin-left: 25px;
    margin-right: 100px;
    margin-bottom: 5px;
    display: block;
    text-align:left;
  }

  a.navlink, a.mobile-expander, a.mobile-collapser {
    padding: 10px;
    padding-bottom: 0;
    padding-top: 65px;
    text-decoration: none;
    text-align: center;
    font-weight: bold;
  }

  a.navlink {
    color: white;
  }

  a.mobile-expander, a.mobile-collapser {
    color: #f7c7c5;
  }

  a.navlink:hover, a.mobile-expander:hover, a.mobile-collapser:hover {
    background-color: white;
    color: black;
    text-decoration: none;
  }

  a.mobile-expander, a.mobile-collapser {
    display: none;
  }



.content {
  padding: 0;
  position: relative;
  margin-left: auto;
  margin-right: auto;
  display: flex;
  justify-content: flex-end;
  max-width: 1350px;
}



.prev-next {
  display: flex;
  justify-content: space-between;
  font-style: italic;
  color: #999;
  text-align: left;
  margin-top: 0px;
  margin-left: -8px;
  padding: 0;
}

  .prev-next a {
    color: #a2b6d8;
  }



article {
  color: #606c71;
  flex: 0 1 750px;
  max-width: 750px;
  /*background-color: #fbfcf9;*/
  padding: 8px;
  padding-bottom: 30px;
  border-bottom: 1px solid #DDD;
  /*text-align: justify;
  text-justify: inter-word; */
}



article h1 {
  /*border-left: 12px solid #ed7670;*/
  padding-left: 10px;
  margin-left: -16px;
  margin-top: .7em;
}

article h2 {
  border-left: 8px solid #ed7670;
  padding-left: 10px;
  margin-left: -12px;
}



p {
  margin-top: 0;
  margin-bottom: 1.5em;
}



.byline {
  color: #aaa;
  margin-top: -1.0em;
  margin-bottom: 1.2em;
}

.byline a {
  color: #aaa;
}



.asidebar {
  flex: 0 0 300px;
}

  aside {
    margin-top: .7em;
    margin-bottom: .7em;
    color: #868279;
    background-color: #f9f7f7;
    padding: 8px;
    box-shadow: 2px 2px 7px rgba(0,0,0,.2);
    position: absolute;
    width: 300px;
    border-left: 6px solid #B8B8B0;
    right: 0;
    z-index: 999;
  }


pre.sourceCode, code.sourceCode {
  color: black;
  background-color: #eeece7;
}
pre.sourceCode {
  padding: 12px;
}
code.sourceCode:not(pre code) {
  padding-left: 4px;
  padding-right: 4px;
}

.sourceCode.lua {
  background-color: #f7f8ff;
}
pre.sourceCode.lua {
  border-left: 6px solid #959bc7;
}
code.sourceCode.lua:not(pre code){
  border-left: 2px solid #959bc7;
  border-bottom: 2px solid #959bc7;
}

.sourceCode.nomsu {
  background-color: #fcf4f2;
}
pre.sourceCode.nomsu {
  border-left: 6px solid #e69b97;
}
code.sourceCode.nomsu:not(pre code) {
  border-left: 2px solid #e69b97;
  border-bottom: 2px solid #e69b97;
}

.sourceCode.bash {
  background-color: #e4e8e3;
}
pre.sourceCode.bash {
  border-left: 6px solid #778a75;
}
code.sourceCode.bash:not(pre code) {
  border-left: 2px solid #778a75;
  border-bottom: 2px solid #778a75;
}

/* ===== Buttons ===== */
a.button {
  border:2px solid #CC796C;
  border-radius: 5px;
  font-size:15px;
  padding: 20px;
  text-decoration:none;
  display:inline-block;
  text-shadow: -1px -1px 0 rgba(0,0,0,0.3);
  font-weight:bold;
  color: #FFFFFF;
  background-image: linear-gradient(to bottom, #ed957b, #db544c);
  font-size: 150%;
  white-space: nowrap;
}

a.button:hover {
  border:2px solid #BD7064;
  background-image: linear-gradient(to bottom, #ed7670, #C94F47);
  text-decoration:none;
}



/* ===== Boxes with arrows on one side ===== */
.arrow-box, .end-box {
	position: relative;
  color: #303836;
	background: #d5cec8;
	border: 3px solid #b09790;
  border-radius: 5px;
  box-shadow: 2px 2px 4px rgba(71, 51, 31, 0.3);
  margin-bottom: 5px;
  width: auto;
  padding: 10px;
  display: inline-block;
  text-align: center;
}

.arrow-box:after, .arrow-box:before {
	top: 100%;
	left: 50%;
	border: solid transparent;
	content: " ";
	height: 0;
	width: 0;
	position: absolute;
	pointer-events: none;
}

.arrow-box:after {
	border-color: rgba(213, 206, 200, 0);
	border-top-color: #d5cec8;
	border-width: 15px;
	margin-left: -15px;
}

.arrow-box:before {
	border-color: rgba(176, 151, 144, 0);
	border-top-color: #b09790;
	border-width: 19px;
	margin-left: -19px;
}



/* ===== Syntax Tree Diagrams ===== */
.syntax-tree {
  border-radius: 3px;
  box-shadow: 4px 4px 4px rgba(71, 51, 31, 0.3);
  background: #fef8f8;
  display: inline-block;
  padding: 10px;
  margin: 10px;
  text-align: left;
}

p.tree,
ul.tree,
ul.tree ul {
  list-style: none;
  margin: 0;
  padding: 0;
}

ul.tree ul {
  margin-left: 1.0em;
}

ul.tree li {
  margin-left: 0.35em;
  border-left: thin solid #000;
}

ul.tree li:last-child {
  border-left: none;
}

ul.tree li:before {
  width: 0.9em;
  height: 0.6em;
  margin-right: 0.1em;
  vertical-align: top;
  border-bottom: thin solid #000;
  content: "";
  display: inline-block;
}

ul.tree li:last-child:before {
  border-left: thin solid #000;
}



.next-page {
  margin-bottom: .7em;
  margin-top: .2em;
  font-size: 140%;
  text-align: center;
}



.page-footer {
  width: 100%;
  padding: 10px;
  text-align: center;
  font-style: italic;
  color: #aaa;
}

.page-footer a {
  color: #aaa;
}



@media screen and (max-width: 1065px) {
  .content {
    display: block;
  }

  article {
    margin-left: auto;
    margin-right: auto;
  }

  .asidebar {
    display: none;
  }

  aside {
    position: relative;
    right: auto;
    left: auto;
    width: auto;
  }
}


@media screen and (max-width: 700px) {
  .page-header {
    flex-direction: column;
    text-align: center;
  }

  .nomsu-title {
    margin-left: auto;
    margin-right: auto;
    margin-bottom: 0;
  }

  a.navlink {
    padding: 4px;
    background-color: #d85b5b;
  }

  a.mobile-expander, a.mobile-collapser {
    padding: 4px;
    background-color: #d14d4d;
  }

  /*.page-header:not(:target) a.navlink {
    display: none;
  }*/

  .page-header .spacer {
    display: none;
  }

  a.mobile-expander {
    display: inline;
  }

  .page-header:target a.mobile-expander {
    display: none;
  }

  a.mobile-collapser {
    display: none;
  }

  .page-header:target a.mobile-collapser {
    display: inline;
  }

  .prev-next {
    flex-direction: column;
    text-align: center;
    margin-top: 0;
  }

  article h1 {
    margin-top: .2em;
  }
}