This repository has been archived on 2024-09-12. You can view files and clone it, but cannot push or open issues or pull requests.
svrjs-website/themes/svrjswebsite/source/css/highlight.css
2024-03-15 21:53:12 +01:00

269 lines
4.7 KiB
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;
}
.content pre,
.content 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: #000f00;
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");
}