From 9db20c62ff85001514f51bb6e0e29c02d5f9c6a5 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Mon, 27 Jan 2003 16:31:16 +0000
Subject: Make the "notice" environments somewhat similar, with less difference
 between the "note" and "warning" flavors.

---
 Doc/html/style.css | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 762d1c4..5744630 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -67,9 +67,19 @@ div.warning             { background-color: #fffaf0;
                           margin-left: 2em;
                           margin-right: 2em; }
 
-div.warning .label      { font-size: 110%;
+div.warning .label      { font-family: sans-serif;
+                          font-size: 110%;
                           margin-right: 0.5em; }
 
+div.note                { background-color: #fffaf0;
+                          border: thin solid black;
+                          padding: 0.5em;
+                          margin-left: 2em;
+                          margin-right: 2em; }
+
+div.note .label         { margin-right: 0.5em;
+                          font-family: sans-serif; }
+
 .release-info           { font-style: italic; }
 
 .titlegraphic           { vertical-align: top; }
-- 
cgit v0.12