More styling.

tabatkins · tabatkins · commit 7976abf1d338 · 2012-04-01T10:17:27.000-07:00
diff --git a/default.css b/default.css
@@ -36,13 +36,13 @@ h1,h2,h3,h4,h5,h6 {
 	border-bottom: thick solid !important;
 	padding: 3px !important;
 }
-h1,h2,h3,h4,h5,h6,.example, .issue, .figure, .note {
+h1,h2,h3,h4,h5,h6,.example, .issue, .figure, .note, .propdef {
 	-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 {
+.example, .issue, .figure, .note, .propdef {
 	border: 10px ridge !important;
 	background: transparent !important;
 }

Original file line number	Diff line number	Diff line change
`@@ -36,13 +36,13 @@ h1,h2,h3,h4,h5,h6 {`
`36`	`36`	`border-bottom: thick solid !important;`
`37`	`37`	`padding: 3px !important;`
`38`	`38`	`}`
`39`		`-h1,h2,h3,h4,h5,h6,.example, .issue, .figure, .note {`
	`39`	`+h1,h2,h3,h4,h5,h6,.example, .issue, .figure, .note, .propdef {`
`40`	`40`	`-webkit-animation: rainbow-border 2s infinite;`
`41`	`41`	`-moz-animation: rainbow-border 2s infinite;`
`42`	`42`	`-o-animation: rainbow-border 2s infinite;`
`43`	`43`	`-ms-animation: rainbow-border 2s infinite;`
`44`	`44`	`}`
`45`		`-.example, .issue, .figure, .note {`
	`45`	`+.example, .issue, .figure, .note, .propdef {`
`46`	`46`	`border: 10px ridge !important;`
`47`	`47`	`background: transparent !important;`
`48`	`48`	`}`