div.sourceCode {
  background-color: black;

  font-family: monospace;

  padding: 0 5px;
  margin: 16px 0 !important;
  margin-left: 4ch !important;

  border: dotted 2px var(--font-color);
}

code {
  background-color: black;
  color: #c4c4c4;

  font-family: monospace;

  border: dotted 1px var(--font-color);

  hyphens: none;
}

.sourceCode * {
  color: #c4c4c4;
  padding: 0;
  text-transform: none;
  overflow: auto !important;
  border: none !important;
}

.dt { color: #5fd65f; }

.dv { color: #fe86fe; }

.pp { color: #5fd6d6; }

.cf { color: white; font-weight: bold; }

.co { color: #5eaefd; }

.st, .im { color: #fed686; }

.sc { color: #5faeae;