]> git.plutz.net Git - shellwiki/commitdiff
css: minor improvements
authorPaul Hänsch <paul@plutz.net>
Sat, 23 Sep 2023 23:28:43 +0000 (01:28 +0200)
committerPaul Hänsch <paul@plutz.net>
Sat, 23 Sep 2023 23:28:43 +0000 (01:28 +0200)
themes/default.css

index 1f4c9ead5e4e4575f4ec25a27f545298d8246631..597a1a9e9ae64c61bf473b9a47ee53ab01b2e78e 100644 (file)
@@ -158,10 +158,10 @@ li.task.unsure:before   { content: '?  '    ; color: #880; font-weight: bold; pa
 h1 { text-align: center; }
 .center { text-align: center; }
 
-form.search {
-  text-align: center;
+form.newpage, form.search {
   margin-bottom: 1em;
 }
+form.search { text-align: center; }
 input.search {
   min-width: 50%;
   max-width: 80%;
@@ -188,11 +188,13 @@ table {
   }
   .right {
     float: right;
+    clear: both;
     width: 33%;
     margin: .25em 0 .5em 1em;
   }
   .left {
     float: left;
+    clear: both;
     width: 33%;
     margin: .25em 1em .5em 0;
   }