/* HOVER HIGHLIGHTS ------------------------------------------------------------------------*/
/* (https://greengoblin.cs.hut.fi/o1_s2015/course/_static/kurssimateriaali.css) */

@import url('https://fonts.googleapis.com/css?family=Lora:400,700,400italic,700italic');
@import url('https://fonts.googleapis.com/css?family=Open+Sans:400,700');
@import url('https://fonts.googleapis.com/css?family=Inconsolata:400,700');

/* -------------------------- */
/* Overriding some CSS styles */

body {
    font-family: "Lora",serif;
    font-size: 15px;
}

div.body h1 {
    font-size: 160%;
}

div.body h2 {
    font-size: 140%;
}

div.body h3 {
    font-size: 120%;
}

div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
    font-family: "Open Sans",sans-serif;
}

div.sphinxsidebar h3, div.sphinxsidebar h4 {
    font-family: "Lora",serif;
    font-size: 20px;
    font-weight: normal;
}

div.sphinxsidebar ul li.toctree-l1 > a {
    font-size: 100%;
}


div.sphinxsidebar ul li.toctree-l2 > a {
    font-size: 90%;
}


div.sphinxsidebar ul li.toctree-l3 > a {
    font-size: 80%;
}

pre, tt, code {
    font-family: "Inconsolata",monospace;
    font-size: 100%;
    padding: 5px;
}

code.docutils.literal {
    padding: 2px;
    background-color: transparent;
}

.highlight .c1 {
    font-style: normal !important;
}

/* -------------------------- */

div.codecomment, div.guicomment {
  -webkit-border-radius: 20px;
  -khtml-border-radius: 20px;
  -moz-border-radius: 20px;
  border-radius: 20px;
  border-style: dotted;
  border-width: 1px;
  width: 690px;
  padding: 15px 15px 15px 15px;
  margin: 0px 12px 12px 30px;
  background: #E4FFDE;
  box-shadow: 2px 2px 2px 0px #A2CC86;
  border-color: #A2CC86;
  font-size: 0.9em;
}

div.admonition.aside div.codecomment {
  width: 670px;
}

div.codecomment+p, div.guicomment+p {
  margin-top: 18px
}

div.codecomment.comment-now-highlighted, div.guicomment.comment-now-highlighted {
  box-shadow: 0px 0px 3px 3px #72BC56;
}

span.loc-now-highlighted,
div.highlight pre span.loc-now-highlighted,
pre.repl span.loc-now-highlighted,
pre.repl span.loc-now-highlighted strong,
pre.repl span.loc-now-highlighted em,
pre.pseudocode span.loc-now-highlighted,
pre.pseudocode span.loc-now-highlighted em,
div.console pre span.loc-now-highlighted,
div.console pre span.loc-now-highlighted em,
div.animation div.loc-now-highlighted
{
   background: #CC0000 !important;
   color: white        !important;
}


div.codecomment.comment-now-locked {
  box-shadow: 0px 0px 3px 3px #008800;
}

div.highlight pre span.loc-now-locked,
pre.repl span.loc-now-locked,
pre.repl span.loc-now-locked strong,
pre.repl span.loc-now-locked em,
pre.pseudocode span.loc-now-locked,
pre.pseudocode span.loc-now-locked em,
div.console pre span.loc-now-locked,
div.console pre span.loc-now-locked em,
div.animation div.loc-now-locked
{
   background: #BB2222;
   color: #E0E0E0;
}