Remove tocindent and tocinline from print stylesheet. These seem to have been unused...

diff --git a/skins/common/commonPrint.css b/skins/common/commonPrint.css
index 97b0526..6d02e7e 100644 (file)
--- a/skins/common/commonPrint.css
+++ b/skins/common/commonPrint.css
@@ -18,12 +18,6 @@ a.new {
        background-color: #f9f9f9;
        padding: 5px;
 }
-.tocindent {
-       margin-left: 2em;
-}
-.tocline {
-       margin-bottom: 0;
-}
 
 /* images */
 div.floatright {
@@ -392,4 +386,4 @@ p {
 .catlinks li:first-child {
        padding-left: .2em;
        border-left: none;
-}
\ No newline at end of file
+}