diff options
author | Antonio Gallo <tonicucoz@gmail.com> | 2011-05-21 17:02:31 +0000 |
---|---|---|
committer | Antonio Gallo <tonicucoz@gmail.com> | 2011-05-21 17:02:31 +0000 |
commit | 6a4e5eee22fe3a2b69cdadbdf0cb7b210b6783c7 (patch) | |
tree | bcde13f1e29b40fd92e6ff75580b08ddeb6f66bd /h-source/Public/Css/main.css | |
parent | 759f536ae8a94ec5cce173fd00855aa39f0dbf3a (diff) |
h-source:improved search, now also the other_names entry is considered
Diffstat (limited to 'h-source/Public/Css/main.css')
-rw-r--r-- | h-source/Public/Css/main.css | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/h-source/Public/Css/main.css b/h-source/Public/Css/main.css index da2c7b5..f2886e1 100644 --- a/h-source/Public/Css/main.css +++ b/h-source/Public/Css/main.css @@ -394,7 +394,7 @@ a.link_menu /*executed operation string*/ .executed { - font:bold 12px/1.5 sans-serif,,arial; + font:bold 12px/1.5 sans-serif,arial; padding:5px; margin:5px 5px 15px 5px; background:#E0FFFF; @@ -1145,7 +1145,21 @@ ins border-top:1px solid #CECECE; padding:5px 0px; } +.search_result_item .first_level +{ + overflow:hidden; +} +.search_result_item_left +{ + width:300px; + float:left; +} +.search_result_item_right +{ + width:400px; + float:left; +} .diff_color_notice { background:#f1d8d8; |