diff options
Diffstat (limited to 'src/manual')
-rw-r--r-- | src/manual/scala/tools/docutil/EmitHtml.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/manual/scala/tools/docutil/EmitHtml.scala b/src/manual/scala/tools/docutil/EmitHtml.scala index faac8e90dc..cb15e30135 100644 --- a/src/manual/scala/tools/docutil/EmitHtml.scala +++ b/src/manual/scala/tools/docutil/EmitHtml.scala @@ -172,7 +172,8 @@ object EmitHtml { out.println("<style type=\"text/css\">") out.println(" <!--") out.println(" blockquote, pre { margin:1em 4em 1em 4em; }") - out.println(" p { margin:0 2em 0 2em; text-align:justify; }") + out.println(" dt { margin: 0.6em 0 0 0; }") + out.println(" p { margin:0.6em 2em 0.6em 2em; text-align:justify; }") out.println(" //-->") out.println("</style>") out.println("</head>\n") |