whatsnew: Tweak PRE style.

whatsnew.htm

@@ -10,7 +10,7 @@
     a:visited    { color: #5e85d7; background-color: transparent }
     a:active     { color: #7799dd; background-color: transparent }
     tt, pre      { font: calc(13rem/16)/calc(21rem/16) monospace; color: inherit; background-color: #f0f0f0; padding: 2px 4px; border-radius: 4px }
-    pre          { line-height: normal }
+    pre          { line-height: normal; padding: 10px; border-radius: 6px }
     li, div.limargins { margin-top: 5px; margin-bottom: 5px }
     div.bluehead { text-align: center; color: white; background-color: #264b99; padding: 5px; font-weight: bold; line-height: normal }
     .date        { font-size: calc(11rem/16); font-weight: bold }