merge changes from css3-background copy

Author: fantasai

default.css

@@ -106,7 +106,7 @@ ul.indexlist { margin-left: 0; /*column-width: 13em; columns: 13em*/ }
 ul.indexlist li { margin-left: 0; list-style: none }
 ul.indexlist li li { margin-left: 1em }
 
-div.example, pre.example {
+.example {
     counter-increment: exampleno;
 }
 div.example:before {
@@ -191,7 +191,6 @@ dfn { font-weight: bolder; /*font-size: 1em*/ }
 
 /* Class note is a non-normative note. May be inline or a P or DIV */
 .note {
-    /* font-weight: bold; */
     color: green
 }
 p.note, div.note {
@@ -376,6 +375,17 @@ table.descdef tr:first-child {
     background: #005A9C;
     color: white
 }
+
+/* A footnote at the bottom of a propdef */
+table.propdef td.footnote {padding-top: 0.6em; width: auto}
+table.propdef td.footnote:before {
+  content: " ";
+  display: block;
+  height: 0.6em;
+  width: 4em;
+  border-top: thin solid
+}
+
 /* table.propdef tr:first-child td { padding-top: 0.1em; padding-bottom: 0.1em } */
 
 /* This would replace :first-child for Opera, but it confuses WinIE :-( */