1 files changed, 74 insertions, 74 deletions

diff --git a/local.scss b/local.scss
index 95296ec..e80239b 100644
--- a/local.scss
+++ b/local.scss
@@ -1,29 +1,29 @@
-H1 {
+h1 {
 	color: DarkRed;
 }
 
-H1,
-H2,
-H3 {
-	margin-bottom: 0.1em;
-}
-
-H4,
-H5,
-H6 {
-	text-decoration: blink;
-}
-
-H2 {
+h2 {
 	font-size: 1.4em;
 }
 
-H3 {
+h3 {
 	font-size: 1.1em;
 	font-weight: bold;
 	line-height: 1.6em;
 }
 
+h1,
+h2,
+h3 {
+	margin-bottom: 0.1em;
+}
+
+h4,
+h5,
+h6 {
+	text-decoration: blink;
+}
+
 a {
 	color: darkblue;
 	font-weight: normal;
@@ -38,7 +38,7 @@ p {
 	margin-bottom: 1.2em;
 }
 
-BODY {
+body {
 	margin: 0;
 	background-color: white;
 	font-size: 100%;
@@ -46,17 +46,17 @@ BODY {
 	line-height: 1.5;
 }
 
-DIV.header {
+div.header {
 	padding: 0;
 	background-color: LightBlue;
 	color: LightBlue;
 }
 
-DIV.header,
-SPAN.author,
-DIV.recentchanges,
-SPAN.committype,
-DIV#footer {
+div.header,
+span.author,
+div.recentchanges,
+span.committype,
+div#footer {
 	font-size: 80%;
 }
 
@@ -89,8 +89,8 @@ div.actions ul {
 	}
 }
 
-DIV#topbar,
-DIV.topbar {
+div#topbar,
+div.topbar {
 	height: 60px;
 	margin: 0;
 	padding: 20px 0;
@@ -100,55 +100,55 @@ DIV.topbar {
 	letter-spacing: 1px;
 }
 
-DIV#topbar p,
-DIV.topbar p {
+div#topbar p,
+div.topbar p {
 	float: left;
 }
 
-DIV#topbar a,
-DIV.topbar a {
+div#topbar a,
+div.topbar a {
 	font-weight: bold;
 }
 
-DIV#topbar ul,
-DIV.topbar ul {
+div#topbar ul,
+div.topbar ul {
 	list-style-type:none;
 	margin: 0;
 	padding: 0;
 }
 
-DIV#topbar ul li,
-DIV.topbar ul li {
+div#topbar ul li,
+div.topbar ul li {
 	display:inline;
 	margin: 0 20px;
 }
 
-DIV#topbar li,
-DIV#topbar ul,
-DIV#topbar ul li,
-DIV#topbar ol,
-DIV#topbar ol li,
-DIV.topbar li,
-DIV.topbar ul,
-DIV.topbar ul li,
-DIV.topbar ol,
-DIV.topbar ol li {
+div#topbar li,
+div#topbar ul,
+div#topbar ul li,
+div#topbar ol,
+div#topbar ol li,
+div.topbar li,
+div.topbar ul,
+div.topbar ul li,
+div.topbar ol,
+div.topbar ol li {
 	font-size: 1.1em;
 	line-height: 2em;
 }
 
-DIV#topbar img,
-DIV.topbar img {
+div#topbar img,
+div.topbar img {
 	margin: 0 20px;
 }
 
-DIV#wrapper,
-DIV#pagebody {
+div#wrapper,
+div#pagebody {
 	float: left;
 	width: 100%;
 }
 
-DIV#content {
+div#content {
 	min-height: 480px;
 	max-width: 48em;
 	margin: 2% 40% 2% 20%;
@@ -157,7 +157,7 @@ DIV#content {
 	background-color: none;
 }
 
-DIV#content IMG {
+div#content IMG {
 	display: block;
 	clear: both;
 	float: right;
@@ -168,25 +168,25 @@ DIV#content IMG {
 	background-color: none;
 }
 
-DIV.inlinepage {
+div.inlinepage {
 	border: 0;
 	padding: 1em;
 	margin: 0 -1em;
 	background-color: LightYellow;
 }
 
-DIV.inlinepage SPAN.header a {
+div.inlinepage SPAN.header a {
 	font-size: 0.9em;
 	font-weight: normal;
 	color: DarkRed;
 }
 
-DIV.inlinefooter {
+div.inlinefooter {
 	display: none;
 }
 
-DIV#sidebar,
-DIV.sidebar {
+div#sidebar,
+div.sidebar {
 	float: left;
 	min-height: 480px;
 	width: 14%;
@@ -199,40 +199,40 @@ DIV.sidebar {
 	text-align: left;
 }
 
-DIV#sidebar ul,
-DIV.sidebar ul {
+div#sidebar ul,
+div.sidebar ul {
 	padding-left: 0.5em;
 	margin-bottom:0;
 	margin-top:0;
 }
 
-DIV#sidebar ul li,
-DIV.sidebar ul li {
+div#sidebar ul li,
+div.sidebar ul li {
 	list-style-type: none;
 	padding: 0;
 }
 
-DIV#sidebar ul li,
-DIV.sidebar ul li,
-DIV#sidebar ul li p,
-DIV.sidebar ul li p {
+div#sidebar ul li,
+div.sidebar ul li,
+div#sidebar ul li p,
+div.sidebar ul li p {
 	margin-bottom: 0;
 	line-height: 1.5em;
 }
 
-DIV#sidebar ul li a,
-DIV.sidebar ul li a {
+div#sidebar ul li a,
+div.sidebar ul li a {
 	font-weight: normal;
 }
 
-DIV#sidebar ul li SPAN.selflink,
-DIV.sidebar ul li SPAN.selflink {
+div#sidebar ul li SPAN.selflink,
+div.sidebar ul li SPAN.selflink {
 	color: DarkBlue;
 	font-weight: bold;
 }
 
-DIV#farbar,
-DIV.farbar {
+div#farbar,
+div.farbar {
 	float: left;
 	min-height: 480px;
 	width: 14%;
@@ -244,33 +244,33 @@ DIV.farbar {
 	text-align: left;
 }
 
-DIV.tags {
+div.tags {
 	display: none;
 }
 
-DIV#backlinks {
+div#backlinks {
 	display: none;
 }
 
-DIV#footer {
+div#footer {
 	clear: left;
 	width: 100%;
 	margin: 2% 0 0;
 }
 
-DIV#pageinfo {
+div#pageinfo {
 	margin: 0;
 	border-top: 0;
 	padding:1em 1em 1em 20px;
 	background-color: LightBlue;
 }
 
-DIV.pagedate {
+div.pagedate {
 	margin-top: 0;
 }
 
-DIV.pagecopyright,
-DIV.pagecopyright P {
+div.pagecopyright,
+div.pagecopyright P {
 	margin-top: 0;
 	margin-bottom: 0;
 }