From f39d0008bc5558c06786d2c3b8cbbaa537ca49b2 Mon Sep 17 00:00:00 2001 From: Mark DePristo Date: Fri, 19 Aug 2011 15:07:26 -0400 Subject: [PATCH] Build.xml -- contracts not built by default. Slightly simpler CSS for dl. --- build.xml | 2 +- settings/helpTemplates/style.css | 12 ++++++++++-- 2 files changed, 11 insertions(+), 3 deletions(-) diff --git a/build.xml b/build.xml index d8c38738a..ef53f6aa4 100644 --- a/build.xml +++ b/build.xml @@ -489,7 +489,7 @@ docletpathref="doclet.classpath" classpathref="external.dependencies" classpath="${java.classes}" - additionalparam="-private -build-timestamp "${build.timestamp}" -absolute-version ${build.version} -quiet -J-Xdebug -J-Xrunjdwp:transport=dt_socket,server=y,suspend=n,address=5005"> + additionalparam="-private -build-timestamp "${build.timestamp}" -absolute-version ${build.version} -quiet -J-Xdebug -J-Xrunjdwp:transport=dt_socket,server=y,suspend=n,address=5005"> diff --git a/settings/helpTemplates/style.css b/settings/helpTemplates/style.css index 375df2f51..297cd49ef 100644 --- a/settings/helpTemplates/style.css +++ b/settings/helpTemplates/style.css @@ -85,25 +85,33 @@ hr * enum DT layout */ +dl { + margin-left: 3em; +} + dl.enum { margin-left: 3em; border: 1px dashed #ccc; } -dt.enum { +dt, dt.enum { font-weight: bold; text-decoration: underline; } -dd.enum { +/* +dt, dd.enum { padding: 0 0 0.5em 0; } +*/ pre { border: thin solid lightgray; margin-left: 1em; margin-right: 4em; +/* background-color: #e0fdff; +*/ } /* * clean table layouts