[scaladoc] Merges Petr's change to Scaladoc fro...

[scaladoc] Merges Petr's change to Scaladoc from the Colladoc branch:
bugfixes, improvements and refactorings that make it possible to extends
Scaladoc into Colladoc.

 - Layout of index uses jQuery UI panel instead of frameset.
 - Search boxes have correct width on Firefox.
 - Scaladoc models the original, untransformed source.
 - Various internal bugfixes & refactorings.
Review by dubochet.

1 files changed, 30 insertions, 15 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 77d9cdf8e6..aef3f341aa 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
@@ -34,10 +34,9 @@ h1 {
 }
 
 #filter {
-	position: fixed;
+	position: absolute;
 	display: block;
 	padding: 5px;
-	width: 95%;
 	right: 0;
 	left: 0;
 	top: 0;
@@ -61,28 +60,31 @@ h1 {
     background: url("filter_box_left.png");
 }
 
-#textfilter > .post {
-    display: block;
-    position: absolute;
-    top: 0;
-    right: 0;
-    height: 20px;
-    width: 20px;
-    background: url("filter_box_right.png");
-}
-
-#textfilter input {
+#textfilter > .input {
 	display: block;
     position: absolute;
     top: 0;
     right: 20px;
     left: 20px;
+}
+
+#textfilter > .input > input {
 	height: 16px;
-	width: 90%;
 	padding: 2px;
 	font-weight: bold;
 	color: #993300;
 	background-color: white;
+    width: 100%;
+}
+
+#textfilter > .post {
+    display: block;
+    position: absolute;
+    top: 0;
+    right: 0;
+    height: 20px;
+    width: 20px;
+    background: url("filter_box_right.png");
 }
 
 #focusfilter {
@@ -162,7 +164,7 @@ h1 {
 #tpl .templates div.placeholder {
   padding-right: 5px;
   width: 13px;
-  display: inline-block;  
+  display: inline-block;
 }
 
 #tpl .templates span.tplLink {
@@ -187,3 +189,16 @@ h1 {
 	height: 100%;
 	width: 100%;
 }
+
+.ui-layout-pane {
+    background: #FFF;
+    overflow: auto;
+}
+
+.ui-layout-resizer {
+    background: #DDD;
+}
+
+.ui-layout-toggler {
+    background: #AAA;
+}
\ No newline at end of file