]> git.plutz.net Git - serve0/commitdiff
Merge branch 'master' of git.plutz.net:serve0
authorPaul Hänsch <paul@plutz.net>
Tue, 24 Jul 2018 20:50:26 +0000 (22:50 +0200)
committerPaul Hänsch <paul@plutz.net>
Tue, 24 Jul 2018 20:50:26 +0000 (22:50 +0200)
1  2 
style.css

diff --combined style.css
index 4b47750c661a5580fc9ebb62c62512796d1e91f9,2cf1c2f802937d75528762152abe4967d4c49a3d..6bfeebca10cad71dda269b2c28d4f7d2f1faee19
+++ 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; }
    padding: .25em .5em;
    word-break: break-word;
    background-color: #222;
 +  overflow: hidden;
  }
  
  .list.file .time, .list.file .dim {