|
|
|
|
@ -38,8 +38,11 @@ pre.prettyprint { padding: 2px;
|
|
|
|
|
border-right: 1px solid #ccc,
|
|
|
|
|
border-top: 1px solid #ccc }
|
|
|
|
|
|
|
|
|
|
pre li,ul,ol {
|
|
|
|
|
list-style-type: none;
|
|
|
|
|
pre li,ol li {
|
|
|
|
|
list-style-type: decimal;
|
|
|
|
|
}
|
|
|
|
|
ul li{
|
|
|
|
|
list-style-type: disc;
|
|
|
|
|
}
|
|
|
|
|
/* Specify class=linenums on a pre to get line numbering */
|
|
|
|
|
ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
|
|
|
|
|
@ -50,7 +53,7 @@ li.L3,
|
|
|
|
|
li.L5,
|
|
|
|
|
li.L6,
|
|
|
|
|
li.L7,
|
|
|
|
|
li.L8 { list-style-type: none }
|
|
|
|
|
li.L8 { list-style-type: decimal }
|
|
|
|
|
/* Alternate shading for lines */
|
|
|
|
|
li.L1,
|
|
|
|
|
li.L3,
|
|
|
|
|
|
