Run retab to match rest of the files

stylesheet.css

@@ -1,55 +1,56 @@
-html{
+html {
-	border: 10px inset magenta;
+  border: 10px inset magenta;
-	min-height: calc(100vh - 20px);
+  min-height: calc(100vh - 20px);
-	min-width: 1000px;
+  min-width: 1000px;
-}
+}
-body{
+body {
-	margin:1em;
+  margin: 1em;
-	font-family:monospace;	
+  font-family: monospace;
-  	font-size:16px;
+  font-size: 16px;
-  	line-height: 1.3;
+  line-height: 1.3;
-  	background-color: #ffff00a3;
+  background-color: #ffff00a3;
-	color: green;
+  color: green;
-}
+}
-#welcome{
+#welcome {
-	max-width: 600px;	
+  max-width: 600px;
-	margin:1em 0;
+  margin: 1em 0;
-}
+}
-table{
+table {
-	min-width: 600px;
+  min-width: 600px;
-}
+}
-th, td{
+th,
-	text-align: left;
+td {
-	padding:0 1em 0 0;
+  text-align: left;
-	vertical-align: top;
+  padding: 0 1em 0 0;
-}
+  vertical-align: top;
-	td.name{
+}
-		width: 323px;
+td.name {
-	}
+  width: 323px;
-	td.versions{
+}
-		width: 290px;
+td.versions {
-	}
+  width: 290px;
-	td.magicwords a{
+}
-		color: magenta;
+td.magicwords a {
-	}
+  color: magenta;
-hr{
+}
-	border:0;
+hr {
-	border-bottom:1px solid;
+  border: 0;
-	margin:2em 0 1em;
+  border-bottom: 1px solid;
-}
+  margin: 2em 0 1em;
-#footer{
+}
-	max-width: 600px;	
+#footer {
-}
+  max-width: 600px;
-.info{
+}
-	font-size: smaller;
+.info {
-}
+  font-size: smaller;
-.highlight{
+}
-	padding: 1em;
+.highlight {
-	background-color: pink;
+  padding: 1em;
-}
+  background-color: pink;
-.magic{
+}
-	margin-top:2em;
+.magic {
-}
+  margin-top: 2em;
-.magicwords{
+}
-	padding-right: 5px;
+.magicwords {
+  padding-right: 5px;
 }