/* roboto-regular - latin */
@font-face {
  font-family: "Roboto";
  font-style: normal;
  font-weight: 400;
  src: url("/assets/fonts/roboto-v20-latin-regular.eot"); /* IE9 Compat Modes */
  src: local("Roboto"), local("Roboto-Regular"), url("/assets/fonts/roboto-v20-latin-regular.eot?#iefix") format("embedded-opentype"), url("/assets/fonts/roboto-v20-latin-regular.woff2") format("woff2"), url("/assets/fonts/roboto-v20-latin-regular.woff") format("woff"), url("/assets/fonts/roboto-v20-latin-regular.ttf") format("truetype"), url("/assets/fonts/roboto-v20-latin-regular.svg#Roboto") format("svg"); /* Legacy iOS */
}
/* roboto-italic - latin */
@font-face {
  font-family: "Roboto";
  font-style: italic;
  font-weight: 400;
  src: url("../fonts/roboto-v20-latin-italic.eot"); /* IE9 Compat Modes */
  src: local("Roboto Italic"), local("Roboto-Italic"), url("../fonts/roboto-v20-latin-italic.eot?#iefix") format("embedded-opentype"), url("../fonts/roboto-v20-latin-italic.woff2") format("woff2"), url("../fonts/roboto-v20-latin-italic.woff") format("woff"), url("../fonts/roboto-v20-latin-italic.ttf") format("truetype"), url("../fonts/roboto-v20-latin-italic.svg#Roboto") format("svg"); /* Legacy iOS */
}
/* roboto-500 - latin */
@font-face {
  font-family: "Roboto";
  font-style: normal;
  font-weight: 500;
  src: url("../fonts/roboto-v20-latin-500.eot"); /* IE9 Compat Modes */
  src: local("Roboto Medium"), local("Roboto-Medium"), url("../fonts/roboto-v20-latin-500.eot?#iefix") format("embedded-opentype"), url("../fonts/roboto-v20-latin-500.woff2") format("woff2"), url("../fonts/roboto-v20-latin-500.woff") format("woff"), url("../fonts/roboto-v20-latin-500.ttf") format("truetype"), url("../fonts/roboto-v20-latin-500.svg#Roboto") format("svg"); /* Legacy iOS */
}
/* roboto-500italic - latin */
@font-face {
  font-family: "Roboto";
  font-style: italic;
  font-weight: 500;
  src: url("../fonts/roboto-v20-latin-500italic.eot"); /* IE9 Compat Modes */
  src: local("Roboto Medium Italic"), local("Roboto-MediumItalic"), url("../fonts/roboto-v20-latin-500italic.eot?#iefix") format("embedded-opentype"), url("../fonts/roboto-v20-latin-500italic.woff2") format("woff2"), url("../fonts/roboto-v20-latin-500italic.woff") format("woff"), url("../fonts/roboto-v20-latin-500italic.ttf") format("truetype"), url("../fonts/roboto-v20-latin-500italic.svg#Roboto") format("svg"); /* Legacy iOS */
}
/* roboto-mono-regular - latin */
@font-face {
  font-family: "Roboto Mono";
  font-style: normal;
  font-weight: 400;
  src: url("/assets/fonts/roboto-mono-v7-latin-regular.eot"); /* IE9 Compat Modes */
  src: local("Roboto Mono"), local("RobotoMono-Regular"), url("/assets/fonts/roboto-mono-v7-latin-regular.eot?#iefix") format("embedded-opentype"), url("/assets/fonts/roboto-mono-v7-latin-regular.woff2") format("woff2"), url("/assets/fonts/roboto-mono-v7-latin-regular.woff") format("woff"), url("/assets/fonts/roboto-mono-v7-latin-regular.ttf") format("truetype"), url("/assets/fonts/roboto-mono-v7-latin-regular.svg#RobotoMono") format("svg"); /* Legacy iOS */
}
body {
  font-family: Roboto, sans-serif;
  font-size: 16;
  background-color: #FFFFFF;
}
body a {
  font-family: Roboto, sans-serif;
  font-size: 16;
  color: #000000;
  text-decoration-line: underline;
  text-decoration-color: #5588EE;
  text-decoration-style: solid;
}
body a:hover {
  text-decoration-style: double;
}
body dt {
  float: left;
  margin-right: 8px;
}
body dd {
  margin-bottom: 0.5em;
}
body dd::after {
  content: " ";
  display: block;
  clear: left;
}
body h1 {
  border-top: 1px solid #5588EE;
  border-left: 32px solid #5588EE;
  border-right: 256px solid #5588EE;
  padding-left: 8px;
}
body h2 {
  border-top: 1px solid #5588EE;
  border-left: 32px solid #5588EE;
  border-right: 256px solid #5588EE;
  padding-left: 8px;
}
body h3 {
  border-top: 1px solid #5588EE;
  border-left: 32px solid #5588EE;
  border-right: 256px solid #5588EE;
  padding-left: 8px;
}
body h4 {
  border-top: 1px solid #5588EE;
  border-left: 32px solid #5588EE;
  border-right: 256px solid #5588EE;
  padding-left: 8px;
}
body h5 {
  border-top: 1px solid #5588EE;
  border-left: 32px solid #5588EE;
  border-right: 256px solid #5588EE;
  padding-left: 8px;
}
body h6 {
  border-top: 1px solid #5588EE;
  border-left: 32px solid #5588EE;
  border-right: 256px solid #5588EE;
  padding-left: 8px;
}
body strong {
  font-weight: 500;
}
body th {
  padding-left: 10px;
  padding-right: 10px;
}
body td {
  padding-left: 10px;
  padding-right: 10px;
}
body thead {
  background-color: #AADDFF;
  border: 1px solid #5588EE;
}

div.highlighter-rouge {
  display: inline-block;
  font-family: Roboto Mono, monospace;
  font-size: 16;
  #background-image: linear-gradient(to right, #AADDFF, #F9F9FF);
  border-left: 1px solid #AADDFF;
  border-top: 8px solid #AADDFF;
  padding-left: 8px;
  margin-left: 48px;
}

code.highlighter-rouge {
  font-family: Roboto Mono, monospace;
  font-size: 0.88em;
  background-color: rgb(90%, 96%, 100%);
  padding: 0.08em 0.3em;
  border-radius: 3px;
  border: none;
}

code.language-repl {
  display: inline-block;
  font-family: Roboto Mono, monospace;
  font-size: 16;
  #background-image: linear-gradient(to right, #AADDFF, #F9F9FF);
  border-left: 1px solid #AADDFF;
  border-top: 8px solid #AADDFF;
  padding-left: 8px;
  margin-left: 48px;
}

span.repl-prompt {
  font-weight: bold;
}

span.repl-print {
  font-weight: bold;
}

span.repl-output {
  color: #5588EE;
}

nav {
  margin-top: 50px;
  margin-right: 0px;
  margin-bottom: 0px;
  margin-left: 0px;
}
nav ul {
  list-style-type: none;
  margin: 0;
  padding-top: 10px;
  padding-left: 0px;
  padding-right: 0px;
  padding-bottom: 0px;
  text-align: center;
}
nav li {
  display: inline-block;
  width: 200px;
  background-color: #AADDFF;
  font-family: Roboto Mono, monospace;
  font-size: 16;
  color: #000000;
  text-align: left;
}
nav li a {
  display: block;
  border-left: 20px solid #AADDFF;
  border-right: none;
  border-top: none;
  border-bottom: none;
  padding-top: 4px;
  padding-bottom: 4px;
  padding-left: 2px;
  padding-right: 2px;
}
nav a:link {
  text-decoration: none;
  color: inherit;
}
nav a:visited {
  text-decoration: none;
  color: inherit;
}
nav a:hover {
  text-decoration: none;
  color: inherit;
}
nav .dropbtn {
  background-color: #AADDFF;
  font-family: Roboto Mono, monospace;
  font-size: 16;
  color: #000000;
  border-left: 20px solid #AADDFF;
  border-right: none;
  border-top: none;
  border-bottom: none;
  cursor: pointer;
  width: 200px;
  padding-top: 4px;
  padding-bottom: 4px;
  padding-left: 2px;
  padding-right: 2px;
  margin: 0px;
  text-align: left;
}
nav .dropbtn a {
  padding: 0;
  border: none;
  text-align: left;
}
nav .dropbtn:hover {
  border-left: 20px solid #5588EE;
}
nav .dropdown {
  position: relative;
  display: inline-block;
  background-color: #AADDFF;
}
nav .dropdown-content {
  display: none;
  position: absolute;
  right: 0;
  background-color: #AADDFF;
  width: 200px;
  z-index: 1;
  text-align: left;
}
nav .dropdown-content a {
  color: black;
  text-decoration: none;
  display: block;
  font-size: 16;
  background-color: #AADDFF;
  border-left: 20px solid #AADDFF;
}
nav .dropdown-content a:hover {
  background-color: #AADDFF;
  border-left: 20px solid #5588EE;
}
nav .dropdown:hover .dropdown-content {
  display: block;
}
nav .dropdown:hover .dropbtn {
  background-color: #AADDFF;
}

.page-content {
  max-width: 640px;
  margin-left: auto;
  margin-right: auto;
  margin-top: 100px;
}

.implementation {
  margin-top: 2.5em;
  padding-top: 0.75em;
  border-top: 3px solid #AADDFF;
}
.implementation .implementation-label {
  margin: 0 0 1em 0;
  font-size: 0.8em;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: #666;
}

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