h-source:improved search, now also the other_names entry is considered

2 files changed, 15 insertions, 113 deletions

diff --git a/h-source/Public/Css/explorer6.css b/h-source/Public/Css/explorer6.css
deleted file mode 100644
index 29b6456..0000000
--- a/h-source/Public/Css/explorer6.css
+++ /dev/null
@@ -1,112 +0,0 @@
-ul#menuBlock li {
-	height:24px;
-}
-
-ul#menuBlock li ul {
-	top:25px;
-	margin-left:3px;
-}
-
-ul#menuBlock li ul li {
-	margin-top:-1px;
-}
-
-.view_page_top_box
-{
-	height:32px;
-}
-
-.update_submit_class
-{
-	padding:7px;
-}
-
-.view_page_update_button
-{
-	width:35px;
-}
-
-/*div that contains the update form*/
-.view_page_update_button
-{
-	margin-top:2px;
-	margin-right:5px;
-}
-.update_submit_class
-{
-	padding:2px;
-	width:45px;
-}
-.notebooks_insert_form
-{
-	margin-right:-30px;
-}
-
-.notebook_insert_link
-{
-	margin:0px 0px 0px 5px;
-	padding-right:0px;
-	width:245px;
-}
-.view_page_history_button
-{
-	margin-left:10px;
-}
-.top_left_images_help
-{
-	height:22px;
-	margin-bottom:-3px;
-}
-ul#menuBlock li {
-	height:26px;
-}
-ul#menuBlock li ul {
-	left:-6px;
-}
-.user_logged
-{
-	margin-left:62px;
-}
-.viewall_popup_menu_status_item
-{
-	padding-left:2px;
-/* 	background:red; */
-}
-.copyright_notice_box
-{
-	width:140px;
-}
-.language_links_box ul
-{
-	width:100%;
-	margin:-1px 5px 30px 5px;
-}
-.language_links_box ul li
-{
-	margin-bottom:5px;
-}
-.language_links_box ul li a
-{
-	height:30px;
-}
-.talk_numb_ext
-{
-	margin-top:-30px;
-}
-.talk_numb_ext a, .talk_numb_ext_wiki a
-{
-	margin-bottom:0px;
-}
-.talk_numb_ext_wiki
-{
-	width:130px;
-}
-.language_links_box a.current_lang
-{
-	background:#6495ED;
-}
-
-.last_modifications ul
-{
-	margin-left:0px;
-}
\ No newline at end of file
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;