-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 | |||
@@ -63,20 +63,27 @@ image#set_photo, image#set_primary { | |||
63 | .about .link { | 63 | .about .link { |
64 | text-decoration: underline; | 64 | text-decoration: underline; |
65 | color: white; | 65 | color: white; |
66 | cursor: pointer; | 66 | cursor: pointer; |
67 | } | 67 | } |
68 | 68 | ||
69 | menuitem.menuhead { | 69 | menuitem.menuhead { |
70 | background: gray; | 70 | background: gray; |
71 | color: black; | 71 | color: black; |
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; |
78 | font-size: 9pt; | 85 | font-size: 9pt; |
79 | padding: 2px; | 86 | padding: 2px; |
80 | border: dotted 1px gray; | 87 | border: dotted 1px gray; |
81 | background: white; | 88 | background: white; |
82 | } | 89 | } |