Make input part of topmenu. And topmenu is thinner than before. Make whole
authorAdam Dickmeiss <adam@indexdata.dk>
Tue, 16 Jan 2007 21:43:35 +0000 (21:43 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Tue, 16 Jan 2007 21:43:35 +0000 (21:43 +0000)
commit069fda5122c4ae7575dad8d91c5387d609061595
tree0d4ad8f133b5fad9652bae3fbb8b5cdb84e4f171
parentc2d09d026f9f10c0574c538d1de31bb0311b095c
Make input part of topmenu. And topmenu is thinner than before. Make whole
page slightly less demanding as far as required horizontal pixes is concerned.
Make facets slightly wider.
www/demo/css/styles.css
www/demo/page_segments.phpi