/* THIS FILE WAS AUTOMATICALLY GENERATED USING SASS. DO NOT EDIT. */

@charset "UTF-8";
@import url(basic.css);
@import url("https://fonts.googleapis.com/css?family=Lora:400,700,400italic,700italic|Inconsolata:400,700|Open+Sans:400,700,400italic,700italic|Raleway|Bitter:bold|Cantarell");
/* GENERIC -------------------------------------------------------------------------- */
.content, .index {
  font-size: 15px;
  padding-bottom: 30px;
  padding-left: 40px;
  line-height: 1.6;
  font-family: Lora, Georgia, serif;
  color: #424242;
  width: 57em;
  /* HEADINGS -------------------------------------------------------------------------------- */ }
  .content i.icon.glyphicon.glyphicon-new-window, .index i.icon.glyphicon.glyphicon-new-window {
    display: none; }
  .content *, .index * {
    box-sizing: content-box; }
  .content button, .content input:not(.gsc-search-button), .content .alert, .content .nav > li > a, .index button, .index input:not(.gsc-search-button), .index .alert, .index .nav > li > a {
    box-sizing: border-box; }
  .content .hint, .index .hint {
    background-color: red; }
  .content p, .index p {
    text-align: justify;
    margin: 12px 0px 18px 0px; }
  .content div.exercise:not(.chapter-feedback) div.radio label, .index div.exercise:not(.chapter-feedback) div.radio label {
    margin-bottom: 6px; }
  .content div.radio label span p, .index div.radio label span p {
    display: inline; }
  .content div.radio label input[type="checkbox"] + span p, .index div.radio label input[type="checkbox"] + span p {
    margin: 0px 0px 0px 7px; }
  .content div.codecomment p, .content div.guicomment p, .content table p, .index div.codecomment p, .index div.guicomment p, .index table p {
    margin: 0px; }
  .content p.last, .index p.last {
    margin-bottom: 0; }
  .content .section > p, .content .section > .annotated > p, .content #chapter-feedback, .content h3, .index .section > p, .index .section > .annotated > p, .index #chapter-feedback, .index h3 {
    margin-left: -10px; }
  .content section > p, .content .annotated > p, .content #chapter-feedback, .index section > p, .index .annotated > p, .index #chapter-feedback {
    width: 45em;
    margin-right: 70px; }
  .content section > p, .content section > .annotated > p, .content #chapter-feedback, .content h3, .index section > p, .index section > .annotated > p, .index #chapter-feedback, .index h3 {
    margin-left: -10px; }
  .content dl.glossary, .content pre.pseudocode, .content blockquote.epigraph, .content .admonition, .index dl.glossary, .index pre.pseudocode, .index blockquote.epigraph, .index .admonition {
    margin-left: -10px; }
  .content .align-center, .content .align-default, .index .align-center, .index .align-default {
    text-align: center;
    left: -10px;
    position: relative; }
  .content table.docutils, .content pre.repl, .index table.docutils, .index pre.repl {
    margin-left: 0px; }
  .content .highlight pre, .content pre.literal-block, .content .robospeak, .index .highlight pre, .index pre.literal-block, .index .robospeak {
    margin-top: 0px;
    margin-right: 0px;
    margin-bottom: 12px;
    margin-left: 0px;
    display: inline-block; }
  .content pre, .content div[class*="highlight-"], .index pre, .index div[class*="highlight-"] {
    clear: left; }
  .content .end-floating, .index .end-floating {
    clear: both; }
  .content div.student-quote.floating, .index div.student-quote.floating {
    clear: none;
    margin-right: 10px;
    margin-top: 5px;
    margin-bottom: 15px;
    float: left; }
  .content div.floating-code, .index div.floating-code {
    clear: none; }
    .content div.floating-code pre, .index div.floating-code pre {
      clear: none;
      margin-right: 10px;
      margin-top: 5px;
      margin-bottom: 15px;
      float: left; }
    .content div.floating-code:last-of-type pre, .index div.floating-code:last-of-type pre {
      float: none; }
  .content .container, .index .container {
    width: auto; }
  .content .container.hidden, .index .container.hidden {
    display: none; }
  .content .container.vspace, .index .container.vspace {
    display: block;
    width: 100%;
    height: 10px; }
  .content *:not(li) > a:link, .content ul:not(.exercise-nav) > li > a:link, .content ol > li > a, .index *:not(li) > a:link, .index ul:not(.exercise-nav) > li > a:link, .index ol > li > a {
    font-weight: normal;
    text-decoration: none;
    color: #2A5DB0; }
  .content a.hideinstruction, .index a.hideinstruction {
    display: none; }
  .content *:not(li) > a:visited, .content ul:not(.exercise-nav) > li > a:visited, .content ol > li > a:visited, .index *:not(li) > a:visited, .index ul:not(.exercise-nav) > li > a:visited, .index ol > li > a:visited {
    font-weight: normal;
    text-decoration: none;
    color: #0069D6; }
  .content *:not(li) > a:hover, .content ul:not(.exercise-nav) > li > a:hover, .content ol > li > a:hover, .index *:not(li) > a:hover, .index ul:not(.exercise-nav) > li > a:hover, .index ol > li > a:hover {
    font-weight: normal;
    text-decoration: underline;
    color: #0069D6; }
  .content *:not(li) > a:active, .content ul:not(.exercise-nav) > li > a:active, .content ol > li > a:active, .index *:not(li) > a:active, .index ul:not(.exercise-nav) > li > a:active, .index ol > li > a:active {
    font-weight: normal;
    text-decoration: underline;
    color: #0069D6; }
  .content a code, .index a code {
    color: #0069D6;
    font-weight: normal; }
  .content a.reference.internal em, .index a.reference.internal em {
    font-style: normal; }
  .content h1, .content h2, .content h3, .content h4, .index h1, .index h2, .index h3, .index h4 {
    font-family: Bitter, Open Sans, Verdana, Helvetica, Arial, sans-serif;
    line-height: 1.6;
    font-weight: bold; }
  .content h1, .index h1 {
    font-size: 1.6em;
    border-bottom: none;
    letter-spacing: 1px;
    margin-top: 20px;
    margin-left: -40px; }
  .content h2, .index h2 {
    letter-spacing: 1px;
    font-size: 1.2em;
    margin-top: 50px;
    margin-left: -40px;
    background-color: #a8e6f0;
    padding: 5px 0px 5px 14px;
    clear: both;
    width: 46em;
    border: none;
    -webkit-border-radius: 0px 0px 0px 0px;
    -khtml-border-radius: 0px 0px 0px 0px;
    -moz-border-radius: 0px 0px 0px 0px;
    border-radius: 0px 0px 0px 0px; }
    .content h2 code, .index h2 code {
      font-size: 1.21em; }
  .content h3, .index h3 {
    font-size: 1.1em;
    margin-top: 30px;
    margin-left: -10px; }
    .content h3 code, .index h3 code {
      font-size: 1.11em; }
  .content h4, .index h4 {
    font-size: 1em;
    color: #664051;
    margin-top: 30px;
    margin-left: -10px; }

.index {
  width: auto;
  padding: 0;
  margin-bottom: 12px; }

/* SPECIAL DIVS ---------------------------------------------------------------------------- */
.content div.admonition, .content aside.topic, .content nav.contents, .content blockquote.epigraph {
  border: none;
  display: inline-block;
  position: relative;
  min-height: 42px;
  -webkit-border-radius: 0px;
  -khtml-border-radius: 0px;
  -moz-border-radius: 0px;
  border-radius: 0px; }
.content div.admonition:not(.aside, .redhighlight), .content aside.topic, .content nav.contents, .content blockquote.epigraph {
  background: #f9f293; }
.content ul div.admonition:not(.aside) .admonition-title, .content ol div.admonition:not(.aside) .admonition-title, .content dl div.admonition:not(.aside) .admonition-title {
  width: 575px; }
.content aside.topic.contents, .content nav.contents {
  margin-left: 15px; }
.content div.admonition:not(.aside, .redhighlight) .admonition-title, .content div.admonition:not(.aside, .redhighlight) .topic-title, .content aside.topic .admonition-title, .content aside.topic .topic-title, .content nav.contents .admonition-title, .content nav.contents .topic-title {
  background: #efa36e;
  color: #444444; }
.content div.admonition:not(.aside) .admonition-title, .content div.admonition:not(.aside) .topic-title, .content aside.topic .admonition-title, .content aside.topic .topic-title, .content nav.contents .admonition-title, .content nav.contents .topic-title {
  letter-spacing: 0.05em;
  padding: 5px 5px 5px 22px;
  font-weight: bold; }
.content div.admonition:not(.aside) .admonition-title, .content aside.topic .admonition-title, .content nav.contents .admonition-title {
  width: 605px;
  margin: -12px 0px 0px -22px;
  font-size: 15px; }
  .content div.admonition:not(.aside) .admonition-title code, .content aside.topic .admonition-title code, .content nav.contents .admonition-title code {
    font-size: 16px; }
.content div.admonition:not(.aside) .topic-title, .content aside.topic .topic-title, .content nav.contents .topic-title {
  width: 527px;
  margin: -12px 0px 0px -20px;
  font-size: 16px; }
.content div.admonition:not(.aside).smallbox, .content aside.topic.smallbox, .content nav.contents.smallbox {
  width: 360px; }
  .content div.admonition:not(.aside).smallbox .instructiontext p, .content aside.topic.smallbox .instructiontext p, .content nav.contents.smallbox .instructiontext p {
    font-size: 13px;
    margin-top: -2px;
    margin-bottom: 14px; }
  .content div.admonition:not(.aside).smallbox .admonition-title, .content aside.topic.smallbox .admonition-title, .content nav.contents.smallbox .admonition-title {
    width: 415px; }
.content div.admonition {
  width: 550px;
  left: 1.5em;
  margin-top: 15px;
  margin-bottom: 20px;
  padding: 12px 60px 15px 22px; }
.content aside.topic, .content nav.contents {
  width: 530px;
  padding: 12px 4px 15px 20px;
  margin-left: 0px; }
  .content aside.topic ~ a.weeklyimg, .content nav.contents ~ a.weeklyimg {
    margin-left: -40px; }
  .content aside.topic p em:first-of-type, .content nav.contents p em:first-of-type {
    font-family: Open Sans, Verdana, Helvetica, Arial, sans-serif;
    margin-right: 5px; }
  .content aside.topic ul, .content nav.contents ul {
    max-width: 90%; }
  .content aside.topic p:not(.topic-title), .content nav.contents p:not(.topic-title) {
    max-width: 95%;
    text-align: left; }
  .content aside.topic abbr, .content nav.contents abbr {
    border-bottom: 1px dotted #0069D6;
    color: #0069D6;
    font-size: 70%;
    font-weight: bold;
    font-family: Open Sans, Verdana, Helvetica, Arial, sans-serif;
    border: 0px;
    vertical-align: text-top;
    margin-left: -3px;
    margin-right: 5px; }
  .content aside.topic a#workload-tip:hover span, .content nav.contents a#workload-tip:hover span {
    display: inline; }
.content aside.sidebar, .content div.admonition.aside {
  background-color: white;
  -webkit-border-radius: 0px;
  -khtml-border-radius: 0px;
  -moz-border-radius: 0px;
  border-radius: 0px;
  border-style: solid;
  border-color: #878780;
  border-width: 2px 2px 2px 30px; }
.content div.admonition.aside > p, .content div.from-faq > p, .content div.admonition .annotated > p {
  width: 100%; }
.content aside.sidebar {
  width: 300px;
  padding: 9px 11px 9px 11px;
  font-size: 0.9em;
  position: relative;
  right: -30px;
  margin: 10px 0px 20px 0px; }
.content div.admonition.aside {
  margin-left: -40px;
  max-width: 690px;
  width: 650px; }
  .content div.admonition.aside pre.repl, .content div.admonition.aside div.highlight pre {
    font-size: 12px; }
  .content div.admonition.aside div.smaller pre.repl, .content div.admonition.aside div.smaller div.highlight pre {
    font-size: 11px; }
  .content div.admonition.aside .asidetitle {
    margin-top: 15px;
    padding-bottom: 0px;
    font-size: 16px;
    font-weight: bold;
    code-font-size: 17px; }
  .content div.admonition.aside .admonition-title {
    font-weight: bold;
    font-family: Bitter, Open Sans, Verdana, Helvetica, Arial, sans-serif;
    line-height: 1.6;
    font-size: 1.1em; }
    .content div.admonition.aside .admonition-title code {
      font-size: 1.11em; }
  .content div.admonition.aside div.admonition:not(.aside) {
    font-size: 15px;
    width: 570px; }
    .content div.admonition.aside div.admonition:not(.aside) .admonition-title {
      width: 625px;
      font-size: 1em; }
    .content div.admonition.aside div.admonition:not(.aside).smallbox {
      width: 360px; }
      .content div.admonition.aside div.admonition:not(.aside).smallbox .instructiontext p {
        font-size: 13px;
        margin-top: -2px;
        margin-bottom: 14px; }
      .content div.admonition.aside div.admonition:not(.aside).smallbox .admonition-title {
        width: 415px; }
  .content div.admonition.aside div.container.console {
    padding-left: 20px; }
.content blockquote.epigraph {
  padding: 12px 30px 15px 22px;
  margin-top: 15px;
  margin-right: 28px;
  margin-bottom: 20px;
  max-width: 550px;
  left: 30px;
  display: inline-block;
  position: relative;
  font-style: italic; }
  .content blockquote.epigraph p, .content blockquote.epigraph div.line-block {
    margin: 0px;
    padding: 0px; }
  .content blockquote.epigraph p.attribution, .content blockquote.epigraph p em {
    font-style: normal;
    font-variant: small-caps; }
  .content blockquote.epigraph p.attribution em {
    font-style: italic; }
.content nav.contents.local > ul:first-of-type {
  margin-top: 10px; }
.content nav.contents.local ul {
  margin-left: -10px; }
  .content nav.contents.local ul li {
    list-style-type: none; }
  .content nav.contents.local ul ul {
    max-width: 480px; }
    .content nav.contents.local ul ul li {
      font-size: 12px;
      list-style-type: none; }
      .content nav.contents.local ul ul li p {
        text-align: left;
        margin-bottom: 5px; }
.content div.admonition.hiddeninstruction, .content aside.sidebar.hiddeninstruction {
  background: #ffffff;
  border: 2px solid #efa36e; }
  .content div.admonition.hiddeninstruction .instructiontext, .content aside.sidebar.hiddeninstruction .instructiontext {
    display: none; }
  .content div.admonition.hiddeninstruction .admonition-title, .content aside.sidebar.hiddeninstruction .admonition-title {
    background: #efa36e;
    color: #ffffff; }
    .content div.admonition.hiddeninstruction .admonition-title code, .content aside.sidebar.hiddeninstruction .admonition-title code {
      color: #ffffff; }
      .content div.admonition.hiddeninstruction .admonition-title code .span, .content aside.sidebar.hiddeninstruction .admonition-title code .span {
        color: #ffffff; }
.content div.feedbackinstruction {
  font-size: 15px;
  margin-top: 0px;
  margin-bottom: 3px;
  padding: 0px; }
  .content div.feedbackinstruction ul li {
    margin-top: 2px; }
  .content div.feedbackinstruction div.instructiontext {
    width: 85%;
    margin-left: 20px;
    font-size: 13px;
    padding: 0px; }
.content iframe.articulate-story {
  border: 3px solid red;
  background-color: #000000;
  margin-left: -40px; }
.content .boxlabel {
  display: none;
  font-family: Open Sans, Verdana, Helvetica, Arial, sans-serif;
  text-transform: uppercase;
  color: white;
  z-index: 10;
  font-size: 18px;
  font-weight: bold;
  max-height: 24px;
  line-height: 18px;
  letter-spacing: 0px;
  border: none;
  margin-left: -10px;
  margin-top: 10px;
  padding: 0px;
  display: none;
  text-overflow: clip;
  overflow: hidden;
  position: absolute;
  /* JS creates these and sets their size and position, and makes them visible */ }
  .content .boxlabel.rotated {
    transform: rotate(270deg);
    -ms-transform: rotate(270deg);
    -webkit-transform: rotate(270deg);
    transform-origin: left top 0;
    -ms-transform-origin: left top 0;
    -webkit-transform-origin: left top 0; }
.content div.docutils.container {
  padding: 0px; }
.content div.container.from-faq {
  margin-top: 15px;
  margin-bottom: 20px;
  margin-left: -40px;
  padding: 12px 60px 15px 22px;
  width: 100%;
  max-width: 690px;
  background-color: white;
  -webkit-border-radius: 0px;
  -khtml-border-radius: 0px;
  -moz-border-radius: 0px;
  border-radius: 0px;
  border-style: solid;
  border-color: #50C878;
  border-width: 2px 2px 2px 30px; }
.content div.container.student-quote {
  max-width: 70%;
  margin: 20px 40px 20px 10px;
  padding: 3px 15px 7px 10px;
  border-style: solid;
  border-width: 0px 0px 0px 22px;
  border-color: #ea8640;
  background-color: #fdf2ea; }
  .content div.container.student-quote p {
    margin-top: 0px;
    margin-bottom: 6px; }
  .content div.container.student-quote::before {
    color: white;
    content: "”";
    font-size: 42px;
    line-height: 0.1em;
    vertical-align: -0.4em;
    margin-left: -28px;
    margin-top: 20px;
    position: absolute; }
  .content div.container.student-quote::after {
    clear: none; }
.content p.narrow, .content p.narrowish, .content p.prettywide {
  padding-left: 30px; }
.content span.strongitalic {
  font-style: italic;
  font-weight: bold; }
.content blockquote.narrow, .content p.narrow, .content div.student-quote.narrow {
  max-width: 400px; }
.content div.student-quote.very-narrow, .content div.student-quote.extremely-narrow, .content div.student-quote.pretty-narrow {
  text-align: left; }
  .content div.student-quote.very-narrow p, .content div.student-quote.extremely-narrow p, .content div.student-quote.pretty-narrow p {
    text-align: left; }
.content div.student-quote.pretty-narrow {
  max-width: 250px; }
.content div.student-quote.very-narrow {
  max-width: 200px; }
.content div.student-quote.extremely-narrow {
  max-width: 150px; }
.content blockquote.narrowish, .content p.narrowish, .content div.narrowish .codecomment {
  max-width: 500px; }
.content div.admonition.aside .codecomment {
  max-width: 580px; }
.content div.narrow .codecomment, .content div.admonition.aside div.narrow .codecomment {
  max-width: 375px; }
.content div.admonition.aside div.narrowish .codecomment, .content div.admonition.hiddeninstruction .codecomment {
  max-width: 500px; }
.content blockquote.prettywide, .content p.prettywide {
  max-width: 600px; }
.content div.line-block {
  margin: 0px;
  padding: 0px; }
  .content div.line-block div.line {
    text-align: left; }
.content li div.admonition {
  width: 520px; }
.content div.redhighlight {
  background: #edbebe; }
  .content div.redhighlight .admonition-title {
    background: #ef6e6e;
    color: #ffffff; }
.content dl.glossary {
  width: 750px;
  position: relative;
  margin-left: -10px; }
  .content dl.glossary dt {
    font-family: "Times New Roman", Times, serif;
    font-size: 1.4em;
    padding: 2px 5px 2px 5px;
    display: block;
    margin-top: 16px;
    border-style: solid;
    border-width: 3px 0px 0px 0px;
    border-color: #888888;
    background: #F0F0F0; }
    .content dl.glossary dt code, .content dl.glossary dt dl.glossary dt tt {
      font-size: 0.9em; }
    .content dl.glossary dt span.eqv {
      display: inline-block;
      font-weight: normal;
      font-size: 1.1em;
      line-height: 1.4em;
      font-style: italic;
      position: relative; }
    .content dl.glossary dt:target {
      background-color: #fbe54e; }
  .content dl.glossary dd span.eqv {
    display: none; }

.gsc-input {
  line-height: 1; }

.feedback .exercise-summary {
  background: transparent;
  border: none;
  margin: 0; }
.feedback .exercise-title, .feedback .read-feedback {
  display: none; }

/* TABLES -------------------------------------------------------------------------------- */
table.docutils {
  max-width: 95%; }

.content table:not(.gsc-search-box):not(.gstl_50) {
  font-size: 0.9em;
  line-height: 1.6; }
  .content table:not(.gsc-search-box):not(.gstl_50) td {
    border-top: 1px solid #828282;
    border-color: #828282;
    vertical-align: top; }
  .content table:not(.gsc-search-box):not(.gstl_50) td, .content table:not(.gsc-search-box):not(.gstl_50) th {
    padding: 7px 30px 7px 7px; }
  .content table:not(.gsc-search-box):not(.gstl_50) tr th {
    border-bottom: 1px solid #828282; }
  .content table:not(.gsc-search-box):not(.gstl_50) th {
    background-color: #E8EFEF; }
  .content table:not(.gsc-search-box):not(.gstl_50) abbr[title] {
    border-bottom: 1px dotted red;
    margin-bottom: 5px;
    text-decoration: none; }
.content table.highlighttable td {
  border: none; }
.content table:not(.gsc-search-box):not(.gstl_50).ombit td {
  border: none; }
  .content table:not(.gsc-search-box):not(.gstl_50).ombit td figure {
    padding: 0px; }
  .content table:not(.gsc-search-box):not(.gstl_50).ombit td tbody tr td {
    padding: none;
    border: none; }
.content table.function-table tbody tr td, .content table.function-table tbody tr th {
  padding: 5px;
  margin: 5px; }
.content table.matrix:not(.gsc-search-box):not(.gstl_50) td, .content table.matrix:not(.gsc-search-box):not(.gstl_50) tr, .content table.matrix:not(.gsc-search-box):not(.gstl_50) th {
  border: 1px solid #828282;
  text-align: center;
  padding: 3px; }

div.admonition.aside table.docutils th {
  background-color: #DDDDDD;
  color: #666666; }

div.admonition table p {
  text-align: left; }

table.align-right td {
  text-align: right; }

table.hexadecimal.align-right {
  left: 0px; }
  table.hexadecimal.align-right td p, table.hexadecimal.align-right th div.line {
    text-align: right; }

/* PRE AND TT ---------------------------------------------------------------------------- */
div[class*="highlight-"] {
  margin-top: 0px;
  margin-bottom: 0px; }
  div[class*="highlight-"] pre span {
    color: black;
    font-weight: normal; }

.content p + div[class*="highlight-"], .content p + .annotated div[class*="highlight-"]:first-child {
  margin-top: -12px; }
.content p + pre.repl, .content p + .annotated pre.repl:first-child {
  margin-top: -10px; }
.content p + div.containsboxlabel > pre.pseudocode {
  margin-top: -12px; }
.content div.student-quote p + div[class*="highlight-"], .content div.student-quote p + .annotated div[class*="highlight-"]:first-child {
  margin-top: 0px; }
.content div.student-quote p + pre.repl, .content div.student-quote p + .annotated pre.repl:first-child {
  margin-top: 0px; }

.content .containsboxlabel > pre.pseudocode {
  margin-left: -17.5px; }

pre {
  font-size: 13px;
  font-family: Consolas, Inconsolata, monospace;
  border-color: #62b1b5;
  border-style: solid;
  border-width: 1px 0px 1px 0px;
  border-radius: 0px;
  display: inline-block;
  overflow: visible;
  margin: 0 0 12px 0px;
  padding: 0.8em;
  background-color: #EAF7FF; }
  pre.pseudocode {
    background-color: #EAF7FF;
    color: black;
    border-width: 2px 2px 2px 30px;
    border-style: solid;
    border-color: #62b1b5;
    line-height: 1.5; }
    pre.pseudocode em {
      font-family: Open Sans, Verdana, Helvetica, Arial, sans-serif;
      font-size: 15px;
      color: #397578; }

.highlight-scala .highlight pre span[class^="k"], .highlight-scala .highlight pre span.bp {
  color: #397578;
  font-weight: bold; }
.highlight-scala .highlight pre span.p, .highlight-scala .highlight pre span.o, .highlight-scala .highlight pre span.dl {
  color: black;
  font-weight: normal; }
.highlight-scala .highlight pre span[class^="n"] {
  color: black;
  font-weight: normal; }
.highlight-scala .highlight pre span.nf {
  color: black;
  font-weight: normal; }
.highlight-scala .highlight pre span.nc, .highlight-scala .highlight pre span.ne {
  color: black;
  font-weight: normal; }
.highlight-scala .highlight pre span[class^="c"] {
  color: #666666;
  font-weight: normal; }
.highlight-scala .highlight pre span[class^="m"] {
  color: black;
  font-weight: normal; }
.highlight-scala .highlight pre span[class^="s"] {
  color: black; }
.highlight-scala .highlight pre span.si {
  background: #EAF7FF; }

/* fix the corners of code examples */
div.highlight {
  background: none; }

code, span.codelike, tt, div.tpd-content code, div.tpd-content tt {
  background: none;
  font-size: 1em;
  color: #525252;
  padding: 0px;
  border-radius: 0px;
  font-family: Inconsolata, Consolas, monospace;
  vertical-align: baseline;
  /* this messes up hyphenation around the code:  display: inline-block */
  white-space: nowrap; }

code.italicscala, tt.italicscala, span.italicstrikethrough {
  font-style: italic; }

code.normalscala, tt.normalscala {
  font-style: normal; }

code.boldscala, tt.boldscala {
  font-weight: bold; }

span.strikethrough, span.italicstrikethrough {
  text-decoration: line-through; }

span.guilabel, span.menuselection, strong.command, span.gui, span.menu {
  font-family: Lato, sans-serif;
  font-weight: normal;
  background-color: #ddd;
  background-color: rgba(220, 220, 220, 0.7);
  color: #333;
  display: inline-block;
  font-size: 0.9em;
  font-weight: 700;
  line-height: 1;
  padding: 2px 2px 2px 2px;
  white-space: nowrap; }

code.file, tt.file {
  background: none;
  color: black; }

.newproject {
  font-weight: bold; }

a:link code.file, a:link tt.file {
  color: #0069D6; }

.content kbd {
  background-color: rgba(200, 200, 200, 0.7); }
  .content kbd.compound {
    background: none;
    border: none;
    box-shadow: none;
    padding: 0px; }

pre.repl {
  visibility: hidden;
  font-family: Consolas, Inconsolata, monospace;
  border-color: #c9cbcd;
  border-style: solid;
  border-width: 0px 0px 2px 0px;
  margin: 0px 0px 12px 0px;
  background-color: #d6d8d9;
  min-width: 200px;
  padding: 0px 10px 0px 0px; }
  pre.repl.fully-loaded {
    visibility: visible; }
  pre.repl.ends-in-input {
    border: none; }
  pre.repl div {
    display: block;
    font-style: normal;
    width: 100%;
    min-width: 200px;
    margin: 0px 0px 0px 0px; }
    pre.repl div.repl-in {
      background-color: #aeb2b4;
      color: #333333;
      font-weight: bold;
      padding: 4px 0px 4px 10px; }
      pre.repl div.repl-in:not(:first-child) {
        margin-top: 6px; }
      pre.repl div.repl-in.repl-start-of-input {
        padding-bottom: 0px; }
      pre.repl div.repl-in.repl-misc {
        padding-bottom: 0px;
        padding-top: 0px;
        margin-top: 0px; }
      pre.repl div.repl-in.repl-end-of-input {
        padding-top: 0px;
        margin-top: 0px; }
    pre.repl div.repl-out {
      color: #333333;
      background-color: #d6d8d9;
      padding: 2px 0px 2px 10px; }
      pre.repl div.repl-out.repl-error {
        color: #800040; }

.shell-session pre {
  background-color: #FEFEFE; }

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

.console pre {
  background-color: white;
  border-width: 2px 2px 2px 30px;
  border-style: solid;
  border-color: #00A0BA; }

.console pre em {
  color: #3AC8AA;
  font-style: normal; }

div.console > pre {
  margin: 0px 0px 12px 0px; }

.textfile pre, .robospeak pre.code, .robospeak .code pre {
  color: #333333;
  background-color: white;
  border-style: solid;
  border-color: #555555; }

.textfile pre {
  border-width: 2px 2px 2px 40px; }

.robospeak.container::after, .robospeak.container::before {
  display: none; }

.robospeak pre.code, .robospeak .code pre {
  border-width: 2px 2px 2px 54px;
  padding-left: 0px; }

.robospeak pre .linenos {
  border: none;
  background: none;
  color: white;
  padding-left: 0px;
  padding-right: 0px;
  position: relative;
  z-index: 10;
  padding-top: 0px;
  padding-bottom: 0px;
  margin-bottom: 0px; }

table.highlighttable tr div.linenodiv {
  position: relative;
  left: 60px; }

.robospeak pre.code, .robospeak .code pre {
  position: relative;
  padding: 5px;
  margin: 0px; }

.robospeak {
  position: relative; }

.peeveli pre {
  color: #333333;
  background-color: white;
  border: none; }

.peeveli pre strong {
  color: #FF0000; }

.has-error label span.pre {
  color: #a94442; }

/* LISTS ----------------------------------------------------------------------------------- */
.content div.jutut-exercise div.form-group div.multiple-checkbox ul li label {
  font-weight: normal;
  list-style-type: none; }
.content div.jutut-exercise div.form-group div.multiple-checkbox ul li {
  list-style-type: none; }
.content ol.simple ol, .content ol.simple ul li:first-of-type p, .content ul.simple ol, .content ul.simple ul li:first-of-type p {
  margin-top: 12px; }
.content ol {
  margin-left: 20px;
  max-width: 560px;
  text-align: justify;
  padding-start: 0px;
  -webkit-padding-start: 0px;
  -moz-padding-start: 0px; }
  .content ol li {
    line-height: 1.5; }
.content ul:not(.nav):not(.dropdown-menu) {
  margin-left: 15px;
  margin-top: 3px;
  max-width: 560px;
  text-align: justify;
  padding-left: 5px; }
  .content ul:not(.nav):not(.dropdown-menu) li {
    line-height: 1.5; }
.content p + ul:not(.nav):not(.dropdown-menu), .content p + ol {
  margin-top: -10px; }
.content .admonition ul:not(.nav):not(.dropdown-menu) {
  margin-left: 18px; }
.content .admonition ol {
  margin-left: 25px; }
.content ol li {
  margin-top: 12px; }
.content ol ol, .content ol ul:not(.nav):not(.dropdown-menu), .content ul:not(.nav):not(.dropdown-menu) ol, .content ul:not(.nav):not(.dropdown-menu) ul {
  margin-left: 30px;
  max-width: 400px; }
.content ol li li, .content ul:not(.nav):not(.dropdown-menu) li li {
  margin-top: 2px;
  font-size: 14px; }
.content ul:not(.nav):not(.dropdown-menu) li {
  background: transparent;
  padding: 0 0 0 0;
  margin-top: 12px;
  list-style-type: square; }
.content ul:not(.nav):not(.dropdown-menu) li li, .content ol li li {
  list-style-type: disc; }
.content ul:not(.nav):not(.dropdown-menu) li li li {
  list-style-type: circle;
  margin-top: 2px; }

div.toctree-wrapper ul li {
  list-style-type: none; }

div.toctree-wrapper li.toctree-l1 {
  margin-top: 10px; }

div.toctree-wrapper li.toctree-l1 a {
  font-weight: bold; }

div.toctree-wrapper li.toctree-l2 a {
  font-weight: normal; }

/* MISC ------------------------------------------------------------------------------------ */
.content {
  /* remove ugly string highlight from code examples */ }
  .content div.clearline {
    clear: both; }
  .content hr {
    border-top: 1px solid #B2CEFF;
    width: 98%;
    margin-bottom: 10px;
    margin-top: 20px; }
  .content blockquote {
    font-size: 100%;
    padding: 0px;
    margin: 0 65px 0 5px;
    border-left: 0; }
  .content h3 a:link {
    font-weight: bold; }
  .content div.highlight span.s {
    background: none; }
  .content div.progtool {
    position: absolute;
    color: #91866B;
    font-size: 18px;
    display: inline-block;
    padding: 15px;
    border: solid 2px #91866B;
    background-color: white; }
  .content div.not-like-this div pre {
    background-color: #FD92A1; }

/* HOVER HIGHLIGHTS ------------------------------------------------------------------------ */
.content p + div.codecomment, .content p + div.guicomment {
  margin-top: -15px; }
.content div.codecomment, .content div.container.guicomment, .content span.codecomment {
  border-style: solid;
  border-width: 1px 0px 1px 0px;
  border-color: #bfc2a1;
  background: #d9eecf; }
.content div.container div.container.codecomment {
  width: 550px; }
.content div.codecomment, .content div.container.guicomment {
  width: 650px;
  padding: 6px 15px 6px 15px;
  margin: 0px 12px 12px 5px;
  box-shadow: 2px 2px 2px 0px #bfc2a1;
  font-size: 0.9em;
  line-height: 1.5; }
  .content div.codecomment + p, .content div.container.guicomment + p {
    margin-top: 18px; }
  .content div.codecomment.comment-now-highlighted, .content div.container.guicomment.comment-now-highlighted {
    box-shadow: 0px 0px 3px 3px #1ea780; }
  .content div.codecomment.comment-now-locked, .content div.container.guicomment.comment-now-locked {
    box-shadow: 0px 0px 3px 3px #3e9770;
    background: #c9debf; }
.content span.codecomment {
  margin: 0px 1px 0px 1pxs;
  padding: 0px 1px 1px 3px;
  box-shadow: 1px 1px 1px 0px #bfc2a1;
  white-space: nowrap; }
  .content span.codecomment.comment-now-highlighted {
    box-shadow: 0px 0px 2px 2px #1ea780; }
  .content span.codecomment.comment-now-locked {
    box-shadow: 0px 0px 2px 2px #3e9770;
    background: #c9debf; }
.content span.loc-now-highlighted, .content div.highlight pre span.loc-now-highlighted, .content pre.repl span.loc-now-highlighted, .content pre.pseudocode span.loc-now-highlighted, .content div.console pre span.loc-now-highlighted, .content div.animation div.loc-now-highlighted {
  background: #BB2C02 !important;
  color: white !important; }
  .content span.loc-now-highlighted.loc-now-inserted, .content div.highlight pre span.loc-now-highlighted.loc-now-inserted, .content pre.repl span.loc-now-highlighted.loc-now-inserted, .content pre.pseudocode span.loc-now-highlighted.loc-now-inserted, .content div.console pre span.loc-now-highlighted.loc-now-inserted, .content div.animation div.loc-now-highlighted.loc-now-inserted {
    background: #1155CC !important;
    color: white !important;
    font-weight: bold !important; }
.content span.loc-now-locked, .content div.highlight pre span.loc-now-locked, .content pre.repl span.loc-now-locked, .content pre.pseudocode span.loc-now-locked, .content div.console pre span.loc-now-locked, .content div.animation div.loc-now-locked {
  background: #BB2222;
  color: #E0E0E0; }
  .content span.loc-now-locked.loc-now-inserted, .content div.highlight pre span.loc-now-locked.loc-now-inserted, .content pre.repl span.loc-now-locked.loc-now-inserted, .content pre.pseudocode span.loc-now-locked.loc-now-inserted, .content div.console pre span.loc-now-locked.loc-now-inserted, .content div.animation div.loc-now-locked.loc-now-inserted {
    background: #0145CC !important;
    color: #E0E0E0 !important;
    font-weight: bold !important; }
.content pre.repl span.loc-now-highlighted em, .content pre.repl span.loc-now-highlighted strong, .content pre.pseudocode span.loc-now-highlighted em, .content pre.pseudocode span.loc-now-highlighted strong, .content div.console pre span.loc-now-highlighted em, .content div.console pre span.loc-now-highlighted strong {
  background: #BB2C02 !important;
  color: white !important; }
.content pre.repl span.loc-now-highlighted.loc-now-inserted em, .content pre.repl span.loc-now-highlighted.loc-now-inserted strong, .content pre.pseudocode span.loc-now-highlighted.loc-now-inserted em, .content pre.pseudocode span.loc-now-highlighted.loc-now-inserted strong, .content div.console pre span.loc-now-highlighted.loc-now-inserted em, .content div.console pre span.loc-now-highlighted.loc-now-inserted strong {
  background: #1155CC !important;
  color: white !important;
  font-weight: bold !important; }
.content pre.repl span.loc-now-locked em, .content pre.repl span.loc-now-locked strong, .content pre.pseudocode span.loc-now-locked em, .content pre.pseudocode span.loc-now-locked strong, .content div.console pre span.loc-now-locked em, .content div.console pre span.loc-now-locked strong {
  background: #BB2222;
  color: #E0E0E0; }
.content pre.repl span.loc-now-locked.loc-now-inserted em, .content pre.repl span.loc-now-locked.loc-now-inserted strong, .content pre.pseudocode span.loc-now-locked.loc-now-inserted em, .content pre.pseudocode span.loc-now-locked.loc-now-inserted strong, .content div.console pre span.loc-now-locked.loc-now-inserted em, .content div.console pre span.loc-now-locked.loc-now-inserted strong {
  background: #0145CC !important;
  color: #E0E0E0 !important;
  font-weight: bold !important; }

/* FIGURES ---------------------------------------------------------------------------------------- */
.content figure {
  padding: 15px 15px 10px 15px;
  display: inline-block;
  margin-left: -15px; }
  .content figure img.bordered {
    border: 1px dotted #91866B; }
  .content figure img.newspaper {
    border: 1px solid #91866B;
    padding: 18px;
    margin: 2px 0px 12px -40px;
    box-shadow: 7px 7px 7px 0px #BCBCBC; }
  .content figure.align-left img {
    display: block;
    margin: auto; }
  .content figure.align-right {
    max-width: 50%;
    display: inline-block;
    padding: 0px 0px 10px 0px;
    margin: 0px 0px 0px 0px;
    position: relative;
    right: -30px; }
    .content figure.align-right figcaption {
      padding-top: 0px; }
    .content figure.align-right img {
      display: block;
      margin: auto; }
  .content figure.align-right.loose {
    margin-top: 15px; }
    .content figure.align-right.loose figcaption {
      padding-top: 0.3em; }
  .content figure.align-right.tight {
    margin-left: -5px; }
.content div.bordered p, .content figure p {
  text-align: center;
  font-family: Cantarell, sans-serif;
  font-size: 14px; }
.content div.bordered {
  border: 1px dotted #91866B;
  position: relative;
  display: inline-block;
  background-color: #DCDC9C; }
.content aside.sidebar figure.align-default {
  padding-top: 0px;
  margin-top: -10px;
  margin-left: 25px; }
.content img.align-right.weeklyimg {
  display: inline-block;
  margin: auto;
  padding: 0px 0px 10px 0px;
  margin: 140px 0px 0px 0px;
  position: relative;
  right: -30px;
  clear: none; }

/* ECQs -------------------------------------------------- */
div.exercise.regular-exercise {
  max-width: 690px;
  width: 100%;
  border-style: solid;
  border-color: #6ca9cb;
  border-width: 2px 2px 2px 30px;
  margin-left: -17.5px;
  margin-top: 15px;
  padding: 12px 60px 15px 22px;
  /* font-size: 13px */
  border-radius: 0px;
  -webkit-border-radius: 0px;
  -khtml-border-radius: 0px;
  -moz-border-radius: 0px; }
  div.exercise.regular-exercise .exercise-summary {
    background: #6ca9cb;
    border-radius: 0;
    color: 0; }
  div.exercise.regular-exercise .exercise-summary .navbar-nav > li > a {
    color: white; }

div.exercise.difficulty-training:not(.has-containing-box), div.exercise.difficulty-challenge:not(.has-containing-box) {
  max-width: 690px;
  width: 100%;
  border-style: solid;
  border-color: #878780;
  border-width: 2px 2px 2px 30px;
  margin-left: -17.5px;
  margin-top: 15px;
  padding: 12px 60px 15px 22px;
  /* font-size: 13px */
  border-radius: 0px;
  -webkit-border-radius: 0px;
  -khtml-border-radius: 0px;
  -moz-border-radius: 0px; }
  div.exercise.difficulty-training:not(.has-containing-box) .exercise-summary, div.exercise.difficulty-challenge:not(.has-containing-box) .exercise-summary {
    background: #878780;
    border-radius: 0;
    color: 0; }
  div.exercise.difficulty-training:not(.has-containing-box) .exercise-summary .navbar-nav > li > a, div.exercise.difficulty-challenge:not(.has-containing-box) .exercise-summary .navbar-nav > li > a {
    color: white; }

div.exercise[data-aplus-order] {
  border-top: none;
  padding: 0; }

div.exercise nav.exercise-summary a.exercise-nav-button {
  padding-top: 1px;
  padding-bottom: 1px;
  margin-bottom: 3px;
  font-size: 15px; }
  div.exercise nav.exercise-summary a.exercise-nav-button:first-of-type {
    margin-top: 3px; }

div.exercise h1, div.exercise h2, div.exercise h3, div.exercise h4, div.feedback h1, div.feedback h2, div.feedback h3, div.feedback h4 {
  margin-left: 0;
  width: auto; }

.feedback {
  border: none;
  padding: 0; }

div.time-usage-question {
  margin-bottom: 15px;
  padding-bottom: 15px;
  border-bottom: 1px solid #B2CEFF;
  border-top: 1px solid #B2CEFF; }

.exercise div.highlight > pre, pre.literal-block {
  margin-bottom: 5px; }

.exercise p + input {
  margin-top: 15px; }

.exercise .radio, .exercise .checkbox {
  margin-left: 5px;
  margin-right: 5px;
  margin-bottom: 5px; }

.exercise .exercise-content .exercise-response p.question-hint, #page-modal div.modal-content p.question-hint {
  background-color: #FFEFAA;
  box-shadow: 0 0 0 3px #FFEFAA;
  display: list-item;
  list-style-type: disc;
  list-style-position: inside;
  padding: 0px 10px 0px 10px;
  margin-top: 10px; }

.exercise .exercise-content ul.navbar-nav.exercise-nav li.navbar-text {
  display: none; }

div.exercise.has-containing-box[data-aplus-exercise], div.exercise.feedback[data-aplus-exercise] {
  border: 3px solid #bce8f1;
  padding: 5px; }

div.aside div.exercise.has-containing-box[data-aplus-exercise] {
  border: 1px dotted #878780;
  padding: 0px;
  border-radius: 0px; }

div.difficulty-training nav.exercise-summary.navbar.navbar-default, div.difficulty-training ul.nav.navbar-nav.exercise-nav, div.difficulty-challenge nav.exercise-summary.navbar.navbar-default, div.difficulty-challenge ul.nav.navbar-nav.exercise-nav {
  background-color: #878780; }
  div.difficulty-training nav.exercise-summary.navbar.navbar-default li a, div.difficulty-training ul.nav.navbar-nav.exercise-nav li a, div.difficulty-challenge nav.exercise-summary.navbar.navbar-default li a, div.difficulty-challenge ul.nav.navbar-nav.exercise-nav li a {
    color: black; }

.exercise br + input {
  margin-top: 10px; }

li.question-feedback-item {
  color: #007; }

.content .roundedBox {
  width: 820px; }

.content .anim, .roundedBox {
  width: 700px; }

.multiple-choice-question .highlight-scala {
  margin-top: 15px; }

.next-chapter-box {
  text-align: right;
  margin-right: 30px; }

p.smaller {
  font-size: 13px;
  width: 80%; }

div.smaller {
  font-size: 14.5px; }
  div.smaller pre {
    font-size: 12px; }
  div.smaller.console pre {
    font-size: 12px; }

span.mustanswer {
  color: red;
  font-weight: bold; }

span.talangs {
  font-variant: small-caps; }

/* TOOLTIPS */
.tpd-content-wrapper {
  font-family: Lora, Georgia, serif; }

/* JUTUT */
#palaute .alert-info p {
  white-space: pre-wrap; }

div.exercise-content * {
  box-sizing: border-box; }

/* Tag-specific content */
/* onlymooc and onlyaalto special tags */
body.internal-student .onlymooc,
body:not(.internal-student) .onlyaalto {
  display: none; }

.tag,
div.content div.admonition.tag {
  display: none; }

[data-taggings~=fi] .tag-fi:not(:lang(fi)) {
  /* display: unset would be better but is not supported by IE11 */
  display: block; }

[data-taggings~=eifuksi] .tag.tag-eifuksi,
[data-taggings~=eifuksi] div.content div.admonition.tag.tag-eifuksi {
  display: block; }

div.exercise form span.fckptn {
  text-decoration: none; }

/* WORKAROUND ADDED IN 2021 TO FIX STYLE ISSUES IN JUTUT FEEDBACK FORMS.
 * Maybe remove later, if possible. */
div.chapter-feedback form div.form-group.compact-q, div.jutut-exercise form div.compact-q {
  font-size: 13px; }
  div.chapter-feedback form div.form-group.compact-q div, div.jutut-exercise form div.compact-q div {
    margin-top: 0px;
    line-height: 1.3; }
    div.chapter-feedback form div.form-group.compact-q div.radio, div.jutut-exercise form div.compact-q div.radio {
      margin-bottom: 3px; }
      div.chapter-feedback form div.form-group.compact-q div.radio label, div.jutut-exercise form div.compact-q div.radio label {
        min-height: 15px; }
    div.chapter-feedback form div.form-group.compact-q div:first-of-type, div.jutut-exercise form div.compact-q div:first-of-type {
      margin-bottom: 2px; }
  div.chapter-feedback form div.form-group.compact-q input, div.jutut-exercise form div.compact-q input {
    margin-top: 1px; }

/* WORKAROUND ADDED IN 2024 TO FIX SAFARI-SPECIFIC(?) STYLE ISSUES INVOLVING THE NAVIGATION SIDEBAR.
 * Remove later, if possible.* */
#course-content {
  background: white; }