Author: heiko.braun(a)jboss.com Date: 2007-09-26 03:50:15 -0400 (Wed, 26 Sep 2007) New Revision: 4628 Modified: projects/wiki/skins/devmo/css/wiki.css Log: Increase code snippet font-size Modified: projects/wiki/skins/devmo/css/wiki.css =================================================================== --- projects/wiki/skins/devmo/css/wiki.css 2007-09-25 17:01:03 UTC (rev 4627) +++ projects/wiki/skins/devmo/css/wiki.css 2007-09-26 07:50:15 UTC (rev 4628) @@ -41,7 +41,7 @@ background: url(images/page-background.gif) repeat-x top left; margin: 0; padding: 2em 0 2em; - font-size: 0.95em; + font-size: 0.95em; } .article p { margin: 10px 0 10px 0; padding: 0; @@ -457,14 +457,18 @@ } pre { - background: #EEE; - font-size: 0.8em; + background: #EEE; + font-size: 1.0em; line-height: 1.1em; border: dashed #666 1px; padding: 15px 20px 15px 20px; - overflow: auto; + overflow: auto; } +/* enscript customizations */ +pre a { text-decoration:none; } +hr {border:none;} + .prewrong { padding: 0; margin: 0; }