svrjs-website/themes/svrjswebsite/source/css/highlight.css

.content pre,
.content .highlight {
	background: #2d2d2d;
	padding: 15px 20px;
	border-style: solid;
	border-color: #ddd;
	border-width: 1px 0;
	overflow: auto;
	color: #ccc;
	line-height: 1.6em;
}

.content .highlight .gutter pre,
.content .gist .gist-file .gist-data .line-numbers {
	color: #666;
	font-size: 0.7225em;
	line-height: 1.88235em;
}

pre, code {
  font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", Hack, Menlo, Consolas, Monaco, monospace;
        font-size: 0.85em;
}

.translated-rtl .content .highlight {
        direction: ltr;
	text-align: left;
}

.content code {
	background: #ffffff;
	text-shadow: 0 1px #fff;
	padding: 0 0.3em;
}

@media screen and (prefers-color-scheme: dark) {
	.content code {
		background: #000700;
		text-shadow: 0 1px #000;
	}
}

.content pre code {
	background: none;
	text-shadow: none;
	padding: 0;
}

.content .highlight pre {
	border: none;
	margin: 0;
	padding: 0;
        font-size: 0.85em;
}

.content .highlight table {
	margin: 0;
	width: auto;
}

.content .highlight table tbody::after {
	display: none;
}

.content .highlight td {
	border: none;
	padding: 0;
        text-align: left;
}

.content .highlight figcaption {
	font-size: 0.85em;
	color: #999;
	line-height: 1em;
	margin-bottom: 1em;
}

.content .highlight figcaption a {
	float: right;
}

.content .highlight .gutter {
	-moz-user-select: none;
	-ms-user-select: none;
	-webkit-user-select: none;
	user-select: none;
        overflow-wrap: normal;
        word-wrap: normal;
        word-break: keep-all;
        background-color: #2d2d2d;
}

.content .highlight .gutter pre {
	text-align: right;
	padding-right: 20px;
}

.content .highlight .code {
        background-color: #2d2d2d;
}

.content .highlight .line {
	height: 1.6em;
}

.content .highlight .line.marked {
	background: #515151;
}

.content .gist {
	border-style: solid;
	border-color: #ddd;
	border-width: 1px 0;
	background: #2d2d2d;
	padding: 15px 20px 15px 0;
}

.content .gist .gist-file {
	border: none;
        font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono", Hack, Menlo, Consolas, Monaco, monospace;
	margin: 0;
}

.content .gist .gist-file .gist-data {
	background: none;
	border: none;
}

.content .gist .gist-file .gist-data .line-numbers {
	background: none;
	border: none;
	padding: 0 20px 0 0;
}

.content .gist .gist-file .gist-data .line-data {
	padding: 0 !important;
}

.content .gist .gist-file .highlight {
	margin: 0;
	padding: 0;
	border: none;
        font-size: 0.85em;
}

.content .gist .gist-file .gist-meta {
	background: #2d2d2d;
	color: #999;
	font: 0.85em FreeSans, Helvetica, Tahoma, Verdana, Arial, sans-serif;
	text-shadow: 0 0;
	padding: 0;
	margin-top: 1em;
	margin-left: 20px;
}

.content .gist .gist-file .gist-meta a {
	/*color: #007000;*/
	font-weight: normal;
}

.content .gist .gist-file .gist-meta a:hover {
	text-decoration: underline;
}

pre .comment,
pre .title {
	color: #999;
}

pre .variable,
pre .attribute,
pre .tag,
pre .regexp,
pre .ruby .constant,
pre .xml .tag .title,
pre .xml .pi,
pre .xml .doctype,
pre .html .doctype,
pre .css .id,
pre .css .class,
pre .css .pseudo {
	color: #f2777a;
}

pre .number,
pre .preprocessor,
pre .built_in,
pre .literal,
pre .params,
pre .constant {
	color: #f99157;
}

pre .class,
pre .ruby .class .title,
pre .css .rules .attribute {
	color: #9c9;
}

pre .string,
pre .value,
pre .inheritance,
pre .header,
pre .ruby .symbol,
pre .xml .cdata {
	color: #9c9;
}

pre .css .hexcolor {
	color: #6cc;
}

pre .function,
pre .python .decorator,
pre .python .title,
pre .ruby .function .title,
pre .ruby .title .keyword,
pre .perl .sub,
pre .javascript .title,
pre .coffeescript .title {
	color: #69c;
}

pre .keyword,
pre .javascript .function {
	color: #c9c;
}

@media print {
  .content .highlight .gutter {
    display: none;
  }  
}

@media screen and (prefers-color-scheme: dark) {
	.content pre,
  .content .highlight {
		border-color: #000a00;
	}
}

@font-face {
  font-family: "DejaVu Sans Mono";
  font-display: swap;
  src: url("/fonts/DejaVuSansMono.woff") format("woff"), url("/fonts/DejaVuSansMono.ttf") format("truetype");
}

@font-face {
  font-family: "DejaVu Sans Mono";
  font-weight: bold;
  font-display: swap;
  src: url("/fonts/DejaVuSansMono-Bold.woff") format("woff"), url("/fonts/DejaVuSansMono-Bold.ttf") format("truetype");
}

@font-face {
  font-family: "DejaVu Sans Mono";
  font-style: italic;
  font-display: swap;
  src: url("/fonts/DejaVuSansMono-Oblique.woff") format("woff"), url("/fonts/DejaVuSansMono-Oblique.ttf") format("truetype");
}

@font-face {
  font-family: "DejaVu Sans Mono";
  font-style: italic;
  font-weight: bold;
  font-display: swap;
  src: url("/fonts/DejaVuSansMono-BoldOblique.woff") format("woff"), url("/fonts/DejaVuSansMono-BoldOblique.ttf") format("truetype");
}