New menu mechanism and style fixes

_admin.less

@@ -0,0 +1,64 @@
+.dokuwiki div.ui-admin {
+
+    /* main task grouped in two columns */
+    ul.admin_tasks {
+        float: left;
+        width: 40%;
+        list-style-type: none;
+        font-size: 1.125em;
+    }
+    [dir=rtl] & ul.admin_tasks {
+        float: right;
+    }
+
+    /* general menu item styling */
+    ul {
+        padding: 0;
+        li {
+            margin: 0 0 1em 0;
+            font-weight: bold;
+            list-style-type: none;
+            white-space: nowrap;
+
+            a {
+                display: flex;
+                span {
+                    display: inline-block;
+
+                    &.icon {
+                        width: 1.5em;
+                        min-height: 1.5em;
+                        margin: 0 0.5em;
+                        vertical-align: top;
+
+                        svg {
+                            width: 1.5em;
+                            height: 1.5em;
+                            fill: @ini_link;
+                            display: inline-block;
+                            path {
+                                fill: @ini_link;
+                            }
+                        }
+                    }
+
+                    &.prompt {
+                        white-space: normal;
+                    }
+                }
+            }
+        }
+    }
+
+    /* DokuWiki version */
+    #admin__version {
+        clear: left;
+        float: right;
+        color: @ini_text_neu;
+        background-color: inherit;
+    }
+    [dir=rtl] & #admin__version {
+        clear: right;
+        float: left;
+    }
+}

_diff.css

@@ -0,0 +1,137 @@
+/**
+ * This file provides styles for the diff view, which shows you
+ * differences between two versions of a page (?do=diff).
+ */
+
+.dokuwiki table.diff {
+    width: 100%;
+    border-width: 0;
+}
+.dokuwiki table.diff th,
+.dokuwiki table.diff td {
+    vertical-align: top;
+    padding: 0;
+    border-width: 0;
+    /* no style.ini colours because deleted and added lines have a fixed background colour */
+    background-color: #fff;
+    color: #333;
+}
+
+/* table header */
+.dokuwiki table.diff th {
+    border-bottom: 1px solid @ini_border;
+    font-size: 110%;
+    font-weight: normal;
+}
+.dokuwiki table.diff th a {
+    font-weight: bold;
+}
+.dokuwiki table.diff th span.user {
+    font-size: .9em;
+}
+.dokuwiki table.diff th span.sum {
+    font-size: .9em;
+    font-weight: bold;
+}
+.dokuwiki table.diff th.minor {
+    color: #999;
+}
+.dokuwiki table.diff_sidebyside th {
+    width: 50%;
+}
+
+/* table body */
+.dokuwiki table.diff .diff-lineheader {
+    width: .7em;
+    text-align: right;
+}
+[dir=rtl] .dokuwiki table.diff .diff-lineheader {
+    text-align: left;
+}
+.dokuwiki table.diff .diff-lineheader,
+.dokuwiki table.diff td {
+    font-family: Consolas, "Andale Mono WT", "Andale Mono", "Bitstream Vera Sans Mono", "Nimbus Mono L", Monaco, "Courier New", monospace;
+}
+.dokuwiki table.diff td.diff-blockheader {
+    font-weight: bold;
+}
+.dokuwiki table.diff .diff-addedline {
+    background-color: #cfc;
+    color: inherit;
+}
+.dokuwiki table.diff .diff-deletedline {
+    background-color: #fdd;
+    color: inherit;
+}
+.dokuwiki table.diff td.diff-context {
+    background-color: #eee;
+    color: inherit;
+}
+.dokuwiki table.diff td.diff-addedline strong,
+.dokuwiki table.diff td.diff-deletedline strong {
+    color: #f00;
+    background-color: inherit;
+    font-weight: bold;
+}
+
+/* diff options */
+
+.dokuwiki .diffoptions form {
+    float: left;
+}
+.dokuwiki .diffoptions p {
+    float: right;
+}
+
+/* diff nav */
+
+.dokuwiki table.diff_sidebyside td.diffnav {
+    padding-bottom: .7em;
+}
+.dokuwiki .diffnav a {
+    display: inline-block;
+    vertical-align: middle;
+}
+.dokuwiki .diffnav a span {
+    display: none;
+}
+
+.dokuwiki .diffnav a:hover,
+.dokuwiki .diffnav a:active,
+.dokuwiki .diffnav a:focus {
+    background-color: @ini_background_alt;
+    text-decoration: none;
+}
+
+.dokuwiki .diffnav a:before {
+    display: inline-block;
+    line-height: 1;
+    padding: .2em .4em;
+    border: 1px solid @ini_border;
+    border-radius: 2px;
+    color: @ini_text;
+}
+
+.dokuwiki .diffnav a.diffprevrev:before {
+    content: '\25C0'; /* left triangle */
+}
+.dokuwiki .diffnav a.diffnextrev:before,
+.dokuwiki .diffnav a.difflastrev:before {
+    content: '\25B6'; /* right triangle */
+}
+.dokuwiki .diffnav a.diffbothprevrev:before {
+    content: '\25C0\25C0';
+}
+.dokuwiki .diffnav a.diffbothnextrev:before {
+    content: '\25B6\25B6';
+}
+
+.dokuwiki .diffnav select {
+    width: 60%;
+    min-width: 9em;
+    height: 1.5em; /* height is necessary for longer options in Webkit */
+}
+
+.dokuwiki .diffnav select option[selected] {
+    font-weight: bold;
+}

_edit.css

@@ -0,0 +1,141 @@
+/**
+ * This file provides styles for the edit view (?do=edit), preview
+ * and section edit buttons.
+ */
+
+/* edit view
+********************************************************************/
+
+.dokuwiki div.editBox {
+}
+
+/*____________ toolbar ____________*/
+
+.dokuwiki div.toolbar {
+    display: inline-block;
+    margin-bottom: .5em;
+}
+#draft__status {
+    float: right;
+    color: @ini_text_alt;
+    background-color: inherit;
+}
+[dir=rtl] #draft__status {
+    float: left;
+}
+#tool__bar {
+    float: left;
+}
+[dir=rtl] #tool__bar {
+    float: right;
+}
+
+/* buttons inside of toolbar */
+.dokuwiki div.toolbar button.toolbutton {
+}
+/* picker popups (outside of .dokuwiki) */
+div.picker {
+    width: 300px;
+    border: 1px solid @ini_border;
+    background-color: @ini_background_alt;
+    color: inherit;
+}
+/* picker for headlines */
+div.picker.pk_hl {
+    width: auto;
+}
+
+/* buttons inside of picker */
+div.picker button.pickerbutton,
+div.picker button.toolbutton {
+    padding: .1em .35em;
+    border-width: 0;
+}
+
+/*____________ edit textarea ____________*/
+
+.dokuwiki textarea.edit {
+    width: 100%;
+    margin-bottom: .5em;
+}
+
+/*____________ below the textarea ____________*/
+
+.dokuwiki div.editBar {
+    overflow: hidden;
+    margin-bottom: .5em;
+}
+
+/* size and wrap controls */
+#size__ctl {
+    float: right;
+}
+[dir=rtl] #size__ctl {
+    float: left;
+}
+#size__ctl img {
+    cursor: pointer;
+}
+
+/* edit buttons */
+.dokuwiki .editBar .editButtons {
+    display: inline;
+    margin-right: 1em;
+}
+[dir=rtl] .dokuwiki .editBar .editButtons {
+    margin-right: 0;
+    margin-left: 1em;
+}
+.dokuwiki .editBar .editButtons button {
+}
+
+/* summary input and minor changes checkbox */
+.dokuwiki .editBar .summary {
+    display: inline;
+}
+.dokuwiki .editBar .summary label {
+    vertical-align: middle;
+    white-space: nowrap;
+}
+.dokuwiki .editBar .summary label span {
+    vertical-align: middle;
+}
+.dokuwiki .editBar .summary input {
+}
+/* change background colour if summary is missing */
+.dokuwiki .editBar .summary input.missing {
+    color: @ini_text;
+    background-color: #ffcccc;
+}
+
+/* preview
+********************************************************************/
+
+.dokuwiki div.preview {
+    border: dotted @ini_border;
+    border-width: .2em 0;
+    padding: 1.4em 0;
+    margin-bottom: 1.4em;
+}
+
+/* section edit buttons
+********************************************************************/
+
+.dokuwiki .secedit {
+    float: right;
+    margin-top: -1.4em;
+}
+[dir=rtl] .dokuwiki .secedit {
+    float: left;
+}
+.dokuwiki .secedit button {
+    font-size: 75%;
+}
+
+/* style for section highlighting */
+.dokuwiki div.section_highlight {
+    margin: 0 -1em; /* negative side margin = side padding + side border */
+    padding: 0 .5em;
+    border: solid @ini_background_alt;
+    border-width: 0 .5em;
+}