From: Paul Hänsch <paul@plutz.net>
Date: Tue, 24 Jul 2018 20:50:26 +0000 (+0200)
Subject: Merge branch 'master' of git.plutz.net:serve0
X-Git-Url: http://git.plutz.net/?p=serve0;a=commitdiff_plain;h=fa328da5585a0bfa0b6c08b3c79d529af06aada8;hp=-c

Merge branch 'master' of git.plutz.net:serve0
---

fa328da5585a0bfa0b6c08b3c79d529af06aada8
diff --combined style.css
index 4b47750,2cf1c2f..6bfeebc
--- a/style.css
+++ b/style.css
@@@ -94,7 -94,7 +94,7 @@@ a[href="#advsearch"]:before 
  
  #advsearch:target, #multitag:target,
  #prefs:target, #bookmarks:target {
-   max-height: 100em; overflow: visible;
+   max-height: 1000em; overflow: visible;
  }
  #advsearch:target { border-style: none none solid none; }
  #prefs:target { border-style: none none solid solid; }
@@@ -308,7 -308,6 +308,7 @@@
    padding: .25em .5em;
    word-break: break-word;
    background-color: #222;
 +  overflow: hidden;
  }
  
  .list.file .time, .list.file .dim {