More styling.

Author: tabatkins

default.css

@@ -46,6 +46,13 @@ h1,h2,h3,h4,h5,h6,.example, .issue, .figure, .note, .propdef {
 	border: 10px ridge !important;
 	background: transparent !important;
 }
+.head > p > a::before {
+	content: url('w3c.gif') !important;
+}
+.head > p > a > img {
+	display: none !important;
+}
+
 @-webkit-keyframes rainbow-border {
 	0%, 100% { border-color: red; }
 	16% { border-color: orange; }