@media all
{
  html { font-family: "Lucida Sans", "Lucida Sans Unicode", "Lucida Grande", sans-serif; }

  h1 { font-weight: normal }
  h2 { font-weight: normal }
  h3 { font-weight: normal }

  pre, tt, code, kbd, samp { font-family: "Lucida Sans Typewriter", "Andale Mono", monospace }
  i, em { font-style: italic; }
  hr { border: 0; color: black; background-color: black; }

  ul { list-style-type: none; padding-left: 3em; text-indent: -1.4em; }
  ul li:before { content: '— '; }
  div.page-break { display: none }
  .nowrap { white-space: nowrap }

  a:link, a:visited { color:black; text-decoration: none }

  /*!
   * Font Awesome Free 5.11.2 by @fontawesome - https://fontawesome.com
   * License - https://fontawesome.com/license/free (Icons: CC BY 4.0, Fonts: SIL OFL 1.1, Code: MIT License)
   */
  img.fa-svg { height: 1em; vertical-align: sub; margin-right: 1% }
}
/* Default screen rules for classic "desktop". */
@media screen
{
  body { color: black; background-color: white; margin: 11% 0 11% 0; }
  #container { position: relative }
  #text { margin-left: 17%; max-width: 38em; width: 66% }
  #side { position: absolute; top: 0; left: 3%; width: 11%; text-align: right }

  #text { font-size: 12pt; line-height: 1.312em }
  #text p { margin-top: 0; margin-bottom: 1.312em }
  #text h1 { line-height: 0.656em; margin-top: 0.656em; margin-bottom: 0.656em }
  #text h2 { line-height: 0.875em; margin-top: 0.875em; margin-bottom: 0.875em }
  #text h3 { line-height: 1.122em; margin-top: 1.122em; margin-bottom: 1.122em }

  #side { font-size: 10pt; line-height: 1.575em }
  #side p { margin-top: 0; margin-bottom: 1.575em }

  pre, tt, code, kbd, samp { font-size: 10pt }
  pre { margin-top: 1.575em; margin-bottom: 1.575em; padding-left: 2em; }
  hr { height: 2px; margin-top: 1.312em; margin-bottom: 1.312em; }

  a:link, a:visited { border-bottom: 1px dotted black }
  a:hover { border-bottom: 1px solid black }
}
@media print
{
  div.page-break { display: block; page-break-before: always; }
}
/* TODO: Both of the below disable #side, this is OK for now since we don't
 * use it. */
/* Smartphones; should cover anything up to IPhone 5. */
@media only screen
and (max-device-width : 640px)
{
  body { margin: 0.5em; }
  #text { margin: 0 auto; max-width: 38em; width: auto; }
  #side { display: none }
  ul { padding-left: 2em; }
}
/* Tablets. */
@media only screen
and (min-device-width : 768px)
and (max-device-width : 1024px)
{
  body { margin: 5em 0 5em 0; }
  #text { margin: 0 auto; max-width: 38em; width: auto; }
  #side { display: none }
}