Better CSS styling inside PRE tags

CSS styling of PRE tags can be made better: see based on http://www.pathf.com/blogs/2008/05/formatting-quoted-code-in-blog-posts-...

e.g. from http://html5boilerplate.com/ :

pre {
  /* www.pathf.com/blogs/2008/05/formatting-quoted-code-in-blog-posts-css21-white-space-pre-wrap/ */
  white-space: pre; white-space: pre-wrap; white-space: pre-line; word-wrap: break-word;
  padding: 15px;
}