Author: artdaw
Date: 2008-07-09 11:25:43 -0400 (Wed, 09 Jul 2008)
New Revision: 9492
Modified:
trunk/docs/userguide/en/src/main/resources/css/html.css
Log:
http://jira.jboss.com/jira/browse/RF-3189 - Line height in CSS role for IE6 was fixed.
Font-family for <code> was changed
Modified: trunk/docs/userguide/en/src/main/resources/css/html.css
===================================================================
--- trunk/docs/userguide/en/src/main/resources/css/html.css 2008-07-09 15:00:15 UTC (rev
9491)
+++ trunk/docs/userguide/en/src/main/resources/css/html.css 2008-07-09 15:25:43 UTC (rev
9492)
@@ -37,8 +37,6 @@
p.title {text-align:left;}
-pre.CSS {line-height:8px;}
-
.css_normal {
line-height:0px;
color:#000000;
@@ -84,10 +82,10 @@
.css_string {
color:#2A00FF;
}
-code {
+code.code{
color:#000000;
-font-size:12px;
-font-family:courier;
+font-size:14px;
+font-family:monospace;
}
a.new {
background:transparent url(../images/new.png) no-repeat scroll right top;
@@ -108,7 +106,10 @@
line-height:10px;
!line-height:15px;
}
-
+pre.CSS {
+line-height:10px;
+!line-height:15px;
+}
div.table-contents table{
font-size:12px;
}
\ No newline at end of file