Fix stupid style bug.

This commit is contained in:
Fred Drake 2003-09-30 15:40:33 +00:00
parent 83dd43fde1
commit c504c20e5a

View File

@ -72,7 +72,7 @@ var { font-family: times, serif;
div.warning { background-color: #fffaf0;
border: thin solid black;
padding: 1em 1em 0em 1em;
padding: 1em;
margin-left: 2em;
margin-right: 2em; }