From 5a55c49c8ce9b0eef7d9b56ef618aeb80d968c50 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Wed, 1 May 2002 22:03:40 +0000 Subject: [PATCH] Added more style for major warnings. --- Doc/html/style.css | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/Doc/html/style.css b/Doc/html/style.css index 9b8ebf5ffe..3f8b3e858d 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css @@ -61,6 +61,15 @@ var { font-family: times, serif; font-family: avantgarde, sans-serif; font-size: 110%; } +div.warning { background-color: #fffaf0; + border: thin solid black; + padding: 0.5em; + margin-left: 2em; + margin-right: 2em; } + +div.warning .label { font-size: 110%; + margin-right: 0.5em; } + .release-info { font-style: italic; } .titlegraphic { vertical-align: top; } -- 2.40.0