html, button, input, select, textarea,
.pure-g [class *= "pure-u"] {
    font-family: "Georgia", "serif";
    font-size: 16px;
}

.body {
  line-height: 1.5em
}

h1 {
  font-size: 1.75em;
  line-height: 1.1em
}

h1, h2, h3, h4, h5, h6 {
  color: #cc0000;
  font-family: Helvetica, arial, "sans-serif";
}

.left-box {
  color: #555;
  font-style: italic
}

.left-box a {
    text-decoration: none
}

@media (min-width: 568px) {
  .date {
    margin-right: -0.5em
  }

  .left-box {
    margin-top:   0.67em;
    text-align:   right;
    margin-right: 1.5em;
    padding-left: 0em;
  }

  .left-box ul {
    padding-left: 0em;
  }

  .left-box ul li {
    list-style: none;
    text-align: right
  }

  .main {
    margin-top: 3em;
    margin-bottom: 6em
  }
}

@media (max-width: 567px) {
  .left-box ul {
    text-align: right;
    margin-right: 1em;
    padding-left: 0em;
  }
  .left-box ul li {
    list-style: none
  }

  ul.contentlist {
      list-style-type: none;
      padding-left: 0
  }
  ul.contentlist li {
      width: 100%;
      padding-bottom: 1em;
  }
  
  .date {
    float: left;
    margin-left: 1em
  }

  .paperdisplay img {
    margin-right: 1em
  }

  .main {
    margin-left: 0.4em;
/*    margin-right: 0.2em*/
  }
}

a {
  color: #000;
  /*font-weight: bold;*/
  /*text-decoration: none*/
}

a:visited {
  color: #555
}

code {
    font-size: 0.85em
}

pre {
    font-size: 0.85em;
    line-height: 1.3em;
    margin-left: 1em
}

.displaylink {
  text-align: center
}

.displaylink img, .paperdisplay img {
  display:          inline;
  align:            center;
  padding:          0em;
  box-shadow:       0em 0em 0.2em #000;
}

p.paperdisplay {
  float: right;
  margin-left: 2em;
}

div.annotation {
  margin-left: 2em;
  margin-right: 2em;
  font-size:   80%;
  line-height: 1.1em;
  color:       #555;
}

div.annotation span.time {
  font-weight: bold
}

/* For lists of supporting links */
ul.supporting
{ padding-left: 0em
}

ul.supporting li
{ display:      inline;
  margin-left:  0em;
  margin-right: 1em
}

.ocamlsymbol { color: #bb7700 }
.ocamlkeyword { font-weight: bold }
.ocamlstringconst { color: #ff3344 }
.ocamlabstr { color: #d0d0d0 }
.ocamlprompt { color: #505050 }

/* Agda **********************************************************************/

/* Aspects. */
.Agda .Comment       { color: #B22222 }
.Agda .Background    {}
.Agda .Markup        { color: #000000 }
.Agda .Keyword       { color: #CD6600 }
.Agda .String        { color: #B22222 }
.Agda .Number        { color: #A020F0 }
.Agda .Symbol        { color: #404040 }
.Agda .PrimitiveType { color: #0000CD }
.Agda .Pragma        { color: black   }
.Agda .Operator      {}

/* NameKinds. */
.Agda .Bound                  { color: black   }
.Agda .Generalizable          { color: black   }
.Agda .InductiveConstructor   { color: #008B00 }
.Agda .CoinductiveConstructor { color: #8B7500 }
.Agda .Datatype               { color: #0000CD }
.Agda .Field                  { color: #EE1289 }
.Agda .Function               { color: #0000CD }
.Agda .Module                 { color: #A020F0 }
.Agda .Postulate              { color: #0000CD }
.Agda .Primitive              { color: #0000CD }
.Agda .Record                 { color: #0000CD }

/* OtherAspects. */
.Agda .DottedPattern        {}
.Agda .UnsolvedMeta         { color: black; background: yellow         }
.Agda .UnsolvedConstraint   { color: black; background: yellow         }
.Agda .TerminationProblem   { color: black; background: #FFA07A        }
.Agda .IncompletePattern    { color: black; background: #F5DEB3        }
.Agda .Error                { color: red;   text-decoration: underline }
.Agda .TypeChecks           { color: black; background: #ADD8E6        }
.Agda .Deadcode             { color: black; background: #808080        }
.Agda .ShadowingInTelescope { color: black; background: #808080        }

/* Standard attributes. */
.Agda a { text-decoration: none }
.Agda a[href]:hover { background-color: #B4EEB4 }