Merge branch 'master' of https://github.com/splitbrain/dokuwiki into extension_manager

2 files changed, 1 insertions, 29 deletions

diff --git a/lib/tpl/dokuwiki/css/mixins.less b/lib/tpl/dokuwiki/css/mixins.less
index 4b15bb600..a88767e97 100644
--- a/lib/tpl/dokuwiki/css/mixins.less
+++ b/lib/tpl/dokuwiki/css/mixins.less
@@ -7,17 +7,4 @@
     background: -o-linear-gradient(     @declaration);
     background: -ms-linear-gradient(    @declaration);
     background: linear-gradient(        @declaration);
-}
-
-/**
- * provides inline list styling.
- */
-.inline-list(){
-    list-style-type: none;
-    
-    & li {
-        margin: 0;
-        padding: 0;
-        display: inline;
-    }
-}
+}
\ No newline at end of file
diff --git a/lib/tpl/dokuwiki/css/structure.less b/lib/tpl/dokuwiki/css/structure.less
index f7dea3948..3ea2f83eb 100644
--- a/lib/tpl/dokuwiki/css/structure.less
+++ b/lib/tpl/dokuwiki/css/structure.less
@@ -87,18 +87,3 @@ body {
 #dokuwiki__footer {
     clear: both;
 }
-
-.dokuwiki .navlist {
-    display: inline;
-    padding: 0;
-    .inline-list;
-}
-
-.bchead {
-    display: inline;
-    font-size: inherit;
-}
-
-.curid {
-    font-weight: bold;
-}