diff --git a/content/static/style/default.css b/content/static/style/default.css index f6b4d656f..7252fdbb6 100644 --- a/content/static/style/default.css +++ b/content/static/style/default.css @@ -311,3 +311,164 @@ dd, dt { dd { margin-left: 4em; } + +/* -- Search Engine -- */ +div.search div.estform { + margin: 0.8em 1.0em; padding: 0em 1.0em; + background: #eeeeff none; border: solid 1pt #bbbbcc; + -moz-border-radius: 0.4em; +} +div.search div.form_basic { + margin: 0.4em 0em 0em 0em; padding: 0em 0em; + font-size: smaller; +} +div.search div.form_extension { + margin: 0.3em 0em 0.3em 0em; padding: 0em 0em; + font-size: smaller; +} +div.search div.estresult { + margin: 1.0em 1.0em; padding: 0em 0em; +} +div.search div.resinfo { + text-align: right; + font-size: smaller; +} +div.search div.hints { + margin-right: 0.8em; text-align: right; + font-size: smaller; color: #555555; +} +div.search div.relkeys { + margin-right: 0.3em; text-align: right; + font-size: smaller; color: #555555; + opacity: 0.70; +} +div.search div.relkeys a { + color: #007777; text-decoration: none; +} +div.search div.relkeys a:hover { + color: #0066dd; text-decoration: underline; +} +div.search dl.doc { + margin: 1.3em 0em; +} +div.search dl.doc dd { + font-size: smaller; color: #222222; +} +div.search a.doc_title { + color: #0011ee; text-decoration: underline; +} +div.search a.doc_title:hover { + color: #0033ff; text-decoration: underline; +} +div.search span.doc_score { + font-size: smaller; color: #555555; +} +div.search span.doc_score:before { + content: "("; +} +div.search span.doc_score:after { + content: ")"; +} +div.search span.doc_link { + color: #007744; +} +div.search dd.doc_attr { + margin: 0em 0.8em; +} +div.search span.doc_val { + color: #111111; +} +div.search dd.doc_text { + margin: 0em 1.3em; +} +div.search strong.key { + margin: 0em -0.1em; padding: 0em 0.1em; + color: #000011; + -moz-border-radius: 0.3em; +} +div.search strong.key1 { background-color: #ffffcc; } +div.search strong.key2 { background-color: #ffeeee; } +div.search strong.key3 { background-color: #eeeeff; } +div.search strong.key4 { background-color: #eeffdd; } +div.search code.delim { color: #555555; letter-spacing: -0.1em; } +div.search dd.doc_navi { + margin: 0em 1.1em; +} +div.search div.doc_clip { + margin-left: 2.5em; margin-top: -0.6em; +} +div.search div.doc_clip p { + font-size: smaller; color: #444444; +} +div.search a.detail,a.similar,a.include { + color: #007777; text-decoration: none; +} +div.search a.detail:hover,a.similar:hover,a.include:hover { + color: #0066dd; text-decoration: underline; +} +div.search p.note { + margin: 3em 1.5em; + color: #444444; +} +div.search div.paging { + margin: 2em 1em; text-align: right; + font-size: smaller; +} +div.search a.navi { + margin: 0em 0.2em; padding: 0em 0.5em; + background: #eeeeff none; border: solid 1pt #bbbbcc; + -moz-border-radius: 0.25em; + color: #0022aa; text-decoration: none; +} +div.search span.void { + margin: 0em 0.2em; padding: 0em 0.5em; + background: #eeeeee none; border: solid 1pt #bbbbcc; + -moz-border-radius: 0.25em; + color: #aaaaaa; + opacity: 0.70; +} +div.search a.pnum { + margin: 0em 0em; padding: 0em 0.2em; + background: #eeeeff none; border: solid 1pt #bbbbcc; + -moz-border-radius: 0.25em; + font-size: smaller; color: #0022aa; text-decoration: none; +} +div.search span.pnow { + margin: 0em 0em; padding: 0em 0.2em; + background: #ffeedd none; border: solid 1pt #bbbbcc; + -moz-border-radius: 0.25em; +} +div.search div.estinfo { + margin: 1.5em 1.0em; padding: 0em 0em; text-align: right; + font-size: smaller; color: #555555; + opacity: 0.80; +} +div.search div.estinfo a { + color: #555555; text-decoration: none; +} +div.search div.logo { + margin: 4.0em 1em; text-align: center; +} +div.search div.logo h1 { + color: #000000; +} +div.search div.logo div.caption { + margin-top: -0.9em; + color: #222222; +} +div.search div.help { + margin: 2em 4em; padding: 2em 2em; + background-color: #eeeeff; border: 2pt solid #ddddee; + -moz-border-radius: 0.8em; +} +div.search div.help h2 { + margin-top: 1.2em; +} +div.search div.help p { + line-height: 145%; text-indent: 0.8em; +} +div.search div.help pre { + margin: 0em 2em; padding: 0em 0.2em; + background-color: #ffffff; border: 1pt solid #999999; + -moz-border-radius: 0.2em; +}