* {padding: 0; margin: 0; line-height: 1.3}

html { font-size: 14pt; font-family: Times New Roman, serif; }
body {max-width: 50rem; margin: auto; padding: 1.33rem 1.5rem 0 1.5rem;}
li {margin-left: 1.5rem}
code, samp {font-size: 10.5pt}
small {font-size: 12pt;}


body > div > h1, body > div > h1 + h2  {
  font-size: 2.3em;
  letter-spacing: 0.23rem;
  transform: skewX(-3deg);
  text-align: center;
  margin: 1.8rem 0;
}
body > div > h1 + h2 {
  font-size: 1.4em;
  margin-left: 8rem;
  margin-top: -1.6rem;
  
}
body > div > div h2 {
  font-size: 17pt;
  transform: skewX(-3deg);
  text-decoration: underline;
}
h3 {
  font-size: 15.75pt;
}
div + div > h3 {
  margin-top: 0.5rem;
}

summary + div {margin-top: 1.5rem;}



/*h2, h3, h4 {margin-top: 1rem; margin-bottom: 0.66rem}*/
div + div > h1 {margin-top: 1rem}


h2 + p { padding-top:0 }

/*
h1 {font-size: 15pt; margin-bottom: 1rem}
h3 {font-size: smaller}
*/
small-caps {text-transform: lowercase; font-variant: small-caps; font-size: 14pt; line-height: 0;}
an-example {display: block; margin-bottom: 3rem;}

inline-syntax {font-size: 14px; font-family: monospace}
warning-class {font-size: 14px; font-style: italic; font-family: monospace}
warning-type {font-size: 14px; font-family: monospace}


nav {margin-top: 3rem}
nav .more:before {  content: "\22ef"; position: relative; margin-left: -1.35rem; float: left }
div + nav .edit:before {  content: "\270e"; position: relative; margin-left: -1.35rem; float: left }
nav .return:before {  content: "\2190"; position: relative; margin-left: -1.25rem; float: left }

footer {margin-top: 2rem}


p {margin-top: 1rem; margin-bottom: 1rem}

      p code, li code {background: #d3cfc5; padding: 3px; border-radius: 5px; font-size: 10pt;}

      code pre, samp pre {
        background: #d3cfc5;
        color: #313131;
        margin-left: 5rem;
        width: 20rem;
        padding: 0.3rem;
      }
      code pre {
        border-top-left-radius: 5px;
        border-top-right-radius: 5px;
        border-bottom-left-radius: 5px;
        border-bottom-right-radius: 5px;
      }
      samp pre::before {
        display: block;
        content: '---------------------------------------------';
        text-align: center;
        margin-bottom: 0.5rem;
        color: #a0a0a0;
        overflow-x: hidden;
      }
      samp pre {
        margin-top: -5px;
        /*border-bottom-left-radius: 5px;
        border-bottom-right-radius: 5px;*/
        /* chromium :( */
        border-radius: 5px;
      }

small code, code.other {background: none; padding: 0}

code.heading:first-of-type p { margin-top: 1.33rem }
code.heading > p { margin: 0 0 0.15rem 0 }
code.heading + p { margin-top: 0 }


a { color: #1e90ff; }