From d4a6906b3012fac6e4dbaca5854fc59ba0d67e47 Mon Sep 17 00:00:00 2001
From: Alexander Kriegisch <Alexander@Kriegisch.name>
Date: Sat, 8 Jan 2022 11:50:55 +0700
Subject: Rename '*GuideDB' directories to their actual HTML site target names

Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>
---
 docs/pdguide/aspectj-docs.css | 89 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 89 insertions(+)
 create mode 100644 docs/pdguide/aspectj-docs.css

(limited to 'docs/pdguide/aspectj-docs.css')

diff --git a/docs/pdguide/aspectj-docs.css b/docs/pdguide/aspectj-docs.css
new file mode 100644
index 000000000..9c2f5d4fc
--- /dev/null
+++ b/docs/pdguide/aspectj-docs.css
@@ -0,0 +1,89 @@
+body { 
+  font-family: "Lucida Grande", "Trebuchet MS", sans-serif;
+  line-height: 1.1em;
+ }
+
+h1 {
+  margin-bottom: 3px;
+  padding-bottom: 0px;
+  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: #00AAF0;
+ }
+
+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
-- 
cgit v1.2.3