88 lines
2.5 KiB
CSS
88 lines
2.5 KiB
CSS
/* Pretty printing styles. Used with prettify.js. */
|
|
|
|
/* SPAN elements with the classes below are added by prettyprint. */
|
|
.pln { color: #000 } /* plain text */
|
|
|
|
@media screen {
|
|
.str { color: #080 } /* string content */
|
|
.kwd { color: #008 } /* a keyword */
|
|
.com { color: #800 } /* a comment */
|
|
.typ { color: #606 } /* a type name */
|
|
.lit { color: #066 } /* a literal value */
|
|
/* punctuation, lisp open bracket, lisp close bracket */
|
|
.pun, .opn, .clo { color: #660 }
|
|
.tag { color: #008 } /* a markup tag name */
|
|
.atn { color: #606 } /* a markup attribute name */
|
|
.atv { color: #080 } /* a markup attribute value */
|
|
.dec, .var { color: #606 } /* a declaration; a variable name */
|
|
.fun { color: red } /* a function name */
|
|
}
|
|
|
|
/* Use higher contrast and text-weight for printable form. */
|
|
@media print, projection {
|
|
.str { color: #060 }
|
|
.kwd { color: #006; font-weight: bold }
|
|
.com { color: #600; font-style: italic }
|
|
.typ { color: #404; font-weight: bold }
|
|
.lit { color: #044 }
|
|
.pun, .opn, .clo { color: #440 }
|
|
.tag { color: #006; font-weight: bold }
|
|
.atn { color: #404 }
|
|
.atv { color: #060 }
|
|
}
|
|
|
|
/* Put a border around prettyprinted code snippets. */
|
|
pre.prettyprint { padding: 2px;
|
|
border-left:30px solid #ccc;
|
|
border-bottom: 1px solid #ccc;
|
|
border-right: 1px solid #ccc,
|
|
border-top: 1px solid #ccc }
|
|
|
|
pre li,ul,ol {
|
|
list-style-type: decimal;
|
|
}
|
|
|
|
/* Specify class=linenums on a pre to get line numbering */
|
|
ol.linenums { margin-top: 0; margin-bottom: 0;line-height: 15px;margin-left: 0px !important; } /* IE indents via margin-left */
|
|
/*.list_style ol li {*/
|
|
/*list-style-type: decimal;*/
|
|
/*margin-left: 10px !important;*/
|
|
/*}*/
|
|
.linenums li {
|
|
margin-left: 5px !important;
|
|
}
|
|
li.L0,
|
|
li.L1,
|
|
li.L2,
|
|
li.L3,
|
|
li.L5,
|
|
li.L6,
|
|
li.L7,
|
|
li.L8 { list-style-type: decimal; }
|
|
/* Alternate shading for lines */
|
|
li.L1,
|
|
li.L3,
|
|
li.L5,
|
|
li.L7,
|
|
li.L9 { background: #eee }
|
|
|
|
.prettyprint *{font-family:'courier new',monospace;}
|
|
/*.prettyprint .com { color: #93a1a1; }*/
|
|
/*.prettyprint .lit { color: #AE81FF; }*/
|
|
/*.prettyprint .pun,*/
|
|
/*.prettyprint .opn,*/
|
|
/*.prettyprint .clo { color: #F8F8F2; }*/
|
|
/*.prettyprint .fun { color: #dc322f; }*/
|
|
/*.prettyprint .str,*/
|
|
/*.prettyprint .atv { color: #E6DB74; }*/
|
|
/*.prettyprint .kwd,*/
|
|
/*.prettyprint .tag { color: #F92659; }*/
|
|
/*.prettyprint .typ,*/
|
|
/*.prettyprint .atn,*/
|
|
/*.prettyprint .dec,*/
|
|
/*.prettyprint .var { color: #A6E22E; }*/
|
|
/*.prettyprint .pln { color: #66D9EF; }*/
|
|
.memo-content pre {
|
|
white-space:pre !important;
|
|
word-wrap: break-word;
|
|
} |