mturk 2004/11/29 04:36:41 Modified: jk/xdocs style.css Log: Use proper font size and weight for source tag. Revision Changes Path 1.6 +3 -0 jakarta-tomcat-connectors/jk/xdocs/style.css Index: style.css =================================================================== RCS file: /home/cvs/jakarta-tomcat-connectors/jk/xdocs/style.css,v retrieving revision 1.5 retrieving revision 1.6 diff -u -r1.5 -r1.6 --- style.css 29 Nov 2004 12:25:14 -0000 1.5 +++ style.css 29 Nov 2004 12:36:41 -0000 1.6 @@ -11,6 +11,9 @@ } pre {
font-family: "Courier New", Courier, monospace; + font-weight: normal; + font-style: normal; + font-size: smaller; } em.screen { font-weight: normal; --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]