-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 @@ -43,40 +43,47 @@ groupbox#set_photo_props { groupbox#upload_file_props label { text-align: right; } image#set_photo, image#set_primary { border: black 1px solid; } .about .insides { margin: 1ex; } .about .text { border: yellow solid 1px; background: green; } .about .title { font-size: 300%; font-weight: bold; color: yellow; } .about .link { text-decoration: underline; color: white; cursor: pointer; } menuitem.menuhead { background: gray; color: black; 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; font-size: 9pt; padding: 2px; border: dotted 1px gray; background: white; } |