X-Git-Url: http://git.plutz.net/?a=blobdiff_plain;f=common.css;h=c5cf6c443c355a7ef2a2219278173968e0aa6d61;hb=c1c97928352f0ac36034432f5bbba708c4146ff0;hp=71bead6e26485069ff5c4cfc0ca17cd4a87bea69;hpb=4814ae28928f948f44bdf0b8823226120a442dfb;p=serve0

diff --git a/common.css b/common.css
index 71bead6..c5cf6c4 100644
--- a/common.css
+++ b/common.css
@@ -17,6 +17,7 @@ body {
 }
 
 ul, ol, dl, table, p { margin-bottom: .5em; }
+p:only-child { margin-bottom: 0; }
 
 a {
   font-style: italic;
@@ -44,6 +45,12 @@ ul, ol { margin-left: 1.125em; }
 dl dt { font-weight: bolder; }
 table th { font-weight: bold; }
 
+li p + ul, li p + ol {
+  margin-top: -.25em;
+}
+
+hr { border-bottom: 1pt solid; }
+
 h1, h2, h3 {
   font-weight: bold;
   margin-top: .75em;
@@ -88,6 +95,21 @@ input + label {
   margin-left: .375em;
 }
 
+input.search + button.search {
+  width: 2.5em;
+  color: transparent;
+  background-color: #CCC;
+  margin-left: -2pt;
+  border-left: none;
+  border-radius: 0 2pt 2pt 0;
+  white-space: nowrap;
+}
+input.search + button.search:before {
+  content: '\1f50d';
+  color: #000;
+  font-weight: bold;
+}
+
 @media print {
   @page { margin: 20mm; }