@media print {
  .tocset {
    display: none;
  }
  .maincolumn {
    width: 43em;
  }
}


/* Colors from palette "2" by Atomic Cocktail
   http://www.colourlovers.com/palette/3019365/2 */

body { background-color: #FFFCF2; }

.tocview {
  background-color: #B5DAD2;
}
.tocset { background-color: #B5DAD2; }

.tocsub { background-color: #B5DAD2; }

.warning { background-color: #FAD44F; }

/* .tocset td a.tocviewlink { font-weight: bold; } */
.tocset td a.tocviewselflink {
  color: #111;
  font-weight: bold;
}

.tocsubseclink {
  font-size: 85%;
}

.toclink {
  font-size: 85%;
}

.tocviewtitle {
  font-size: 130%;
}

.tocviewsublisttop {
  padding-top: 1em;
}

.tocset {
  width: 14em;
  padding-right: 1em;
  padding-left: 0.5em;
}

.maincolumn {
  margin-left: 18em;
}

.tocviewsublist,
.tocviewsublistonly,
.tocviewsublisttop,
.tocviewsublistbottom {
  border-left: 1px solid #999;
}

.tocview td {
  padding-top: 0.3em;
  padding-bottom: 0.3em;
}

.tocviewsublist table,
.tocviewsublistonly table,
.tocviewsublisttop table,
.tocviewsublistbottom table {
  font-size: 85%;
}

.plainlink { color: #F0FCF6; }

.navsettop { background-color: #B5DAD2; }
.navsetbottom { background-color: #B5DAD2; }

a:link, a:hover, a:active { color: #666; }
a:visited { color: #111; }

.tocview, .tocsub {
  font-family: 'Fira Sans', sans-serif;
}

.main, .refcontent, .sroman, i {
  font-family: Garamond;
  font-size: 12pt;
}

.main p,
.main .SIntrapara {
  line-height: 1.4em;
}

/* These are for new styles defined in lib.rkt */

.Incercise     {
  padding: 0px 0px 0.5em 10px;
  border-left-style: solid;
  border-width: 5px;
  border-color: red;
  background-color: #ffebcd;
}

.Exercise {
  padding: 0px 0px 0.5em 10px;
  border-left-style: solid;
  border-width: 5px;
  border-color: orange;
  background-color: #ffebcd;
}

.IncerciseHeader {
   font-weight: bold;
   font-style: italic;
   background-color: #ff7667;
   padding: 5px 0px 5px 10px;
   margin-left: -10px;
}

.ExerciseHeader {
   font-weight: bold;
   background-color: #ffb167;
   padding: 5px 0px 5px 10px;
   margin-left: -10px;
}

.IncerciseBody, .ExerciseBody {
  margin-left: 0px;
  margin-right: 10px;
}


table.TwoColumn {
  width: 100%;
}

table.TwoColumn td {
   width: 50%;
}
pre.PyretHighlight, span.PyretHighlight, 
.RktIn, .RktRdr, .RktPn, .RktMeta,
.RktMod, .RktKw, .RktVar, .RktSym,
.RktRes, .RktOut, .RktCmt, .RktVal,
.RktBlk {
   font-family: Consolas, Inconsolata, monospace;
}
table.TwoColumn td > blockquote.SCodeFlow,
table.TwoColumn td > pre.PyretHighlight {
   margin: 0;
}

.PyretRepl {
  display: inline-block;
  width: 100%;
  margin-left: 0;
}

.PyretRepl > .SIntrapara {
  margin: 0;
}

.PyretRepl pre.PyretHighlight {
  background: rgb(242, 242, 242);
  margin-top: 0;
  margin-bottom: 0;
}

.PyretReplPrompt::before {
  content: '\203a\203a\203a';
  display: inline;
  line-height: 1.1em;
  float: left;
}

.PyretReplError {
  background-color: rgb(255, 242, 242);
  border: 0.3em hsl(204, 100%, 74%) solid;
  border-radius: 3px;
  padding: 0.5em;
  margin: 0;
}

.PyretReplInteraction {
  width: 100%;
}

.PyretReplInteraction .PyretRepl,
.PyretReplInteraction tr:nth-child(2) > td > pre.PyretHighlight {
  margin: 0;
  margin-top: 0.5em;
}