<!DOCTYPE html>
<html class="height-100 width-100">
  <head>
    <link rel="stylesheet" type="text/css" href="index.min.css" />
    <style>
      dt {
        font-weight: bold;
      }
      dd {
        margin-bottom: 1.5rem;
      }
      pre,
      code {
        background: var(--gray);
      }
      code {
        padding: 0 3px;
      }
      * {
        box-sizing: border-box;
        font-family: Roboto, Helvetica Neue, sans-serif;
      }
      ul,
      li {
        list-style: none;
        marg