@import "https://cdn.jsdelivr.net/npm/bulma@0.9.3/css/bulma.min.css";
@import "./bulma-overrides.css";
@import "./nav.css";
@import 'rcvapi.css';
@import "./manual.css";
@import url('https://fonts.googleapis.com/css?family=Fira+Mono&display=swap');

h1, h2, h3, h4, h5, h6 {
    font-weight: bold;
}

h1 { font-size: 2em }
h2 { font-size: 1.2em }
h3 { font-size: 1.1em }
h4 { font-size: 1em }


code, pre {
    font-family: 'Fira Mono', monospace;
}

pre {
    padding: 1em 2em 1em 2em;
}

ol {
    margin-left: 1em;
}

ol li {
    margin-bottom: 1em;
}

p {
    margin-bottom: 2em;
}



table#references td, th {
    padding: 0.5em;
}

table#references th {
    font-weight: bold;
}

* {
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
  }
  
  #content {
    border: none;
    padding: 0;
    padding-left: 24px;
    padding-right: 24px;
  }
  
  #content h1 {
    font-size: 1.8em;
    text-align: left;
  }
  #content h3 {
    font-size: 1.4em;
    line-height: 1.2em;
    margin-bottom: 0.5em;
  }
  #content h4 {
    font-size: 1.1em;
    margin-bottom: 0.5em;
    margin-top: 1.5em;
  }
  #content h3:not(:first-child) {
    margin-top: 1.8em;
  }
  #content ol li {
    margin-bottom: 0.3em;
  }
  #content hr {
    margin-top: 3.3em;
    border-color: #c9c9c9;
    box-shadow: 0 1px 0 #e1e1e1; 
  }
  
  @media (min-width: 1024px) {
    #content {
      max-width: 991px;
    }
    #content h1 {
      font-size: 2.5em;
      line-height: 1.2em;
    }
    #content h3 {
      font-size: 1.8em;
    }
    #content h4 {
      font-size: 1.4em;
    }
  }