/*
******
* THIS STYLESHEET IS
* 
* DEPRECATED

*/
      
      
      :root {
        --background: #EEE8D5;
        --subbackground: #DDD9C7;
        --intermediate: #657B83;
        --text: #002B36;
      }
      
      main {
        margin: auto;
        padding: 2ch;
        font-size: 16px;
        max-width: 70ch;
      }
      
      body {
        background-color: var(--background);
        color: var(--text);
        font-family: Liberation Sans, sans-serif;
      }
      
      img {
        margin: auto;
        display: block;
        padding: 1ch 0;
      }
      
      .subtitle {
        color: var(--intermediate);
        font-style: italic;
      }
      
      h1 {
        text-align: center;
      }
      
      a:not(.anchor), #nightmode {
        color: var(--intermediate);
        text-decoration: underline;
      }
      
      #nightmode {
        float: right;
        cursor: pointer;
      }
      
      .centre {
        margin: auto;
        display: block;
        text-align: center;
      }
      
      code, pre, .monospace {
        font: Liberation Mono, monospace;
      }
      
      pre {
        background-color: var(--subbackground);
        padding: 5px;
      }
      
      .serif {
        font: Liberation Serif, serif;
      }
      
      .smallcaps {
        font-variant: small-caps;
      }
      
      blockquote {
        margin-top: 0.5em;
        margin-bottom: 0.5em;
        font-style: italic;
      }
      
      q {
        font-style: italic;
      }
      
      li {
        margin: 0.1em;
      }
      
      /* Solarised colours */
      
      .yellow {
        color: #B58900;
      }
      
      .orange {
        color: #CB4B16;
      }
      
      .red {
        color: #CB4B16;
      }
      
      .magenta {
        color: #D33682;
      }
      
      .violet {
        color: #6C71C4;
      }
      
      .blue {
        color: #268BD2;
      }
      
      .cyan {
        color: #2AA198;
      }
      
      .green {
        color: #859900;
      }
      
      .grey {
        color: var(--intermediate);
      }
      
      .textcolour {
        color: var(--text);
      }
      
      /* Solarised colours (backgrounds) */
      
      .yellowbg {
        background-color: #B58900;
      }
      
      .orangebg {
        background-color: #CB4B16;
      }
      
      .redbg {
        background-color: #CB4B16;
      }
      
      .magentabg {
        background-color: #D33682;
      }
      
      .violetbg {
        background-color: #6C71C4;
      }
      
      .bluebg {
        background-color: #268BD2;
      }
      
      .cyanbg {
        background-color: #2AA198;
      }
      
      .greenbg {
        background-color: #859900;
      }
      
      .greybg {
        background-color: var(--intermediate);
      }
      
      .textcolourbg {
        background-color: var(--text);
      }
      
      .fn {
  color: var(--intermediate);
  text-decoration: underline;
}

.fnbox {
  background-color: var(--subbackground);
  color: var(--intermediate);
  padding: 2px;
  margin: 5px;
}

input {
      border: none;
      background-color: rgba(0, 0, 0, 0%);
      font-size: 16px;
      color: var(--intermediate);
      padding: 10px;
      border-bottom: 1px solid var(--intermediate);
      margin: 5px;
    }
    
    button {
      padding: 10px;
      border: 1px solid var(--intermediate);
      background-color: rgba(0, 0, 0, 0%);
      color: var(--intermediate);
      transition-duration: 0.5s;
      margin: 5px;
    }
    
    button:hover:not(.colourbutton) {
      background-color: var(--intermediate);
      color: var(--background);
    }
    
    .shortinput {
      width: 30px;
    }
    
    .normal {
      font-weight: 500;
    }