From 263f7e80d1f934f301d409206abc6b7d3e1466c1 Mon Sep 17 00:00:00 2001
From: Frank Steinberg <steinberg@ibr.cs.tu-bs.de>
Date: Tue, 8 Oct 2019 22:14:41 +0200
Subject: [PATCH] Minor.
---
web/edit.css | 13 +------------
1 file changed, 1 insertion(+), 12 deletions(-)
diff --git a/web/edit.css b/web/edit.css
index 96e48d4..96b8a83 100644
--- a/web/edit.css
+++ b/web/edit.css
@@ -16,9 +16,6 @@ div#editor {
right: 0;
text-align: center;
font-family: Helvetica, Arial, Geneva, sans-serif;
-/*
- font-size: 8pt;
-*/
}
div#editor-inner {
text-align: left;
@@ -34,14 +31,6 @@ div#editor-inner input {
}
div#markup {
font-family: courier;
-/*
- font-size: 7pt;
-*/
-}
-div#render {
-/*
- font-size: 7pt;
-*/
}
div#original {
margin:10px;
@@ -53,4 +42,4 @@ div#original {
*[orig='true'] {
display:none;
-}
\ No newline at end of file
+}
--
GitLab