/* Display
----------------------------------------------- */

@media screen and (min-width: 114ex) {
  body {
    width: 110ex;
  }
}
@media screen and (max-width: 113ex) {
  body {
    width: 97%;
  }
}


/* Links
----------------------------------------------- */
#site-title a {
    color: #000;
    text-decoration:none;
    border: 0;
}

#article-title {
    font-size: 1.5em;
    line-height: 1.2em;
    border-bottom: 1px solid #000;
    margin-bottom: 0px;
}

/* printing hide lame things*/
@media print {
    .hide-on-print { display: none !important; }
}
.theorem-environment{
  color: #000;
  padding: 0 0;
  margin: 0.6em 0;
  font-style: italic;
}
.theorem-header {
  font-weight: bold;
  font-style: normal;
}
.theorem-header .index:before {
  content: ' ';
}
.theorem-header .name:before {
  content: ' (';
}
.theorem-header .name:after {
  content: ')';
}
.theorem-header:after {
  content: '.\2002\2002';
}
.theorem-header + p{
    display:inline;
}
.Proof .type {
  font-style: italic;
  font-weight: normal;
}
.Proof {
  padding: 0 0;
  font-style: normal;
  position: relative;
}
.Proof:after {
  content: '◾️';
  position: absolute;
  right: -12px;
  bottom: -2px;
}

table.postindex{
  width: 100%;
}
.info {
  margin-top: 20px;
  color: #999;
}
.info a {
    text-decoration: none;
    border-bottom: 1px #999 dotted;
    color: #999;
}
table.postindex cite {
  font-style: normal;
}

table.postindex td.right {
  text-align: right;
  width: 11ex;
}

.header-section-number {
    margin-right: 10px;
}
.header-section-number:after {
    content: '.';
}
/* code highlight */
table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
  margin: 0; padding: 0; vertical-align: baseline; border: none; }
table.sourceCode { width: 100%; line-height: 100%; }
td.lineNumbers { text-align: right; padding-right: 4px; padding-left: 4px; }
td.sourceCode { padding-left: 5px; }
code > span.kw { font-weight: bold; }
code > span.dt { text-decoration: underline; }
code > span.co { font-style: italic; }
code > span.al { font-weight: bold; }
code > span.er { font-weight: bold; }

  dt {
    font-weight: normal;
    font-style: italic;
  }
  dd {
    margin: 0;
    padding: 0 0 0.5em 0;
  }

.csl-left-margin {
  display: inline;
}
.csl-right-inline {
  display: inline;
}
article {
   width: 100%;
   float: left;
}

article p + p {
    text-indent: 1.5em;
}

/* Navigation
----------------------------------------------- */
nav {
    margin: 10px 0 10px 0;
    position: relative;
}

nav ul {
    list-style: none;
    margin: 0;
    padding: 0;
}

nav ul li {
    display: inline;
    margin: 0 15px 0 0;
    padding: 3px 0 3px 0;
    position: relative;
    border: 0;
}
nav ul li a {
    border: 0;
}

/* Gist */
.gist {
  font-size: inherit !important;
}
.gist-file {
  border: none !important;
  margin-left:0em !important;
  margin-top:1em !important;
  margin-bottom:1em !important;
  margin-right:0em !important;
}
.gist .blob-code {
  line-height: inherit !important;
  padding: 0px 0px !important;
}
.gist .blob-num {
  line-height: inherit !important;
  padding: 0px 0px !important;
  display: none;
}
.gist .blob-code-inner {
  font-size: 90% !important;
}
.gist .highlight{
  line-height:inherit !important;
  font-size:inherit !important;
}
.gist-data {
  padding: 0 0 !important;
  border: 0 !important;
  border-bottom: none !important;
  border-radius: 0px !important;
}
.gist .gist-meta {
  display: none;
}
/* code highlight */
.gist .pl-k {
  font-weight: bold;
}
.gist .pl-en {
  font-style: italic;
  font-weight: bold;
}
.gist .pl-c {
  color: #999 !important;
  font-style: italic;
}
.gist .pl-c1, .gist .pl-s, .gist .pl-v, .gist .pl-smi, .gist .pl-e, .gist .pl-k, .gist .pl-en{
  color: #000 !important;
}