@charset "UTF-8";
html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  margin: 0;
  padding: 0;
  border: 0;
  font: inherit;
  font-size: 100%;
  vertical-align: baseline; }

html {
  line-height: 1; }

ol, ul {
  list-style: none; }

table {
  border-collapse: collapse;
  border-spacing: 0; }

caption, th, td {
  text-align: left;
  font-weight: normal;
  vertical-align: middle; }

q, blockquote {
  quotes: none; }
  q:before, q:after, blockquote:before, blockquote:after {
    content: "";
    content: none; }

a img {
  border: none; }

article, aside, details, figcaption, figure, footer, header, hgroup, main, menu, nav, section, summary {
  display: block; }

body {
  background: #dfda9f url("/images/noise.png");
  position: relative;
  max-width: 980px;
  margin: 0 auto;
  line-height: 1.5;
  color: #222;
  font-family: "Times New Roman", serif; }

#page {
  box-shadow: 0px 0px 7px #333333;
  margin-bottom: 80px; }
  #page h1, #page h2, #page h3, #page h4, #page h5, #page h6 {
    font-family: "Source Sans Pro";
    font-weight: bold;
    color: #222; }
    #page h1 a, #page h2 a, #page h3 a, #page h4 a, #page h5 a, #page h6 a {
      color: inherit;
      text-decoration: inherit;
      cursor: inherit; }
      #page h1 a:active, #page h1 a:focus, #page h2 a:active, #page h2 a:focus, #page h3 a:active, #page h3 a:focus, #page h4 a:active, #page h4 a:focus, #page h5 a:active, #page h5 a:focus, #page h6 a:active, #page h6 a:focus {
        outline: none; }
  #page i {
    font-style: italic; }
  #page b {
    font-weight: bold; }

header {
  background: url('data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4gPHN2ZyB2ZXJzaW9uPSIxLjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+PGRlZnM+PGxpbmVhckdyYWRpZW50IGlkPSJncmFkIiBncmFkaWVudFVuaXRzPSJvYmplY3RCb3VuZGluZ0JveCIgeDE9IjAuMCIgeTE9IjAuNSIgeDI9IjEuMCIgeTI9IjAuNSI+PHN0b3Agb2Zmc2V0PSIwJSIgc3RvcC1jb2xvcj0iI2Y0ZjlkYyIvPjxzdG9wIG9mZnNldD0iMTAwJSIgc3RvcC1jb2xvcj0iI2U4ZWViYSIvPjwvbGluZWFyR3JhZGllbnQ+PC9kZWZzPjxyZWN0IHg9IjAiIHk9IjAiIHdpZHRoPSIxMDAlIiBoZWlnaHQ9IjEwMCUiIGZpbGw9InVybCgjZ3JhZCkiIC8+PC9zdmc+IA==');
  background: -webkit-gradient(linear, 0% 50%, 100% 50%, color-stop(0%, #f4f9dc), color-stop(100%, #e8eeba));
  background: -moz-linear-gradient(left, #f4f9dc, #e8eeba);
  background: -webkit-linear-gradient(left, #f4f9dc, #e8eeba);
  background: linear-gradient(to right, #f4f9dc, #e8eeba);
  background-color: #f4f9dc;
  padding-top: 50px;
  padding-bottom: 50px;
  padding-left: 40px;
  padding-right: 40px;
  border-bottom: solid 1px #abae9a; }
  header h1 {
    font-size: 3.5em;
    margin-bottom: 20px; }
  header h2 {
    font-size: 1.6em; }

nav {
  background: url('data:image/svg+xml;base64,PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4gPHN2ZyB2ZXJzaW9uPSIxLjEiIHhtbG5zPSJodHRwOi8vd3d3LnczLm9yZy8yMDAwL3N2ZyI+PGRlZnM+PGxpbmVhckdyYWRpZW50IGlkPSJncmFkIiBncmFkaWVudFVuaXRzPSJvYmplY3RCb3VuZGluZ0JveCIgeDE9IjAuNSIgeTE9IjAuMCIgeDI9IjAuNSIgeTI9IjEuMCI+PHN0b3Agb2Zmc2V0PSIwJSIgc3RvcC1jb2xvcj0iI2RkZTBiOCIvPjxzdG9wIG9mZnNldD0iMTAwJSIgc3RvcC1jb2xvcj0iI2I3YmE5OSIvPjwvbGluZWFyR3JhZGllbnQ+PC9kZWZzPjxyZWN0IHg9IjAiIHk9IjAiIHdpZHRoPSIxMDAlIiBoZWlnaHQ9IjEwMCUiIGZpbGw9InVybCgjZ3JhZCkiIC8+PC9zdmc+IA==');
  background: -webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #dde0b8), color-stop(100%, #b7ba99));
  background: -moz-linear-gradient(top, #dde0b8, #b7ba99);
  background: -webkit-linear-gradient(top, #dde0b8, #b7ba99);
  background: linear-gradient(to bottom, #dde0b8, #b7ba99);
  background-color: #dde0b8;
  border-top: solid 1px #706d50;
  border-bottom: solid 1px #706d50;
  padding: 1em 1.5em; }
  nav ul li {
    display: inline;
    font-family: "Source Sans Pro";
    margin-right: 1.5em; }
    nav ul li a {
      color: inherit;
      text-decoration: none; }

#main {
  border-top: solid 1px #bbb;
  padding: 40px;
  padding-bottom: 80px;
  background-color: white;
  display: block; }
  #main p.meta {
    font-family: "Source Sans Pro";
    font-size: 1.75em;
    margin-bottom: 15px; }
    #main p.meta a.comments {
      color: #222; }
    #main p.meta a.github {
      float: right; }
      #main p.meta a.github img {
        vertical-align: middle; }
  #main h1 {
    font-size: 2.5em;
    margin-bottom: 20px; }
    #main h1 a {
      color: #222; }
      #main h1 a:visited {
        color: #222; }
      #main h1 a:focus {
        color: #222; }
      #main h1 a:hover {
        color: #222; }
      #main h1 a:active {
        color: #222; }
  #main h2 {
    font-size: 1.65em;
    margin-top: 20px;
    margin-bottom: 20px; }
  #main h3 {
    font-size: 1.089em;
    margin-top: 13px;
    margin-bottom: 13px; }
  #main h2 + .paragraph {
    height: 0; }
  #main a {
    color: #1863a1;
    text-decoration: none; }
    #main a:visited {
      color: #751590; }
    #main a:focus {
      color: #0181eb; }
    #main a:hover {
      color: #0181eb; }
    #main a:active {
      color: #0181eb; }
    #main a:hover, #main a:focus {
      text-decoration: underline; }
  #main ul {
    padding-left: 20px; }
    #main ul li {
      list-style: disc; }

#main footer {
  background-color: white;
  border-top: 1px solid #cecfc9;
  padding-top: 40px;
  margin-top: 80px; }
  #main footer a, #main footer a:visited {
    color: inherit;
    text-decoration: inherit;
    cursor: inherit;
    font-family: "Source Sans Pro";
    color: #82827d;
    font-size: 1.1em; }
    #main footer a:active, #main footer a:focus, #main footer a:visited:active, #main footer a:visited:focus {
      outline: none; }
    #main footer a.next, #main footer a:visited.next {
      float: right; }
      #main footer a.next:after, #main footer a:visited.next:after {
        content: " »"; }
    #main footer a.prev:before, #main footer a:visited.prev:before {
      content: "« "; }

/* coqdoc doesn't generate real <p> tags */
.paragraph {
  height: 20px; }

p {
  margin-bottom: 20px; }

article + article {
  margin-top: 80px;
  border-top: 1px solid #cecfc9;
  padding-top: 40px; }

#disqus_thread {
  margin-top: 80px; }

article a.idref:visited {
  color: #416DFF;
  text-decoration: none; }

article a.idref:link {
  color: #416DFF;
  text-decoration: none; }

article a.idref:hover {
  text-decoration: none; }

article a.idref:active {
  text-decoration: none; }

article a.modref:visited {
  color: #416DFF;
  text-decoration: none; }

article a.modref:link {
  color: #416DFF;
  text-decoration: none; }

article a.modref:hover {
  text-decoration: none; }

article a.modref:active {
  text-decoration: none; }

article .keyword {
  color: #cf1d1d; }

article .doc, article p {
  margin: 0px;
  font-size: 1.1em;
  max-width: 40em; }

.inlinecode {
  display: inline;
  color: #666666;
  font-family: monospace; }

.doc .inlinecode {
  display: inline;
  color: #4d4db3;
  font-size: 1.0em;
  font-family: monospace; }

.doc .inlinecode .id {
  color: #4d4db3; }

.inlinecodenm {
  display: inline;
  color: #444444; }

.doc .code {
  display: inline;
  font-size: 120%;
  color: #4d4db3;
  font-family: monospace;
  margin-left: 20px; }

.comment {
  display: inline;
  font-family: monospace;
  color: #8080cc; }

.code {
  display: block;
  margin: 20px;
  font-size: 110%;
  font-family: monospace;
  line-height: 1.5; }

table.infrule {
  border: 0px;
  margin-left: 50px;
  margin-top: 10px;
  margin-bottom: 10px; }

td.infrule {
  font-family: monospace;
  text-align: center;
  padding: 0px;
  line-height: 100%; }

tr.infrulemiddle hr {
  margin: 1px 0 1px 0; }

.infrulenamecol {
  color: #999999;
  font-size: 80%;
  padding-left: 1em;
  padding-bottom: 0.1em; }

.id {
  display: inline; }

.id[title="constructor"] {
  color: #990000; }

.id[title="var"] {
  color: #660066; }

.id[title="variable"] {
  color: #660066; }

.id[title="definition"] {
  color: #006600; }

.id[title="abbreviation"] {
  color: #006600; }

.id[title="lemma"] {
  color: #006600; }

.id[title="instance"] {
  color: #006600; }

.id[title="projection"] {
  color: #006600; }

.id[title="method"] {
  color: #006600; }

.id[title="inductive"] {
  color: #0000cc; }

.id[title="record"] {
  color: #0000cc; }

.id[title="class"] {
  color: #0000cc; }

.id[title="keyword"] {
  color: #cf1d1d; }

.inlinecode .id {
  color: black; }