Merged from branch

[SVN r22003]
2025-04-06 22:14:59 +00:00 · 2004-01-27 14:29:23 +00:00 · 2004-01-27 14:29:23 +00:00 · 42808ba8c6
commit 42808ba8c6
parent 287441effd
15 changed files with 5 additions and 0 deletions
--- a/doc/html/images/blank.png
+++ b/doc/html/images/blank.png
--- a/doc/html/images/caution.png
+++ b/doc/html/images/caution.png
--- a/doc/html/images/draft.png
+++ b/doc/html/images/draft.png
--- a/doc/html/images/home.png
+++ b/doc/html/images/home.png
--- a/doc/html/images/important.png
+++ b/doc/html/images/important.png
--- a/doc/html/images/next.png
+++ b/doc/html/images/next.png
--- a/doc/html/images/note.png
+++ b/doc/html/images/note.png
--- a/doc/html/images/prev.png
+++ b/doc/html/images/prev.png
--- a/doc/html/images/tip.png
+++ b/doc/html/images/tip.png
--- a/doc/html/images/toc-blank.png
+++ b/doc/html/images/toc-blank.png
--- a/doc/html/images/toc-minus.png
+++ b/doc/html/images/toc-minus.png
--- a/doc/html/images/toc-plus.png
+++ b/doc/html/images/toc-plus.png
--- a/doc/html/images/up.png
+++ b/doc/html/images/up.png
--- a/doc/html/images/warning.png
+++ b/doc/html/images/warning.png
--- a/doc/html/reference.css
+++ b/doc/html/reference.css
@ -0,0 +1,5 @@
+PRE.synopsis { 
+  background-color: #e0ffff;
+  border: thin solid blue;
+  padding: 1em
+}