summaryrefslogtreecommitdiffabout
path: root/content/fireflix.css
Unidiff
Diffstat (limited to 'content/fireflix.css') (more/less context) (ignore whitespace changes)
-rw-r--r--content/fireflix.css23
1 files changed, 23 insertions, 0 deletions
diff --git a/content/fireflix.css b/content/fireflix.css
index 9e7bf6b..47455f6 100644
--- a/content/fireflix.css
+++ b/content/fireflix.css
@@ -76,24 +76,47 @@ div#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 90
91label#search_page { 91label#search_page {
92 font-weight: bold; 92 font-weight: bold;
93 background: white; color: #404040; 93 background: white; color: #404040;
94 border-color: #c0c0c0 #404040 #404040 #c0c0c0; 94 border-color: #c0c0c0 #404040 #404040 #c0c0c0;
95 border-style: solid; 95 border-style: solid;
96 border-width: 1px; 96 border-width: 1px;
97 -moz-border-radius: 1em; 97 -moz-border-radius: 1em;
98 padding: 0.5ex 1ex; 98 padding: 0.5ex 1ex;
99} 99}
100
101html body {
102 font-family: arial, sans-serif;
103 font-size: 11pt;
104 margin: 1em 4em;
105 padding: 1em 4em;
106 border: double 3px gray;
107 background: #ffffc0;
108}
109html h1 {
110 font-size: 130%; color: maroon;
111}
112html p {
113 text-align: justify;
114}
115
116html div.copyright {
117 font-size: 60%;
118 text-align: right;
119}
120html div.copyright a {
121 text-decoration: none;
122}