diff --git a/styles/desert.css b/styles/desert.css index 3723668d..043cb9b0 100644 --- a/styles/desert.css +++ b/styles/desert.css @@ -14,7 +14,7 @@ pre .atv { color: #ffa0a0 } /* attribute value - pink */ pre .dec { color: #98fb98 } /* decimal - lightgreen */ /* Specify class=linenums on a pre to get line numbering */ -ol.linenums { margin-top: 0; margin-bottom: 0; color: #AEAEAE } /* IE indents via margin-left */ +ol.linenums { margin-top: 0; margin-bottom: 0; color: #AEAEAE; display: inline-block; } /* 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 { } diff --git a/styles/doxy.css b/styles/doxy.css index b0e89161..d0187960 100644 --- a/styles/doxy.css +++ b/styles/doxy.css @@ -41,7 +41,7 @@ pre.prettyprint a, code.prettyprint a { text-decoration:none; } /* Specify class=linenums on a pre to get line numbering; line numbers themselves are the same color as punctuation */ -ol.linenums { margin-top: 0; margin-bottom: 0; color: #8B8970; } /* IE indents via margin-left */ +ol.linenums { margin-top: 0; margin-bottom: 0; color: #8B8970; display: inline-block; } /* 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 { } diff --git a/styles/sons-of-obsidian.css b/styles/sons-of-obsidian.css index 7d24f3b4..9d9dc203 100644 --- a/styles/sons-of-obsidian.css +++ b/styles/sons-of-obsidian.css @@ -57,6 +57,7 @@ ol.linenums { margin-top: 0; margin-bottom: 0; + display: inline-block; } .prettyprint { background: #000; diff --git a/styles/sunburst.css b/styles/sunburst.css index ae06306a..da6c9ad1 100644 --- a/styles/sunburst.css +++ b/styles/sunburst.css @@ -27,7 +27,7 @@ pre.prettyprint { /* Specify class=linenums on a pre to get line numbering */ -ol.linenums { margin-top: 0; margin-bottom: 0; color: #AEAEAE; } /* IE indents via margin-left */ +ol.linenums { margin-top: 0; margin-bottom: 0; color: #AEAEAE; display: inline-block; } /* 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 { }