@import url("html5reset-1.6.1.css");

/* Avoid overflowing the viewport. */
img, iframe, embed, object, video {
  max-width: 100%;
}

h1, h2, h3, h4, h5, h6 {
  font-weight: normal;
}

header > h1 {
  color: #000;
}

section > header > h2, span.figure-text, body > header h1, h1.error, h1 > a {
  color: #ce475b;
}

html {
  font-size: 62.5%;
}

body {
  background-color: #fcfcfc;
  color: #111;
  font: 1.6em/1.4 "Palatino", serif;
  width: 100%;
}

sup {
  vertical-align: super;
}

sub {
  vertical-align: sub;
}

a {
  color: #475bce;
  text-decoration: none;
}

footer, figcaption {
  font-family: "Arial", "Helvetica", sans-serif;
}

h1 {
  font-size: 2.0em;
  margin: 1em 0em 0.6em 0em;
}

h1.error {
  font-family: Verdana;
  font-weight: bold;
}

h2 {
  font-size: 1.2em;
  margin-top: 1em;
}

h3 {
  font-size: 1.0em;
  margin-top: 1em;
}

h1 + h2 {
  margin-top: 0em;
}

h1 + h3 {
  margin-top: 0em;
}

h2 + h3 {
  margin-top: 0em;
}

p {
  margin: 0.5em 0em;
  text-align: left;
}

figure {
  display: table;
  margin: 1em auto;
}

figcaption {
  font-size: .85em;
  margin: .5em 0px 0px 0px;
}

blockquote {
  background: #d5d5d5;
  border-left: 5px solid #ccc;
}

ul, ol {
  padding-left: 2em;
}

pre.code-container {
  border: 1px solid #073642; /* solarized base02 */
  overflow-x: auto;
}

span.figure-text {
  font-size: .9em;
  text-transform: uppercase;
}

body > header, body > nav, body > article, body > footer {
  margin-left: auto;
  margin-right: auto;
  border-left: 1em transparent solid;
  border-right: 1em transparent solid;
  max-width: 980px;
}

body > header h1 {
  font-family: Verdana;
  font-weight: bold;
  margin-bottom: 0em;
}

body > header h2 {
  font-style: italic;
  margin-bottom: 1em;
}

body > footer {
  font-size: .8em;
  margin-top: 5em;
  margin-bottom: 1em;
  text-align: center;
}

nav > ul {
  margin: 0em;
  padding: 0em;
}

nav > ul > li {
  position: relative;
  top: 1.5em;
}

nav > ul > li > a {
  font-size: 1.2em;
}

nav > ul time {
  display: block;
  font-size: .8em;
}

nav > ul p {
  text-align: left;
}

article > header {
  text-align: center;
}

article > header > h1 {
  margin-bottom: 0em;
}

article > header > h2 {
  margin-bottom: 0em;
}

section > header {
  text-align: left;
}

section.footnotes {
  margin-top: 3em;
  margin-bottom: 0.5em;
}

p.theorem {
  border: 1px solid #073642; /* solarized base02 */
  background: #eee8d5; /* solarized base2 */
  color: #111;
  padding: 0.5em;
  font-style: italic;
}

span.theorem-name {
  font-weight: bold;
}

div.proof {
  border: 1px solid #002b36; /* solarized base03 */
  background: #fdf6e3; /* solarized base3 */
  color: #111;
  padding-left: 0.5em;
  padding-right: 0.5em;
}

span.proof-name {
  font-style: italic;
}

p.exercise {
  margin-top: 1em;
}

span.exercise {
  display: inline;
  font-weight: bold;
}

span.exercise-name {
  font-style: italic;
}

ol.exercise-list {
  list-style-type: lower-alpha;
  margin-left: 3em;
  margin-right: 3em;
}

p.example {
  margin-top: 1em;
  font-weight: bold;
}

.interactive-example {
  border: 1px solid #073642; /* solarized base02 */
  background: #fdf6e3; /* solarized base3 */
  color: #657b83; /* solarized base00 */
  padding: 1em;
  text-align: left;
}

.interactive-example > h3 {
  margin-top: 0em;
  margin-bottom: 0.5em;
}

p.interactive-example input.parameter {
  background: inherit;
  border: 1px dashed #002b36; /* solarized base03 */
  color: #268bd2; /* solarized blue */
  font: inherit;
  resize: horizontal;
  vertical-align: inherit;
}

p.interactive-example input:invalid {
  color: #dc322f; /* solarized red */
}

/* Reverse-engineered from generated KaTeX elements. */

p.interactive-example .fake-katex {
  font-family: KaTeX_Main;
  font-size: 111%;
  white-space: nowrap;
}

p.interactive-example .fake-katex var {
  font-family: KaTeX_Math;
  font-style: italic;
}

p.interactive-example .fake-katex sup {
  font-size: 70.7%;
}

p.interactive-example .intermediate {
  color: #268bd2; /* solarized blue */
}

p.interactive-example .result {
  color: #268bd2; /* solarized blue */
}

div.insert {
  border: 1px solid #073642; /* solarized base02 */
  background: #fdf6e3; /* solarized base3 */
  color: #268bd2; /* solarized blue */
  margin: 1em 5em;
  padding: 1em;
  text-align: center;
}

div.insert em {
  color: #dc322f; /* solarized red */
}

/* Tweaked to match MathJaX's default size. */
.katex {
  font-size: 1.1em !important;
}