diff --git a/web/edit.css b/web/edit.css index 96e48d4eb029abed53645a5abab15747d5c9501e..96b8a83091235f915457a95359f38a02c9c303f3 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 +}