From: rrt <unknown>
Date: Fri, 12 May 2000 15:48:20 +0000 (+0000)
Subject: [project @ 2000-05-12 15:48:20 by rrt]
X-Git-Tag: Approximately_9120_patches~4485
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=2034b3756c501b0e8d63b1a06c8e0b949e129f2f;p=ghc-hetmet.git

[project @ 2000-05-12 15:48:20 by rrt]
Added to repository: GIFs and CSS that are copied to HTML directories by
db2html.
---

diff --git a/glafp-utils/docbook/html/docbook.css b/glafp-utils/docbook/html/docbook.css
new file mode 100644
index 0000000..b42fb27
--- /dev/null
+++ b/glafp-utils/docbook/html/docbook.css
@@ -0,0 +1,20 @@
+.BOOK .TITLE          { text-align: center }
+.BOOK .SUBTITLE       { text-align: center }
+.BOOK .CORPAUTHOR     { text-align: center }
+.BOOK .AUTHOR         { text-align: center }
+.BOOK .AFFILIATION    { text-align: center }
+.BOOK .EDITEDBY       { text-align: center }
+.BOOK .EDITOR         { text-align: center }
+.BOOK .GRAPHIC        { text-align: center }
+
+.ARTICLE .TITLE          { text-align: center }
+.ARTICLE .SUBTITLE       { text-align: center }
+.ARTICLE .CORPAUTHOR     { text-align: center }
+.ARTICLE .AUTHOR         { text-align: center }
+.ARTICLE .AFFILIATION    { text-align: center }
+.ARTICLE .EDITEDBY       { text-align: center }
+.ARTICLE .EDITOR         { text-align: center }
+.ARTICLE .GRAPHIC        { text-align: center }
+.ARTICLE .ABSTRACT       { margin-left: 0.5in;
+                           margin-right: 0.5in;
+                           font-style: italic }
diff --git a/glafp-utils/docbook/html/images/caution.gif b/glafp-utils/docbook/html/images/caution.gif
new file mode 100644
index 0000000..9cc2e15
Binary files /dev/null and b/glafp-utils/docbook/html/images/caution.gif differ
diff --git a/glafp-utils/docbook/html/images/home.gif b/glafp-utils/docbook/html/images/home.gif
new file mode 100644
index 0000000..55e1d59
Binary files /dev/null and b/glafp-utils/docbook/html/images/home.gif differ
diff --git a/glafp-utils/docbook/html/images/important.gif b/glafp-utils/docbook/html/images/important.gif
new file mode 100644
index 0000000..25e40c7
Binary files /dev/null and b/glafp-utils/docbook/html/images/important.gif differ
diff --git a/glafp-utils/docbook/html/images/next.gif b/glafp-utils/docbook/html/images/next.gif
new file mode 100644
index 0000000..8c502e7
Binary files /dev/null and b/glafp-utils/docbook/html/images/next.gif differ
diff --git a/glafp-utils/docbook/html/images/note.gif b/glafp-utils/docbook/html/images/note.gif
new file mode 100644
index 0000000..7322e8e
Binary files /dev/null and b/glafp-utils/docbook/html/images/note.gif differ
diff --git a/glafp-utils/docbook/html/images/prev.gif b/glafp-utils/docbook/html/images/prev.gif
new file mode 100644
index 0000000..0894d9e
Binary files /dev/null and b/glafp-utils/docbook/html/images/prev.gif differ
diff --git a/glafp-utils/docbook/html/images/tip.gif b/glafp-utils/docbook/html/images/tip.gif
new file mode 100644
index 0000000..f062955
Binary files /dev/null and b/glafp-utils/docbook/html/images/tip.gif differ
diff --git a/glafp-utils/docbook/html/images/toc-blank.gif b/glafp-utils/docbook/html/images/toc-blank.gif
new file mode 100644
index 0000000..6c65e3a
Binary files /dev/null and b/glafp-utils/docbook/html/images/toc-blank.gif differ
diff --git a/glafp-utils/docbook/html/images/toc-minus.gif b/glafp-utils/docbook/html/images/toc-minus.gif
new file mode 100644
index 0000000..40ebe61
Binary files /dev/null and b/glafp-utils/docbook/html/images/toc-minus.gif differ
diff --git a/glafp-utils/docbook/html/images/toc-plus.gif b/glafp-utils/docbook/html/images/toc-plus.gif
new file mode 100644
index 0000000..3e9e7d5
Binary files /dev/null and b/glafp-utils/docbook/html/images/toc-plus.gif differ
diff --git a/glafp-utils/docbook/html/images/up.gif b/glafp-utils/docbook/html/images/up.gif
new file mode 100644
index 0000000..e899a27
Binary files /dev/null and b/glafp-utils/docbook/html/images/up.gif differ
diff --git a/glafp-utils/docbook/html/images/warning.gif b/glafp-utils/docbook/html/images/warning.gif
new file mode 100644
index 0000000..a587079
Binary files /dev/null and b/glafp-utils/docbook/html/images/warning.gif differ