More styling updates.

Author: tabatkins

default.css

@@ -24,7 +24,7 @@ body {
 }
 
 body {
-	background: url('construction.gif') top left repeat-y, url('construction.gif') top right repeat-y black !important;
+	background: url('construction.gif') top left repeat-y, url('construction.gif') top right repeat-y, url('spacebg.gif') black !important;
 	color: yellow !important;
 	font-family: Comic Sans MS, fantasy !important;
 }
@@ -33,13 +33,19 @@ h1,h2,h3,h4,h5,h6 {
 	background: black !important;
 	letter-spacing: 3px !important;
 	font-family: Consolas, Courier New, monospace !important;
-	border: thick solid !important;
+	border-bottom: thick solid !important;
 	padding: 3px !important;
+}
+h1,h2,h3,h4,h5,h6,.example, .issue, .figure, .note {
 	-webkit-animation: rainbow-border 2s infinite;
 	-moz-animation: rainbow-border 2s infinite;
 	-o-animation: rainbow-border 2s infinite;
 	-ms-animation: rainbow-border 2s infinite;
 }
+.example, .issue, .figure, .note {
+	border: 10px ridge !important;
+	background: transparent !important;
+}
 @-webkit-keyframes rainbow-border {
 	0%, 100% { border-color: red; }
 	16% { border-color: orange; }