1.1 --- a/docs/styles.css Mon Apr 11 17:53:52 2005 +0000
1.2 +++ b/docs/styles.css Mon Apr 11 21:32:23 2005 +0000
1.3 @@ -34,6 +34,10 @@
1.4 PRE {
1.5 background-color: silver;
1.6 color: black;
1.7 +border-style: solid;
1.8 +border-color: black;
1.9 +border-width: 1pt;
1.10 +padding: 0.5em;
1.11 }
1.12
1.13 .WebStack {
1.14 @@ -41,8 +45,8 @@
1.15 border-style: solid;
1.16 border-color: black;
1.17 border-width: 1pt;
1.18 -padding-left: 12pt;
1.19 -padding-right: 12pt;
1.20 +padding-left: 0.5em;
1.21 +padding-right: 0.5em;
1.22 }
1.23
1.24 TH, TD, CAPTION {