| -rw-r--r-- | content/fireflix.css | 7 |
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 { | |||
| 72 | font-weight: bold; | 72 | font-weight: bold; |
| 73 | } | 73 | } |
| 74 | 74 | ||
| 75 | div#searchresult_description { | ||
| 76 | min-height: 5em; max-height: 8em; | ||
| 77 | overflow: auto; | ||
| 78 | font-size: 90%; | ||
| 79 | margin: 0.1ex 0.5ex; | ||
| 80 | } | ||
| 81 | |||
| 75 | #copying div { | 82 | #copying div { |
| 76 | margin: 1ex 1em; | 83 | margin: 1ex 1em; |
| 77 | font-family: courier, monospace; | 84 | font-family: courier, monospace; |