-rw-r--r-- | content/fireflix.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/content/fireflix.css b/content/fireflix.css index 47455f6..4fba5d3 100644 --- a/content/fireflix.css +++ b/content/fireflix.css @@ -75,48 +75,52 @@ menuitem.menuhead { 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; } label#search_page { font-weight: bold; background: white; color: #404040; border-color: #c0c0c0 #404040 #404040 #c0c0c0; border-style: solid; border-width: 1px; -moz-border-radius: 1em; padding: 0.5ex 1ex; } html body { font-family: arial, sans-serif; font-size: 11pt; margin: 1em 4em; padding: 1em 4em; border: double 3px gray; background: #ffffc0; } html h1 { font-size: 130%; color: maroon; } html p { text-align: justify; } html div.copyright { font-size: 60%; text-align: right; } html div.copyright a { text-decoration: none; } + +button.lean { + min-width: 1ex; +} |