@ -683,7 +683,7 @@ html, body {
padding: 0 8px 0 10px;
cursor: pointer;
display: block;
margin-top: 6px;
margin-top: 2px;
font-size: 90%;
}
@ -123,6 +123,10 @@
padding: 0;
.markdown > pre > ol.linenums > li {
.markdown > pre.linenums-style > ol.linenums {
list-style-type: decimal;
padding: 0 0 0 40px;
@ -246,6 +250,7 @@
/* a comment */
.com {
color: #999988;
font-style: italic;
/* a type name */