[scaladoc] Many improvements in the UI for Scal...

[scaladoc] Many improvements in the UI for Scaladoc's entity index
(left-pane):

 - It is possible to "focus" on a package to restrict searches on it.
 - Filtering in left pane no longer blocks the UI.
 - The filter tool for packages is easily recognizable for what it is, not just an empty, mysterious space.
Review by community.

1 files changed, 67 insertions, 11 deletions

diff --git a/src/compiler/scala/tools/nsc/doc/html/resource/lib/index.css b/src/compiler/scala/tools/nsc/doc/html/resource/lib/index.css
index 0b444eec13..84855d0d1a 100644
--- a/src/compiler/scala/tools/nsc/doc/html/resource/lib/index.css
+++ b/src/compiler/scala/tools/nsc/doc/html/resource/lib/index.css
@@ -20,6 +20,10 @@ h1 {
 	display: none;
 }
 
+#library {
+    display: none;
+}
+
 #browser {
 	top: 0px;
 	left: 0px;
@@ -29,29 +33,73 @@ h1 {
 	position: fixed;
 }
 
-#quickflt {
-	display: block;
+#filter {
 	position: fixed;
-	height: 22px;
-	right: 0px;
-	left: 0px;
-	top: 0px;
+	display: block;
+	padding: 5px;
+	width: 290px;
+	right: 0;
+	left: 0;
+	top: 0;
+	background-color: grey;
+}
+
+#textfilter {
+	position: relative;
+	display: block;
+}
+
+#textfilter:before {
+    display: block;
+    content: url("filter_box_left.png");
+}
+
+#textfilter:after {
+    display: block;
 	position: absolute;
+	top: 0;
+	right: 0;
+    content: url("filter_box_right.png");
+}
+
+#textfilter input {
 	display: block;
+	position: absolute;
+	top: 0;
+	left: 32px;
+	right: 16px;
+	height: 22px;
+	width: 232px;
+	padding: 5px;
 	font-weight: bold;
 	color: #993300;
-	padding: 5px;
 	background-color: white;
 }
 
+#focusfilter {
+	position: relative;
+	display: block;
+	padding: 5px;
+	background-color: pink;
+}
+
+#focusfilter .focuscoll {
+	font-weight: bold;
+}
+
+#focusfilter img {
+	bottom: -2px;
+	position: relative;
+}
+
 #tpl {
 	display: block;
 	position: fixed;
 	overflow: auto;
-	right: 0px;
-	left: 0px;
-	bottom: 0px;
-	top: 30px;
+	right: 0;
+	left: 0;
+	bottom: 0;
+	top: 0;
 	position: absolute;
 	display: block;
 }
@@ -64,6 +112,14 @@ h1 {
 	padding: 1px 4px 1px 4px;
 }
 
+#tpl .packfocus {
+	display: block;
+	float: right;
+	font-weight: normal;
+	color: white;
+	padding: 1px 4px 1px 4px;
+}
+
 #tpl .packages > li > h3 {
 	display: block;
 	background-color: #142556;