Make the "notice" environments somewhat similar, with less difference

between the "note" and "warning" flavors.
This commit is contained in:
Fred Drake 2003-01-27 16:31:16 +00:00
parent 6ffdaab808
commit 9db20c62ff
1 changed files with 11 additions and 1 deletions

View File

@ -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; }