From d09f86f3551c500323606a765b74a0028aeaec60 Mon Sep 17 00:00:00 2001 From: acolyer Date: Sun, 10 Apr 2005 12:33:40 +0000 Subject: add some style to our guides ;) --- docs/devGuideDB/aspectj-docs.css | 83 +++++++++++++++++++++++++++++++++++++++ docs/devGuideDB/dd_arrow.gif | Bin 0 -> 851 bytes 2 files changed, 83 insertions(+) create mode 100644 docs/devGuideDB/aspectj-docs.css create mode 100644 docs/devGuideDB/dd_arrow.gif (limited to 'docs/devGuideDB') diff --git a/docs/devGuideDB/aspectj-docs.css b/docs/devGuideDB/aspectj-docs.css new file mode 100644 index 000000000..3f58ddb57 --- /dev/null +++ b/docs/devGuideDB/aspectj-docs.css @@ -0,0 +1,83 @@ +body { + font-family: "Lucida Grande", "Trebuchet MS", sans-serif; + line-height: 1.1em; + } + +h2 { + font-size: 130%; + font-weight: bold ; + line-height: 16px; + color: #FFFFFF; + background-color: #0080C0; + padding: 5px; +} + +h3 { + font-size: 110%; + font-weight: bold ; + line-height: 14px; + color: #FFFFFF; + background-color: orange; + padding: 5px; +} + +tt { + font-size: 120%; + color: #0080C0; + } + +tt tt { + font-size: 100%; + } + +.programlisting { + padding-top: 5px; + border: 2px solid #ccc; + background: #eee; + font-size: 120%; + color: #111199; + + } + +.term { + color: #111199; + } + +.variablelist dd { + margin-left: 18px; + padding-left: 20px; + background: url(dd_arrow.gif) no-repeat 0 2px; + } + +.toc dt { + font-size: 110%; + padding-bottom: 0px; + margin-bottom: 5px; + } + +.toc dl dd dt { + font-size: 100%; + } + +.toc dt { + font-size: 100% + margin-bottom: 0; + } + +.informaltable table { + margin-left: 5%; + } + +.informaltable th { + background-color: orange; + padding: 1px; + } + +ul li { + line-height: 1.2em; + } + +.keyword { + font-weight: bold; + color: purple; + } \ No newline at end of file diff --git a/docs/devGuideDB/dd_arrow.gif b/docs/devGuideDB/dd_arrow.gif new file mode 100644 index 000000000..a16b34c95 Binary files /dev/null and b/docs/devGuideDB/dd_arrow.gif differ -- cgit v1.2.3