ref: b8f69136adcf58d6b0698ee6854ba4dfba38d1fe
parent: 736f21393a4a6baadd09993efe4774ae6786f6d1
author: uriel <[email protected]>
date: Wed Jun 18 17:17:32 EDT 2008
Make font side for <pre> more readable
--- a/pub/style/style.css
+++ b/pub/style/style.css
@@ -351,6 +351,7 @@
/* Code */
pre {
margin-left: 2em;
+ font-size: 1.2em;
}