Build.xml -- contracts not built by default. Slightly simpler CSS for dl.

This commit is contained in:
Mark DePristo 2011-08-19 15:07:26 -04:00
parent b08d63a6b8
commit f39d0008bc
2 changed files with 11 additions and 3 deletions

View File

@ -489,7 +489,7 @@
docletpathref="doclet.classpath" docletpathref="doclet.classpath"
classpathref="external.dependencies" classpathref="external.dependencies"
classpath="${java.classes}" classpath="${java.classes}"
additionalparam="-private -build-timestamp &quot;${build.timestamp}&quot; -absolute-version ${build.version} -quiet -J-Xdebug -J-Xrunjdwp:transport=dt_socket,server=y,suspend=n,address=5005"> additionalparam="-private -build-timestamp &quot;${build.timestamp}&quot; -absolute-version ${build.version} -quiet -J-Xdebug -J-Xrunjdwp:transport=dt_socket,server=y,suspend=n,address=5005"> <!-- -test to only do DocumentationTest walker -->
<sourcefiles> <sourcefiles>
<union> <union>
<fileset refid="all.java.source.files"/> <fileset refid="all.java.source.files"/>

View File

@ -85,25 +85,33 @@ hr
* enum DT layout * enum DT layout
*/ */
dl {
margin-left: 3em;
}
dl.enum { dl.enum {
margin-left: 3em; margin-left: 3em;
border: 1px dashed #ccc; border: 1px dashed #ccc;
} }
dt.enum { dt, dt.enum {
font-weight: bold; font-weight: bold;
text-decoration: underline; text-decoration: underline;
} }
dd.enum { /*
dt, dd.enum {
padding: 0 0 0.5em 0; padding: 0 0 0.5em 0;
} }
*/
pre { pre {
border: thin solid lightgray; border: thin solid lightgray;
margin-left: 1em; margin-left: 1em;
margin-right: 4em; margin-right: 4em;
/*
background-color: #e0fdff; background-color: #e0fdff;
*/
} }
/* /*
* clean table layouts * clean table layouts