@import url(http://fonts.googleapis.com/css?family=Libre+Baskerville);
html, body {
  min-height: 100%; }

html {
  /* background-color: #e8e8e8; */
  background: none;
  /* background-repeat: no-repeat; */
  overflow-y: scroll;
  /* Force vertical scroll-bar to avoid jumps */ }

body {
  margin: 0; }

a {
  font-family: Arial,Helvetica,sans-serif;
  font-weight: bold;
  text-decoration: none;
  background-color: #ffffff;
  color: #0000b0;
  margin: 0em;
  padding: 0 0.1em; }
  a.anchor {
    padding: 0; }
  a:visited {
    color: #6060a0; }
  a:hover {
    background-color: #f8f8a0;
    color: black; }

.bigger {
  font-size: 1.3em;
  vertical-align: -5%;
  top: 0.05em; }

.update {
  border: solid #505050 1px;
  font-style: italic;
  background-color: #f9f9ea;
  padding: 0.5em;
  margin: 0 2em 1em -7pt;
  line-height: 130%; }
  .update h3 {
    padding: 0;
    margin: 0;
    padding: 0; }
  .update p {
    font-size: 0.8em; }

.date {
  font-family: Tahoma,sans serif;
  color: #101010;
  font-size: 0.8em;
  position: absolute;
  top: 0;
  right: 0;
  margin: 0;
  padding: 0.2em 0.4em; }

.hidden {
  visibility: hidden; }

.instruction {
  line-height: 120%;
  font-size: 1.5em; }

h1, h2, h3, h4, h5 {
  font-family: "Libre Baskerville", sans-serif;
  line-height: 155%; }

.masthead {
  margin: 0.8em 0 0 0;
  padding: 0;
  position: relative; }
  .masthead .top {
    padding: 1em 1em 1em 1em;
    border-top: 8px solid #900000;
    border-bottom: 8px solid #900000;
    border-top-width: 20px;
    background-color: #fff4f3;
    min-height: 92px; }
    .masthead .top .logo {
      margin: 0;
      padding: 0;
      float: left;
      left: 0; }
      .masthead .top .logo a {
        background-color: transparent;
        display: block; }
    .masthead .top h1 {
      font-family: "Libre Baskerville";
      font-size: 1.8em;
      font-weight: normal;
      padding: 0.2em 0 0.2em 0.5em;
      margin: 0em 20px 0 240px;
      color: black;
      border: 2px solid #800000;
      background-color: #fff9f8;
      background: linear-gradient(to bottom, #fffbfa, #fff9f8 20%, #fffbfa 50%, white 100%); }
      .masthead .top h1 a {
        padding: 0;
        margin: 0;
        font-family: inherit;
        font-size: inherit;
        font-weight: inherit;
        color: #444; }
        .masthead .top h1 a:hover {
          color: black;
          background-color: white; }
  .masthead .bottom {
    border: 5px solid #900000;
    border-top: none;
    background-color: #f4f4f4;
    float: right;
    margin-right: 1em;
    padding: 0 0.3em; }
    .masthead .bottom .link {
      font-family: Tahoma, Helvetica, sans-serif;
      font-size: 0.9em;
      font-weight: bold;
      display: inline-block; }
      .masthead .bottom .link a {
        color: #606060;
        background-color: transparent;
        padding: 0 0.2em; }
        .masthead .bottom .link a:hover {
          color: black;
          background-color: #fffbfa; }

.footer {
  border-top: 3px solid #900000;
  margin: 0.5em 0 0 0;
  padding: 0.4em 0 1em 0; }

.readerCommentsWrapper {
  margin: 2em;
  padding: 1em;
  border: 1px solid #a0a0a0;
  background-color: #f8f8f8;
  border: solid 1pt #d0d0d0; }

.readerComments {
  margin: 0;
  float: right;
  width: 100%; }

.references {
  background-color: #f0f4f0;
  margin-left: 17pt;
  padding: 3pt;
  border: solid #d0d0d0 1px;
  font-size: small; }

h1 {
  font-family: "Libre Baskerville", sans-serif;
  font-weight: bold;
  color: #500000;
  background-color: #eaeaea;
  font-size: 2.5em;
  padding: 0.2em 0.7em 0.2em 0.7em;
  margin: 0;
  margin-left: -0.8em;
  margin-right: 0;
  border: solid 2px #404040;
  border-top: solid 4px #404040; }

.itemTitle {
  background-color: white;
  position: relative;
  margin: 0 0 1.5em 0; }

blockquote {
  font-size: 1.2em;
  background-color: #f2f2f2;
  padding: 0.7em;
  margin: 1em 3em;
  line-height: 130%;
  border: solid #707070 2.5pt; }

.analyses {
  border: solid #8090e0 2px;
  padding: 1em;
  margin: 1em; }
  .analyses .quote {
    font-size: 1.1em;
    background-color: #f2f2f2;
    padding: 0.7em;
    margin: 2em 0 0 0;
    border: solid #707070 2.5pt; }
  .analyses .quote:first-child {
    margin: 0; }
  .analyses .analysis {
    font-size: 0.9em;
    margin: 0.3em 1em 0 1em; }

blockquote.heading {
  border: none;
  background-color: #ffffff;
  padding: 5pt;
  font-size: 1.3em;
  font-weight: bold;
  font-family: Tahoma, Helvetica, sans-serif; }

blockquote.highlight {
  font-size: 1.3em;
  line-height: 120%;
  padding: 5pt;
  background-color: #ffffe0;
  border: solid #606060 1pt; }

blockquote.line {
  font: bold 1em Tahoma, Helvetica, sans-serif;
  margin: 0.3em 3em;
  padding: 0.1em 0.2em;
  background-color: #f0ffe0;
  border: solid #606060 1pt; }

blockquote.question {
  font-size: 1.0em;
  font-family: Tahoma, Helvetica, sans-serif;
  font-weight: bold;
  padding: 5pt;
  background-color: white;
  color: #900000;
  border: none; }

.definition {
  font-size: 1.1em;
  background-color: #e9e9e9;
  padding: 5pt;
  margin: 8pt 28pt 8pt 28pt;
  border: solid #000000 1pt; }

.eqn {
  padding: 0;
  margin: 0 0 0.5em 3em; }

.interlude {
  font: 1em Tahoma, Helvetica, sans-serif;
  border: solid gray 1pt;
  margin: 5pt -15pt 5pt 30pt;
  padding: 7pt 12pt 7pt 12pt;
  background-color: #ffffdf; }
  .interlude h2 {
    font: bold 1.2em Tahoma, Helvetica, sans-serif;
    background-color: #ffffdf;
    color: #2f2f2f;
    border: none; }

.articleBlock {
  position: relative;
  margin: 1em 5em 2em 8em; }

.article {
  font-family: Georgia, serif;
  font-size: 1.0em;
  line-height: 125%;
  max-width: 35em;
  margin: 2em 0 0 0;
  padding: 0;
  background-color: white; }
  .article h2, .article h3, .article h4, .article h5 {
    margin: 0;
    font-weight: bold;
    font-family: "Libre Baskerville", sans-serif;
    background-color: #eaeaea;
    padding-left: 0.3em;
    margin-left: -0.3em; }
  .article h2, .article h3, .article h4, .article h5 {
    color: #500000; }
  .article h2 {
    margin-top: 2em;
    margin-bottom: 0.3em;
    margin-right: -4em;
    font-size: 1.4em;
    color: #500000;
    border-top: solid 0.1em black; }
  .article h3, .article h4, .article h5 {
    background-color: #f0f0f0; }
  .article ul {
    margin-top: 0.5em;
    margin-bottom: 0.5em; }
    .article ul li {
      margin: 0.4em 0; }
  .article h2:first-child {
    margin-top: 0.5em; }
  .article h3 {
    margin-top: 1em;
    font-size: 1.2em; }
  .article h4 {
    font-size: 1em; }

p {
  margin: 0.0em 0.0em 0.7em 0.0em; }

li {
  margin: 0.0em 0.0em 0.2em 0.0em; }

.articleToolbar {
  position: relative;
  margin: 0;
  padding: 0;
  margin-top: 4em;
  background-color: white;
  font: 1em Tahoma, Helvetica, sans-serif; }

a.voteThis {
  text-decoration: none;
  padding: 0;
  margin: 0;
  background-color: #e0e0e0;
  color: #000090; }
  a.voteThis:hover {
    background-color: #f8f8c0;
    color: #000000; }
  a.voteThis:visited {
    background-color: #d0d0d0;
    color: #707070; }

.main {
  margin: 0;
  padding: 0; }

.articleAndSidebar {
  padding: 0;
  margin: 0 0 0 0.5em; }

.sidebar {
  float: left;
  left: 10px;
  width: 110px;
  margin: 0;
  padding: 0 0 0 0;
  font: 1em Tahoma, Helvetica, sans-serif; }

.author {
  font: italic 1.2em Tahoma, Helvetica, sans-serif;
  padding: 0;
  display: inline;
  text-align: right;
  position: absolute;
  right: 0; }
  .author a {
    color: black; }
  .author a:hover {
    background-color: #f0f0f0; }

.byline {
  font: 1em Tahoma, Helvetica, sans-serif;
  height: 1.0em;
  position: relative;
  padding: 0 0.3em;
  margin: 5pt 0pt 5pt 100pt;
  max-width: 40em; }

.math {
  font-weight: bold;
  padding: 0 0.3em; }

div.math {
  margin: 0 0 1em 3em; }

div.MathJax_Display {
  text-align: left; }

.lookingForWorkAd {
  margin: 2em 0 2em 5em;
  padding: 1em;
  border: solid #505050 1px;
  max-width: 40em;
  font-size: 1.2em;
  line-height: 110%;
  background-color: #fcfcff; }
  .lookingForWorkAd .heading {
    font-family: "Libre Baskerville", sans-serif;
    font-size: 1.4em;
    margin: 0 0 1em 0; }
    .lookingForWorkAd .heading .alert {
      color: red;
      font-weight: bold; }
  .lookingForWorkAd a {
    font-weight: bold; }

.note {
  font-size: 1em;
  font-family: Tahoma, Helvetica, sans-serif;
  background-color: #f0f0f0;
  padding: 0.2em; }

p.indent {
  margin-left: 2em; }

.indented-box {
  margin-left: 2em;
  padding: 0.3em;
  border: solid #d0d0d0 2pt; }
  .indented-box h3 {
    border: none;
    background-color: white;
    text-align: center; }
  .indented-box p {
    margin: 0.5em; }

div.indented-box {
  padding: 0em; }

.tag {
  padding: 0 2pt 0 2pt;
  background-color: #ffe0e0; }

code {
  background-color: #e0f0e0;
  padding-left: 0.1em;
  padding-right: 0.1em; }

pre.code {
  padding: 0.5em;
  margin-left: 3em;
  margin-bottom: 1em;
  background-color: #e0f0e0;
  overflow: auto; }
  pre.code code {
    background-color: #e0f0e0;
    font-size: 1.2em; }
  pre.code .comment {
    background-color: #f0f090; }

pre.output {
  padding: 0.5em;
  margin-left: 3em;
  margin-bottom: 1em;
  background-color: #f0e0e0;
  overflow: auto; }
  pre.output code {
    background-color: #f0e0e0;
    font-size: 1.2em; }

.comments {
  border: solid #803030 1pt;
  position: absolute;
  top: 1pt;
  right: 1pt;
  display: inline;
  background-color: #f0d0d0;
  font: 1.2em Tahoma, Helvetica, sans-serif;
  padding: 0pt 0pt;
  margin: 0; }
  .comments a {
    background-color: #fff0f0;
    color: #404040;
    text-decoration: none;
    padding: 0 3pt; }
    .comments a:hover {
      background-color: #ffffe0;
      color: black; }

.clearLeft {
  clear: left; }

.clearBoth {
  clear: both; }

.footer {
  position: relative; }

div.figure {
  margin: 15pt 0 15pt 0;
  text-align: center;
  background: white;
  padding: 6pt;
  border: solid 1px #d0d0d0;
  display: inline-block; }

.cartoon {
  border: solid 1px gray;
  padding: 10pt;
  text-align: left;
  font-size: 1em;
  margin: 10pt auto 10pt auto;
  width: 80%; }

.caption {
  text-align: left;
  font-size: 0.9em;
  margin: 1em auto 0 auto;
  max-width: 40em; }

.spacedCaption {
  max-width: 45em;
  font-size: 0.8em;
  text-align: left;
  margin: 1.5em auto 0 auto; }

dt {
  margin-left: 1em;
  margin-top: 0.3em; }

dd {
  margin-left: 2em; }

p.listItem {
  margin-top: 2em; }

.listNumber {
  font-size: 4em;
  padding: 0 3pt; }

.biggerListHeading, .listHeading {
  font-weight: bold;
  line-height: 150%;
  padding: 0 2pt;
  border: solid 1pt #606060;
  background-color: #ffffe0; }

.listHeading {
  font-size: 1.2em; }

.biggerListHeading {
  font-size: 3em; }

.copyrightNotice {
  font: italic 10pt Tahoma, Helvetica, sans-serif;
  font-size: 0.7em; }

.box {
  padding: 1em; }
  .box span {
    border: solid 3pt black;
    padding: 0.5em; }

.idea {
  margin: 1em 1em 0.2em 0.3em;
  font-size: 1.5em;
  font-style: italic; }

.proposition {
  font-family: "Libre Baskerville", sans-serif;
  font-weight: bold;
  font-size: 1.1em;
  background-color: #fff0aa;
  padding: 0.2em 0.2em 0.2em 0.7em;
  margin: 0.3em 0 0.5em 0; }

.commentOrVote {
  font-family: Tahoma, Helvetica, sans-serif;
  font-size: 0.8em;
  margin: 0;
  padding: 0;
  color: #be7010; }
  .commentOrVote a {
    color: #be2010; }

.masthead h1 {
  font-size: 1.4em; }

.link-blurbs .blurb {
  background-color: #ffffff;
  color: #303030;
  border: 1px solid #d05010;
  padding: 0em 1em 0.2em 0.5em;
  margin: 1em 4em 1em 4em; }
  .link-blurbs .blurb:hover {
    background-color: #f8f8a0;
    border: 1px solid black; }
  .link-blurbs .blurb a {
    font-family: Tahoma, Helvetica, sans-serif;
    font-weight: normal;
    background-color: transparent;
    display: block;
    color: #303030;
    margin: 0;
    padding: 0; }
    .link-blurbs .blurb a:hover {
      color: black; }
    .link-blurbs .blurb a .title {
      font-weight: bold;
      vertical-align: top;
      display: inline-block;
      margin: 0 0 0 0;
      padding: 0.2em 0 0 0;
      color: #707070;
      font-size: 1.4em;
      line-height: 100%; }
    .link-blurbs .blurb a .heading {
      font-weight: bold;
      font-size: 3em;
      display: inline-block;
      padding: 0 0.2em; }
    .link-blurbs .blurb a p {
      margin: 0.2em 0;
      padding: 0; }
      .link-blurbs .blurb a p a {
        font-family: Tahoma, Helvetica, sans-serif;
        font-weight: bold; }
    .link-blurbs .blurb a .indenting p:nth-child(1) {
      margin-left: 3em; }
    .link-blurbs .blurb a .indenting p:nth-child(2) {
      margin-left: 5em; }
    .link-blurbs .blurb a .indenting p:nth-child(3) {
      margin-left: 7em; }
    .link-blurbs .blurb a .indenting p:nth-child(4) {
      margin-left: 9em; }

.links {
  border: 1px solid #d05010;
  padding: 0.6em 1em;
  margin: 1em 12em 1em 5em;
  background-color: #ffffff;
  max-width: 60em; }
  .links p, .links ul, .links ol {
    font-family: Tahoma, Helvetica, sans-serif; }
  .links p {
    padding: 0;
    margin: 0 0 0.5em 0; }
  .links ul {
    padding-top: 0;
    padding-bottom: 0;
    margin-top: 0;
    margin-bottom: 0; }
  .links h2, .links h3 {
    font-family: "Libre Baskerville", sans-serif;
    font-weight: bold;
    color: #a00000;
    margin: 0 0 0.3em 0; }
    .links h2 a, .links h3 a {
      font-family: "Libre Baskerville", sans-serif;
      color: #a00000; }
      .links h2 a:visited, .links h3 a:visited {
        color: #a00000; }

.text, .about {
  border: 1px solid #d05010;
  padding: 1em 1em;
  margin: 1em 3em 1em 5em;
  background-color: #ffffff;
  font-family: Tahoma, Helvetica, sans-serif; }
  .text p, .about p {
    padding: 0;
    margin: 0 0 0.5em 0; }

.label {
  font-family: Tahoma, Helvetica, sans-serif;
  font-size: 1.2em;
  font-weight: bold;
  position: relative;
  top: 0.05em; }

.wideItem {
  margin: 0.3em 1em; }
  .wideItem h1 {
    margin: 0.5em 0 1em 0; }

.copyright {
  font-family: Tahoma, Helvetica, sans-serif;
  font-size: 0.7em; }

.example {
  font-family: monospace;
  margin: 0.5em 0 0.5em 4em;
  padding: 0.2em 0.4em;
  border: 1px solid #999;
  background-color: #f6faff; }

.updated {
  font-family: Tahoma, Helvetica, sans-serif;
  font-size: 0.7em;
  text-align: right;
  margin: 1em 0 0 0;
  padding: 0;
  color: #036; }

.screencast {
  margin: 3em; }
  .screencast h1 {
    margin: 1em 0; }
  .screencast embed, .screencast video {
    margin: 1em 0; }

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