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]

Reply via email to