You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@tomcat.apache.org by hg...@apache.org on 2002/09/02 12:54:33 UTC
cvs commit: jakarta-tomcat-connectors/jk/xdocs style.css.in
hgomez 2002/09/02 03:54:33
Modified: jk/xdocs style.css.in
Log:
Updated style.css, use smallest fonts and use less flashy colors for
tables
Revision Changes Path
1.3 +60 -1 jakarta-tomcat-connectors/jk/xdocs/style.css.in
Index: style.css.in
===================================================================
RCS file: /home/cvs/jakarta-tomcat-connectors/jk/xdocs/style.css.in,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- style.css.in 30 Jun 2002 03:32:01 -0000 1.2
+++ style.css.in 2 Sep 2002 10:54:33 -0000 1.3
@@ -1,6 +1,7 @@
body {
margin: 0;
font-family: "verdana", "tahoma", "arial", "helvetica", sans-serif;
+ font-size: 9pt;
}
td.logo {
@@ -12,7 +13,6 @@
font-size: 1px;
}
-
td.head {
background-color: #999999;
border-style: solid;
@@ -114,6 +114,10 @@
text-align: justify;
}
+pre.section {
+ margin-left: 20px;
+}
+
td.section {
background-color: @sub-banner-bg@;
border-style: none;
@@ -143,26 +147,81 @@
text-align: left;
}
+p.screendos {
+ background-color: #000000;
+ border-style: none;
+ color: #ffffff;
+ margin-left: 10px;
+ margin-right: 0px;
+ text-align: left;
+}
+
+p.screen5250 {
+ background-color: #000000;
+ border-style: none;
+ color: #00ff00;
+ margin-left: 10px;
+ margin-right: 0px;
+ text-align: left;
+}
+
div.screen {
margin: 10px 0px 10px 20px;
font-size: smaller;
color: #666666;
}
+div.screendos {
+ margin: 10px 0px 10px 20px;
+ font-size: smaller;
+ color: #ff66ff;
+}
+
+div.screen5250 {
+ margin: 10px 0px 10px 20px;
+ font-size: smaller;
+ color: #66ff66;
+}
+
em.screen {
font-weight: normal;
font-style: normal;
color: #666666;
}
+em.screendos {
+ font-weight: normal;
+ font-style: normal;
+ color: #ffffff;
+}
+
+em.screen5250 {
+ font-weight: normal;
+ font-style: normal;
+ color: #00ff00;
+}
+
b.screen {
font-weight: normal;
font-style: normal;
color: #0000ff;
}
+b.screendos {
+ font-weight: normal;
+ font-style: normal;
+ color: #ffffff;
+}
+
+b.screen5250 {
+ font-weight: normal;
+ font-style: normal;
+ color: #00ff00;
+}
+
b.code {
font-weight: normal;
font-style: normal;
color: @source-color@;
}
+
--
To unsubscribe, e-mail: <ma...@jakarta.apache.org>
For additional commands, e-mail: <ma...@jakarta.apache.org>