@font-face {
  font-family: 'D2 coding';
  font-style: normal;
  font-weight: 400;
  src: url('D2Coding.eot');
  src: local('※'), local('D2Coding'),
    url('D2Coding.eot?#iefix') format('embedded-opentype'),
    url('D2Coding.woff2') format('x-woff2'),
    url('D2Coding.woff') format('woff'),
    url('D2Coding.ttf') format('truetype'),
    url('D2Coding.svg') format('svg');
}

@font-face {
  font-family: 'D2 coding';
  font-style: normal;
  font-weight: 700;
  src: url('D2CodingBold.eot');
  src: local('※'), local('D2Coding Bold'),
    url('D2CodingBold.eot?#iefix') format('embedded-opentype'),
    url('D2CodingBold.woff2') format('x-woff2'),
    url('D2CodingBold.woff') format('woff'),
    url('D2CodingBold.ttf') format('truetype'),
    url('D2CodingBold.svg') format('svg');
}

div.cell div.cell-output-stdout pre code {
  background-color: rgba(219, 219, 219, 0.8);
  padding: 1em 1em 1em 1em;
  margin-top: 0em;
  margin-left: 0em;
  font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
}