Adding indexmenu version 2024-01-05 (ed06f21).

Signed-off-by: Daniel Baumann <daniel@debian.org>
2024-12-01 20:38:26 +01:00 · 2024-12-01 20:38:26 +01:00 · f339727d60
commit f339727d60
parent 92cc8375f2
766 changed files with 83299 additions and 0 deletions
--- a/plugins/55/indexmenu/images/drktheme/base.gif
+++ b/plugins/55/indexmenu/images/drktheme/base.gif
--- a/plugins/55/indexmenu/images/drktheme/empty.gif
+++ b/plugins/55/indexmenu/images/drktheme/empty.gif
--- a/plugins/55/indexmenu/images/drktheme/folder.gif
+++ b/plugins/55/indexmenu/images/drktheme/folder.gif
--- a/plugins/55/indexmenu/images/drktheme/folderh.gif
+++ b/plugins/55/indexmenu/images/drktheme/folderh.gif
--- a/plugins/55/indexmenu/images/drktheme/folderhopen.gif
+++ b/plugins/55/indexmenu/images/drktheme/folderhopen.gif
--- a/plugins/55/indexmenu/images/drktheme/folderopen.gif
+++ b/plugins/55/indexmenu/images/drktheme/folderopen.gif
--- a/plugins/55/indexmenu/images/drktheme/info.txt
+++ b/plugins/55/indexmenu/images/drktheme/info.txt
@ -0,0 +1,3 @@
+author=Marco Laner <marco [at] laner [dot] org>
+url=http://brk-test.oc-tuning.de/
+description=Marco Laner <marco@laner.org>
--- a/plugins/55/indexmenu/images/drktheme/join.gif
+++ b/plugins/55/indexmenu/images/drktheme/join.gif
--- a/plugins/55/indexmenu/images/drktheme/joinbottom.gif
+++ b/plugins/55/indexmenu/images/drktheme/joinbottom.gif
--- a/plugins/55/indexmenu/images/drktheme/line.gif
+++ b/plugins/55/indexmenu/images/drktheme/line.gif
--- a/plugins/55/indexmenu/images/drktheme/minus.gif
+++ b/plugins/55/indexmenu/images/drktheme/minus.gif
--- a/plugins/55/indexmenu/images/drktheme/minusbottom.gif
+++ b/plugins/55/indexmenu/images/drktheme/minusbottom.gif
--- a/plugins/55/indexmenu/images/drktheme/nolines_minus.gif
+++ b/plugins/55/indexmenu/images/drktheme/nolines_minus.gif
--- a/plugins/55/indexmenu/images/drktheme/nolines_plus.gif
+++ b/plugins/55/indexmenu/images/drktheme/nolines_plus.gif
--- a/plugins/55/indexmenu/images/drktheme/page.gif
+++ b/plugins/55/indexmenu/images/drktheme/page.gif
--- a/plugins/55/indexmenu/images/drktheme/plus.gif
+++ b/plugins/55/indexmenu/images/drktheme/plus.gif
--- a/plugins/55/indexmenu/images/drktheme/plusbottom.gif
+++ b/plugins/55/indexmenu/images/drktheme/plusbottom.gif
--- a/plugins/55/indexmenu/images/drktheme/style.css
+++ b/plugins/55/indexmenu/images/drktheme/style.css
@ -0,0 +1,7 @@
+.dtree {
+  font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
+  font-size: 12px;
+  color: __text__;
+  white-space: nowrap;
+  line-height: normal;
+}