diff options
Diffstat (limited to 'org/cgi_spine_search.org')
| -rw-r--r-- | org/cgi_spine_search.org | 30 |
1 files changed, 23 insertions, 7 deletions
diff --git a/org/cgi_spine_search.org b/org/cgi_spine_search.org index 674b2ef..6b43058 100644 --- a/org/cgi_spine_search.org +++ b/org/cgi_spine_search.org @@ -1346,6 +1346,19 @@ a:hover { color : #000000; background-color : #F9F9AA; } +a.matched_ocn:link { + color : #003399; + text-decoration : none; +} +a.matched_ocn:visited { + color : #003399; + text-decoration : none; +} +a.matched_ocn:hover { + color : #000000; + background-color : #F9F9AA; + font-size : 100%%; +} a.lnkocn:link { color : #777777; text-decoration : none; @@ -1390,13 +1403,16 @@ span.match { color : #000000; background-color : #FFFF48; } +input, select, textarea { + font-size : 150%%; +} input[type="text"] { - font-size : 120%%; - line-height : 120%%; + font-size : 150%%; + line-height : 150%%; } button[type="submit"] { - font-size : 120%%; - line-height : 120%%; + font-size : 150%%; + line-height : 150%%; } p.norm { } p.center { text-align : center; } @@ -1880,7 +1896,7 @@ p.small { text-align : left; } .tiny, .tiny_left, .tiny_right, .tiny_center { - font-size : 12px; + font-size : 75%%; margin-top : 0px; margin-bottom : 0px; color : #EEEEEE; @@ -1947,8 +1963,8 @@ pre.codeline { white-space : -o-pre-wrap; background-color : #555555; color : #DDDDDD; - font-size : 95%%; - line-height : 100%%; + font-size : 120%%; + line-height : 120%%; } pre.codeline::before { counter-reset : linenum; |