2011-01-24 02:59:29 +00:00
|
|
|
pre {
|
2011-01-24 10:36:57 +00:00
|
|
|
padding: 10px;
|
|
|
|
|
border: 1px solid #ccc;
|
|
|
|
|
max-width: 500px;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Pretty printing styles. Used with prettify.js. */
|
|
|
|
|
|
|
|
|
|
/* SPAN elements with the classes below are added by prettyprint. */
|
|
|
|
|
.str { color: #080; }
|
|
|
|
|
.kwd { color: #008; }
|
|
|
|
|
.com { color: #800; }
|
|
|
|
|
.typ { color: #606; }
|
|
|
|
|
.lit { color: #066; }
|
|
|
|
|
.pun, .opn, .clo { color: #660; }
|
|
|
|
|
.pln { color: #000; }
|
|
|
|
|
.tag { color: #008; }
|
|
|
|
|
.atn { color: #606; }
|
|
|
|
|
.atv { color: #080; }
|
|
|
|
|
.dec { color: #606; }
|
|
|
|
|
|
|
|
|
|
/* Specify class=linenums on a pre to get line numbering */
|
|
|
|
|
ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
|
|
|
|
|
li.L0,
|
|
|
|
|
li.L1,
|
|
|
|
|
li.L2,
|
|
|
|
|
li.L3,
|
|
|
|
|
li.L5,
|
|
|
|
|
li.L6,
|
|
|
|
|
li.L7,
|
|
|
|
|
li.L8 { list-style-type: none }
|
|
|
|
|
/* Alternate shading for lines */
|
|
|
|
|
li.L1,
|
|
|
|
|
li.L3,
|
|
|
|
|
li.L5,
|
|
|
|
|
li.L7,
|
|
|
|
|
li.L9 { background: #eee }
|
