[scaladoc] Add explicit link to show linear sup...

[scaladoc] Add explicit link to show linear supertypes and known
subclasses. Closes #4416. Modifications to style sheets to reduce
number of colors and make the documentation more readable (includes
contributions from Ruediger Keller). No review.

1 files changed, 33 insertions, 12 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 aef3f341aa..7c05678313 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;
 }
 
+.letters {
+  padding: 5px;
+}
+
 #library {
     display: none;
 }
@@ -40,7 +44,7 @@ h1 {
 	right: 0;
 	left: 0;
 	top: 0;
-	background-color: #B78E99;
+	background-color: #DADADA;
 }
 
 #textfilter {
@@ -72,7 +76,7 @@ h1 {
 	height: 16px;
 	padding: 2px;
 	font-weight: bold;
-	color: #993300;
+	color: darkblue;
 	background-color: white;
     width: 100%;
 }
@@ -104,12 +108,19 @@ h1 {
 }
 
 #kindfilter {
-	position: relative;
-	display: block;
-	padding: 5px;
-	background-color: #F0F8FF;
+  position: relative;
+  display: block;
+  padding: 5px;
+  background-color: #999;
+  text-align: center;
 }
 
+
+#kindfilter > a {
+ color: white; 
+ text-decoration: underline;
+}
+  
 #tpl {
 	display: block;
 	position: fixed;
@@ -127,7 +138,7 @@ h1 {
 	float: right;
 	font-weight: normal;
 	color: white;
-	padding: 1px 4px 1px 4px;
+	padding: 0 8px;
 }
 
 #tpl .packfocus {
@@ -135,24 +146,34 @@ h1 {
 	float: right;
 	font-weight: normal;
 	color: white;
-	padding: 1px 0.5em 1px 4px;
+}
+
+#tpl .packages > ol {
+  /*margin-bottom: 5px;*/
+}
+
+#tpl .packages > ol > li {
+	margin-bottom: 1px;
 }
 
 #tpl .packages > li > h3 {
 	display: block;
-	background-color: #2C475C;
 	color: white;
-	padding: 1px 4px 1px 0.5em;
 	font-weight: bold;
 	display: block;
 }
 
+#tpl ol > li.pack {
+	background-color: #2C475C;
+	padding: 3px 5px;
+}
+
 #tpl ol > li {
 	display: block;
 }
 
 #tpl .templates > li {
-  padding-left: 0.5em;
+  padding-left: 5px;
 }
 
 #tpl ol > li .icon {
@@ -168,7 +189,7 @@ h1 {
 }
 
 #tpl .templates span.tplLink {
-  padding-left: 8px;
+  padding-left: 5px;
 }
 
 #content {