aboutsummaryrefslogtreecommitdiffstats
path: root/docs/dist
diff options
context:
space:
mode:
authorwisberg <wisberg>2005-05-05 21:52:00 +0000
committerwisberg <wisberg>2005-05-05 21:52:00 +0000
commit0adb46004a8e099ce9466405e2c6955e427ed866 (patch)
tree591dacdff91ea005cc4848e548b8e9b3895c3e71 /docs/dist
parent8010230855e54cc20833f8e3a70e7bd4ccf4272f (diff)
downloadaspectj-0adb46004a8e099ce9466405e2c6955e427ed866.tar.gz
aspectj-0adb46004a8e099ce9466405e2c6955e427ed866.zip
.css stylesheet parameter for xml-html, used in faq. Did not retrofit devguide - unsure about relation to dsl file. Should remove aspectj-docs.css reference in the docbook stylesheets to avoid fork.
Diffstat (limited to 'docs/dist')
-rw-r--r--docs/dist/doc/aspectj-faq.css88
1 files changed, 88 insertions, 0 deletions
diff --git a/docs/dist/doc/aspectj-faq.css b/docs/dist/doc/aspectj-faq.css
new file mode 100644
index 000000000..d627302f3
--- /dev/null
+++ b/docs/dist/doc/aspectj-faq.css
@@ -0,0 +1,88 @@
+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: 100%;
+ 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;
+ }
+
+ .question {
+ color: #3333CC;
+ border-top: 1px solid silver;
+ } \ No newline at end of file