summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAntonio Cunei <antonio.cunei@epfl.ch>2011-03-24 20:46:01 +0000
committerAntonio Cunei <antonio.cunei@epfl.ch>2011-03-24 20:46:01 +0000
commitbc08f3bfa1f136c1014e5c4d870832d5c5bc9b85 (patch)
treef2cb0614abddc87a7005f5cad046c5c8b37345b8
parent7ff138be9c6a3696ac9243a5758499444daa32be (diff)
downloadscala-bc08f3bfa1f136c1014e5c4d870832d5c5bc9b85.tar.gz
scala-bc08f3bfa1f136c1014e5c4d870832d5c5bc9b85.tar.bz2
scala-bc08f3bfa1f136c1014e5c4d870832d5c5bc9b85.zip
Merged revisions 24576 via svnmerge from
https://lampsvn.epfl.ch/svn-repos/scala/scala/trunk ........ r24576 | malayeri | 2011-03-24 21:36:33 +0100 (Thu, 24 Mar 2011) | 1 line [scaladoc] Changes to template.css based on suggestions by Bill Venners. No review. ........
-rw-r--r--src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css16
1 files changed, 11 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css b/src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css
index 793953c20f..13ccadefe5 100644
--- a/src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css
+++ b/src/compiler/scala/tools/nsc/doc/html/resource/lib/template.css
@@ -17,7 +17,7 @@ table, caption, tbody, tfoot, thead, tr, th, td {
}
body {
- line-height: 1;
+ line-height: 1.2;
}
table { border-collapse: separate; border-spacing: 0; }
@@ -169,7 +169,7 @@ div.members > ol > li {
}
.signature {
- padding: 3px;
+ padding: 2px;
font-family: monospace;
font-size: 10pt;
clear: both;
@@ -231,8 +231,8 @@ div.members > ol > li {
.cmt {}
.cmt p {
- margin-bottom: 0.4em;
- margin-top: 0.4em;
+ margin-bottom: 0.9em;
+ margin-top: 0.9em;
}
.cmt h3 {
@@ -359,13 +359,15 @@ div.fullcomment {
#template .shortcomment {
margin: 0 0 0 8.7em;
- padding: 0;
+ padding: 2px;
}
div.fullcomment .block {
padding: 2px 0 2px 0;
border-top: 1px solid gray;
border-bottom: 1px solid gray;
+ margin-top: 2px;
+ margin-bottom: 2px;
}
div.fullcomment div.block ol li p,
@@ -413,6 +415,10 @@ div.fullcomment dl.paramcmts > dd + dt + dd {
border-top: none;
}
+div.fullcomment dl.paramcmts dd.cmt p {
+ margin-top: 2px;
+ margin-bottom: 2px;
+}
/* Members filter tool */
#textfilter {