1.1 --- a/docs/styles.css Mon Apr 18 22:47:28 2005 +0000
1.2 +++ b/docs/styles.css Tue Apr 19 22:32:46 2005 +0000
1.3 @@ -42,17 +42,15 @@
1.4 th, td, caption { font-size: 12pt;
1.5 }
1.6
1.7 - .explanation { border-style: solid;
1.8 - border-width: 2px;
1.9 + .explanation { border-style: dotted;
1.10 + border-width: 1px;
1.11 padding: 0.25em;
1.12 - top: -0.5em;
1.13 - width: 40%;
1.14 display: block;
1.15 - float: right;
1.16 position: relative;
1.17 - left: 10%;
1.18 background-color: rgb(255, 255, 153);
1.19 font-weight: normal;
1.20 + top: 0.5em;
1.21 + left: -1em;
1.22 }
1.23
1.24 .layers { width: 60%;