Implement database schema Migrator

This commit implements the new database schema Migrator which keeps
track of the on-disk schema and the schema used by the codebase. It
tries to makes future database schema upgrades user-friendlier.

2 files changed, 45 insertions, 18 deletions

diff --git a/theme/admin/rsrc/css/main.css b/theme/admin/rsrc/css/main.css
index cfc6db9..7d93d94 100644
--- a/theme/admin/rsrc/css/main.css
+++ b/theme/admin/rsrc/css/main.css
@@ -140,18 +140,18 @@ body {
 .header-line {
   padding: 0.5rem 0.75rem;
   overflow: hidden;
-}
-.header-line:first-child {
-  background: #5E819F;
-  position: sticky;
-  top: 0;
-}
-.header-line:last-child {
   background: #EEE;
+  padding: 0.25rem 0.75rem;
+}
+.header-line + .header-line {
   border: 0.05rem solid #AAA;
   border-left: none;
   border-right: none;
-  padding: 0.25rem 0.75rem;
+}
+.header-line.background {
+  background: #5E819F;
+  position: sticky;
+  top: 0;
 }
 
 /*++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
@@ -308,11 +308,18 @@ pre {
   overflow: auto;
   -moz-tab-size: 4;
   tab-size: 4;
+  background: #EEE;
+  padding: 0.5rem;
+  border: 0.05rem solid #AAA;
+  font-style: italic;
 }
 
 code, pre {
   font-family: "monospace";
-  color: #B03060;
+}
+
+code {
+  color: #008B45;
 }
 
 p {
@@ -344,6 +351,12 @@ img {
   display: none;
 }
 
+.no-visual-list {
+  margin: 0;
+  padding: 0;
+  list-style: none;
+}
+
 #database-result {
   color: inherit;
 }
diff --git a/theme/admin/rsrc/css/main.scss b/theme/admin/rsrc/css/main.scss
index d1f43c9..cc9bbb1 100644
--- a/theme/admin/rsrc/css/main.scss
+++ b/theme/admin/rsrc/css/main.scss
@@ -145,19 +145,20 @@ body {
 .header-line {
 	padding: 0.5rem 0.75rem;
 	overflow: hidden;
+	background: #EEE;
 
-	&:first-child {
-		background: #5E819F;
-		position: sticky;
-		top: 0;
-	}
+	padding: 0.25rem 0.75rem;
 
-	&:last-child {
-		background: #EEE;
+	+.header-line {
 		border: 0.05rem solid #AAA;
 		border-left: none;
 		border-right: none;
-		padding: 0.25rem 0.75rem;
+	}
+
+	&.background {
+		background: #5E819F;
+		position: sticky;
+		top: 0;
 	}
 }
 
@@ -341,11 +342,18 @@ pre {
 	overflow: auto;
 	-moz-tab-size: 4;
 	tab-size: 4;
+	background: #EEE;
+	padding: 0.5rem;
+	border: 0.05rem solid #AAA;
+	font-style: italic;
 }
 
 code, pre {
 	font-family: "monospace";
-	color: #B03060;
+}
+
+code {
+	color: #008B45;
 }
 
 p {
@@ -377,6 +385,12 @@ img {
 	display: none;
 }
 
+.no-visual-list {
+	margin: 0;
+	padding: 0;
+	list-style: none;
+}
+
 #database-result {
 	color: inherit;
 }