mirror of
https://github.com/monadicsystems/okapi.git
synced 2024-11-26 21:39:51 +03:00
250 lines
3.2 KiB
CSS
250 lines
3.2 KiB
CSS
pre>code.sourceCode {
|
|
white-space: pre;
|
|
position: relative;
|
|
}
|
|
|
|
pre>code.sourceCode>span {
|
|
display: inline-block;
|
|
line-height: 1.25;
|
|
}
|
|
|
|
pre>code.sourceCode>span:empty {
|
|
height: 1.2em;
|
|
}
|
|
|
|
.sourceCode {
|
|
overflow: visible;
|
|
}
|
|
|
|
code.sourceCode>span {
|
|
color: inherit;
|
|
text-decoration: inherit;
|
|
}
|
|
|
|
div.sourceCode {
|
|
margin: 1em 0;
|
|
padding: 1em;
|
|
border: #204a87 2px solid;
|
|
border-radius: 1em;
|
|
}
|
|
|
|
pre.sourceCode {
|
|
margin: 0;
|
|
}
|
|
|
|
@media screen {
|
|
div.sourceCode {
|
|
overflow: auto;
|
|
}
|
|
}
|
|
|
|
@media print {
|
|
pre>code.sourceCode {
|
|
white-space: pre-wrap;
|
|
}
|
|
|
|
pre>code.sourceCode>span {
|
|
text-indent: -5em;
|
|
padding-left: 5em;
|
|
}
|
|
}
|
|
|
|
pre.numberSource code {
|
|
counter-reset: source-line 0;
|
|
}
|
|
|
|
pre.numberSource code>span {
|
|
position: relative;
|
|
left: -4em;
|
|
counter-increment: source-line;
|
|
}
|
|
|
|
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;
|
|
color: #aaaaaa;
|
|
}
|
|
|
|
pre.numberSource {
|
|
margin-left: 3em;
|
|
border-left: 1px solid #aaaaaa;
|
|
padding-left: 4px;
|
|
}
|
|
|
|
div.sourceCode {
|
|
background-color: transparent;
|
|
}
|
|
|
|
@media screen {
|
|
pre>code.sourceCode>span>a:first-child::before {
|
|
text-decoration: underline;
|
|
}
|
|
}
|
|
|
|
code span.al {
|
|
color: #ef2929;
|
|
}
|
|
|
|
/* Alert */
|
|
code span.an {
|
|
color: #8f5902;
|
|
font-weight: bold;
|
|
font-style: italic;
|
|
}
|
|
|
|
/* Annotation */
|
|
code span.at {
|
|
color: #204a87;
|
|
}
|
|
|
|
/* Attribute */
|
|
code span.bn {
|
|
color: #0000cf;
|
|
}
|
|
|
|
/* BaseN */
|
|
code span.cf {
|
|
color: #204a87;
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* ControlFlow */
|
|
code span.ch {
|
|
color: #4e9a06;
|
|
}
|
|
|
|
/* Char */
|
|
code span.cn {
|
|
color: #8f5902;
|
|
}
|
|
|
|
/* Constant */
|
|
code span.co {
|
|
color: #8f5902;
|
|
font-style: italic;
|
|
}
|
|
|
|
/* Comment */
|
|
code span.cv {
|
|
color: #8f5902;
|
|
font-weight: bold;
|
|
font-style: italic;
|
|
}
|
|
|
|
/* CommentVar */
|
|
code span.do {
|
|
color: #8f5902;
|
|
font-weight: bold;
|
|
font-style: italic;
|
|
}
|
|
|
|
/* Documentation */
|
|
code span.dt {
|
|
color: #204a87;
|
|
}
|
|
|
|
/* DataType */
|
|
code span.dv {
|
|
color: #0000cf;
|
|
}
|
|
|
|
/* DecVal */
|
|
code span.er {
|
|
color: #a40000;
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* Error */
|
|
code span.ex {}
|
|
|
|
/* Extension */
|
|
code span.fl {
|
|
color: #0000cf;
|
|
}
|
|
|
|
/* Float */
|
|
code span.fu {
|
|
color: #204a87;
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* Function */
|
|
code span.im {}
|
|
|
|
/* Import */
|
|
code span.in {
|
|
color: #8f5902;
|
|
font-weight: bold;
|
|
font-style: italic;
|
|
}
|
|
|
|
/* Information */
|
|
code span.kw {
|
|
color: #204a87;
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* Keyword */
|
|
code span.op {
|
|
color: #ce5c00;
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* Operator */
|
|
code span.ot {
|
|
color: #8f5902;
|
|
}
|
|
|
|
/* Other */
|
|
code span.pp {
|
|
color: #8f5902;
|
|
font-style: italic;
|
|
}
|
|
|
|
/* Preprocessor */
|
|
code span.sc {
|
|
color: #ce5c00;
|
|
font-weight: bold;
|
|
}
|
|
|
|
/* SpecialChar */
|
|
code span.ss {
|
|
color: #4e9a06;
|
|
}
|
|
|
|
/* SpecialString */
|
|
code span.st {
|
|
color: #4e9a06;
|
|
}
|
|
|
|
/* String */
|
|
code span.va {
|
|
color: #000000;
|
|
}
|
|
|
|
/* Variable */
|
|
code span.vs {
|
|
color: #4e9a06;
|
|
}
|
|
|
|
/* VerbatimString */
|
|
code span.wa {
|
|
color: #8f5902;
|
|
font-weight: bold;
|
|
font-style: italic;
|
|
}
|
|
|
|
/* Warning */ |