diff options
author | Arne Georg Gleditsch <argggh@lxr.linpro.no> | 2007-12-04 08:45:41 +0100 |
---|---|---|
committer | Arne Georg Gleditsch <argggh@lxr.linpro.no> | 2007-12-04 08:45:41 +0100 |
commit | 15f50e9ba5f64594ac610ad42ac75e484147f8a2 (patch) | |
tree | 7de2a7e6bcee6dd6b369c4cb3b6a6aaf512eff35 /cgi-bin/css/lxrng.css | |
parent | 8c290c3b917b1683a8f4355019366d45d5ddb42f (diff) |
Add file search caps, some tuning.
Diffstat (limited to 'cgi-bin/css/lxrng.css')
-rw-r--r-- | cgi-bin/css/lxrng.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/cgi-bin/css/lxrng.css b/cgi-bin/css/lxrng.css index d4fdadf..c6c0556 100644 --- a/cgi-bin/css/lxrng.css +++ b/cgi-bin/css/lxrng.css @@ -1,3 +1,5 @@ +/* -*- mode: fundamental -*- */ + body { font-family: sans-serif; margin-top: 3px; @@ -114,8 +116,28 @@ body.popup div.search_results { margin: 1px; } +span.identtype { + display: block; +/* font-weight: bold; */ + font-style: italic; + margin-top: 10px; + margin-left: 1em; +} + +span.resultline { + display: block; + margin-left: 2em; +} + +span.resultdetails { + font-size: 75%; +/* font-style: italic; */ +} + div.query_desc { font-weight: bold; + margin-top: 10px; + margin-bottom: 5px; } span.close-button { |