aboutsummaryrefslogtreecommitdiffstats
path: root/docs/devGuideDB
diff options
context:
space:
mode:
authoracolyer <acolyer>2005-04-10 12:33:40 +0000
committeracolyer <acolyer>2005-04-10 12:33:40 +0000
commitd09f86f3551c500323606a765b74a0028aeaec60 (patch)
treea94c976c6f69e8a97c552a91a71dba54a51c27c5 /docs/devGuideDB
parente5339af220a450bbeca7b72c6d9118c1ded56308 (diff)
downloadaspectj-d09f86f3551c500323606a765b74a0028aeaec60.tar.gz
aspectj-d09f86f3551c500323606a765b74a0028aeaec60.zip
add some style to our guides ;)
Diffstat (limited to 'docs/devGuideDB')
-rw-r--r--docs/devGuideDB/aspectj-docs.css83
-rw-r--r--docs/devGuideDB/dd_arrow.gifbin0 -> 851 bytes
2 files changed, 83 insertions, 0 deletions
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
--- /dev/null
+++ b/docs/devGuideDB/dd_arrow.gif
Binary files differ