summaryrefslogtreecommitdiffabout
path: root/content/fireflix.css
Side-by-side diff
Diffstat (limited to 'content/fireflix.css') (more/less context) (ignore whitespace changes)
-rw-r--r--content/fireflix.css7
1 files changed, 7 insertions, 0 deletions
diff --git a/content/fireflix.css b/content/fireflix.css
index 4a3228f..c16dca6 100644
--- a/content/fireflix.css
+++ b/content/fireflix.css
@@ -72,6 +72,13 @@ menuitem.menuhead {
font-weight: bold;
}
+div#searchresult_description {
+ min-height: 5em; max-height: 8em;
+ overflow: auto;
+ font-size: 90%;
+ margin: 0.1ex 0.5ex;
+}
+
#copying div {
margin: 1ex 1em;
font-family: courier, monospace;