.darkmode--activated pre.numberSource code > span > a:first-child::before
  { content: counter(source-line);
    position: relative; left: -1em; text-align: right; vertical-align: baseline;
    border: none; display: inline-block;
    -webkit-touch-callout: none; -webkit-user-select: none;
    -khtml-user-select: none; -moz-user-select: none;
    -ms-user-select: none; user-select: none;
    padding: 0 4px; width: 4em;
    background-color: #232629;
    color: #7a7c7d;
  }
.darkmode--activated pre.numberSource { margin-left: 3em; border-left: 1px solid #7a7c7d;  padding-left: 4px; }
.darkmode--activated div.sourceCode
  { color: #cfcfc2; background-color: #232629; }
.darkmode--activated code span { color: #cfcfc2; } /* Normal */
.darkmode--activated code span.al { color: #95da4c; background-color: #4d1f24; font-weight: bold; } /* Alert */
.darkmode--activated code span.an { color: #3f8058; } /* Annotation */
.darkmode--activated code span.at { color: #2980b9; } /* Attribute */
.darkmode--activated code span.bn { color: #f67400; } /* BaseN */
.darkmode--activated code span.bu { color: #7f8c8d; } /* BuiltIn */
.darkmode--activated code span.cf { color: #fdbc4b; font-weight: bold; } /* ControlFlow */
.darkmode--activated code span.ch { color: #3daee9; } /* Char */
.darkmode--activated code span.cn { color: #27aeae; font-weight: bold; } /* Constant */
.darkmode--activated code span.co { color: #7a7c7d; } /* Comment */
.darkmode--activated code span.cv { color: #7f8c8d; } /* CommentVar */
.darkmode--activated code span.do { color: #a43340; } /* Documentation */
.darkmode--activated code span.dt { color: #2980b9; } /* DataType */
.darkmode--activated code span.dv { color: #f67400; } /* DecVal */
.darkmode--activated code span.er { color: #da4453; text-decoration: underline; } /* Error */
.darkmode--activated code span.ex { color: #0099ff; font-weight: bold; } /* Extension */
.darkmode--activated code span.fl { color: #f67400; } /* Float */
.darkmode--activated code span.fu { color: #8e44ad; } /* Function */
.darkmode--activated code span.im { color: #27ae60; } /* Import */
.darkmode--activated code span.in { color: #c45b00; } /* Information */
.darkmode--activated code span.kw { color: #cfcfc2; font-weight: bold; } /* Keyword */
.darkmode--activated code span.op { color: #cfcfc2; } /* Operator */
.darkmode--activated code span.ot { color: #27ae60; } /* Other */
.darkmode--activated code span.pp { color: #27ae60; } /* Preprocessor */
.darkmode--activated code span.re { color: #2980b9; background-color: #153042; } /* RegionMarker */
.darkmode--activated code span.sc { color: #3daee9; } /* SpecialChar */
.darkmode--activated code span.ss { color: #da4453; } /* SpecialString */
.darkmode--activated code span.st { color: #f44f4f; } /* String */
.darkmode--activated code span.va { color: #27aeae; } /* Variable */
.darkmode--activated code span.vs { color: #da4453; } /* VerbatimString */
.darkmode--activated code span.wa { color: #da4453; } /* Warning */