    @import url('https://fonts.googleapis.com/css?family=Inconsolata');

    @font-face {
      font-family: "HP15CWebFont";
      src: local("HP15CSimulatorFont"), local("HP15C Simulator Font"),
           url("../fonts/HP-15C_Simulator_Font.ttf");
    }

    body {
      font-family: Helvetica, Arial, sans-serif;
    }

    code {
      font-size: 1.2em;
    }

    pre {
      font-size: 1.2em;
      background-color: #F4F4F4;
      margin-left: 20px;
      padding: 10px;
      display: inline-block;
    }

    img {
      margin-left: 20px;
    }

    .HP15CTblLayout {
      empty-cells: show;
      border-collapse: collapse;
      margin-left: 20px;
      margin-top: 0.5em;
      margin-bottom: 1em;
      border: none;
    }

    .HP15CTblHead {
      font-family: Helvetica, Arial, sans-serif;
      text-align: left;
      vertical-align: middle;
      white-space:nowrap;
      color: #000000;
      background-color: #D0D0D0;
      padding: 0.2em;
      padding-left: 0.5em;
      padding-right: 0.5em;
      border-color: black;
      border-width: 1px;
      border-style: solid;
    }

    .HP15CTblHeadEmpty {
      padding-left: 0.5em;
      border: none;
    }

    .HP15CTblLeft {
      font-family: Helvetica, Arial, sans-serif;
      font-weight: normal;
      text-align: left;
      vertical-align: middle;
      padding-left: 5px;
      padding-right: 5px;
      border-color: black;
      border-width: 1px;
      border-style: solid;
    }

    .HP15CTblCentered {
      font-family: Helvetica, Arial, sans-serif;
      text-align: center;
      vertical-align: middle;
      border-color: black;
      border-width: 1px;
      border-style: solid;
    }

    .HP15CTblRight {
      font-family: Helvetica, Arial, sans-serif;
      font-weight: normal;
      text-align: right;
      vertical-align: middle;
      padding-left: 5px;
      padding-right: 5px;
      border-color: black;
      border-width: 1px;
      border-style: solid;
    }

    .HP15CTblRightCode {
      font-family: HP15CWebFont, Inconsolata, Courier, monospace;
      font-weight: normal;
      font-size: 1.25em;
      text-align: right;
      vertical-align: middle;
      padding-left: 5px;
      padding-right: 5px;
      border-color: black;
      border-width: 1px;
      border-style: solid;
    }

    .HP15CRegister {
      font-family: Times, serif;
      font-size:  0.9em;
      font-weight: bold;
    }

    .HP15CKey, .HP15CBWKey, .HP15CfKeyLabel, .HP15CgKeyLabel {
      font-family: Helvetica, Arial, sans-serif;
      font-weight: bold;
      font-size: 0.9em;
      font-style: normal;
      text-align: center;
      padding-top: 0.1em;
      margin-bottom: 1px;
      padding-left: 3px;
      padding-right: 3px;
      border-radius: 4px;
      display: inline-block;
      min-width: 2.1em;
    }

    .HP15CKey {
      color: white;
      background-color: #454545;
    }

    .HP15CBWKey {
      border-color: black;
      border-width: 1px;
      border-style: solid;
    }

    .HP15CfKeyLabel {
      color: #E1A83E;
      background-color: #454545;
    }

    .HP15CgKeyLabel {
      color: #6CB7BD;
      background-color: #454545;
    }

    .HP15CfKey, .HP15CgKey, .HP15CBWfgKey {
      font-family: Helvetica, Arial, sans-serif;
      font-weight: bold;
      font-size: 0.9em;
      color:  black;
      text-align: center;
      padding-top: 0.1em;
      margin-bottom: 1px;
      padding-left: 6px;
      padding-right: 6px;
      border-radius: 4px;
      display: inline-block;
      min-width: 0.6em;
    }

    .HP15CfKey {
      background-color:  #E1A83E;
    }

    .HP15CgKey {
      background-color:  #6CB7BD;
    }

    .HP15CBWfgKey {
      border-color: black;
      border-width: 1px;
      border-style: solid;
    }

    .HP15CindentSeq {
      margin-left: 1.65em;
    }
