add historyview styling

core/css/theme.css

@@ -24,11 +24,19 @@
 	--code-bg: #ffffff63;
 	--code-text: #000000;
 	
-	--comments-bgcolor: #ffffff;
+	--comments-background: #ffffff;
+	--comments-border-color: #000000;
 	
 	--border-line: #000000;
 	--border-header: #ffffff;
 	
+	--history-background: #ffffff;
+	--history-border-color: #000000;
+	--history-line-info: #FFFF00;
+	--history-line-add: #90EE90;
+	--history-line-delete: #FFCCCB;
+	--history-line-comment: #DCDCDC;
+	
 	--inactive: #6e6e6e;
 	--alert: #ce0000;
 	--currency: #89541A;

core/style.css

@@ -146,6 +146,35 @@ body > div.overlay .dialog table:not(.titlebox) {
 	overflow: auto;
 }
 
+body > div.overlay div.dialog.historylist {
+	display: flex;
+	flex-direction: column;
+	max-width: 500px;
+	max-height: 90%;
+}
+
+body > div.overlay div.dialog.historylist .history-view {
+	background: var(--history-background);
+	padding: 4px;
+	margin: 4px;
+	border: 1px solid var(--history-border-color);
+	overflow: auto;
+	font-family: monospace;
+}
+
+body > div.overlay div.dialog.historylist select {
+	width: 100%;
+	margin: 2px 0px;
+}
+.history-view div {
+	border-bottom: 1px dashed var(--history-border-color);
+	white-space: break-spaces;
+}
+.history-view div.inf { background-color: var(--history-line-info); }
+.history-view div.add { background-color: var(--history-line-add); }
+.history-view div.del { background-color: var(--history-line-delete); }
+.history-view div.cmt { background-color: var(--history-line-comment); }
+
 /* = PAGE SELECTORS */
 div.page-selector {
 	display: inline-flex;