summaryrefslogtreecommitdiffabout
path: root/content/fireflix.css
Unidiff
Diffstat (limited to 'content/fireflix.css') (more/less context) (ignore whitespace changes)
-rw-r--r--content/fireflix.css10
1 files changed, 10 insertions, 0 deletions
diff --git a/content/fireflix.css b/content/fireflix.css
index 71080d1..9e7bf6b 100644
--- a/content/fireflix.css
+++ b/content/fireflix.css
@@ -58,32 +58,42 @@ image#search_photo, image#set_photo, image#set_primary {
58.about .title { 58.about .title {
59 font-size: 300%; 59 font-size: 300%;
60 font-weight: bold; 60 font-weight: bold;
61 color: yellow; 61 color: yellow;
62} 62}
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
69menuitem.menuhead { 69menuitem.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
75div#searchresult_description { 75div#searchresult_description {
76 min-height: 5em; max-height: 8em; 76 min-height: 5em; max-height: 8em;
77 overflow: auto; 77 overflow: auto;
78 font-size: 90%; 78 font-size: 90%;
79 margin: 0.1ex 0.5ex; 79 margin: 0.1ex 0.5ex;
80} 80}
81 81
82#copying div { 82#copying div {
83 margin: 1ex 1em; 83 margin: 1ex 1em;
84 font-family: courier, monospace; 84 font-family: courier, monospace;
85 font-size: 9pt; 85 font-size: 9pt;
86 padding: 2px; 86 padding: 2px;
87 border: dotted 1px gray; 87 border: dotted 1px gray;
88 background: white; 88 background: white;
89} 89}
90
91label#search_page {
92 font-weight: bold;
93 background: white; color: #404040;
94 border-color: #c0c0c0 #404040 #404040 #c0c0c0;
95 border-style: solid;
96 border-width: 1px;
97 -moz-border-radius: 1em;
98 padding: 0.5ex 1ex;
99}