Improve some styles for markup

bold, italic, quote, raw...
eclipse · Sep 20, 2024 · 3f557fa · 3f557fa
1 parent 7ef75ec
commit 3f557fa
Show file tree

Hide file tree

Showing 5 changed files with 37 additions and 16 deletions.
diff --git a/org.eclipse.tm4e.ui/themes/Dark.css b/org.eclipse.tm4e.ui/themes/Dark.css
@@ -21,7 +21,9 @@
 .markup.changed { color: rgb(86, 156, 214); }
 .markup.punctuation.quote.beginning { color: rgb(96, 139, 78); }
 .markup.punctuation.list.beginning { color: rgb(103, 150, 230); }
-.markup.inline.raw { color: rgb(206, 145, 120); }
+.markup.raw { font-style: normal; color: rgb(206, 145, 120); }
+.markup.inline.raw { font-family: monospace; font-style: normal; color: rgb(206, 145, 120); }
+.markup.quote { font-style: italic; }
 .meta.selector { color: rgb(215, 186, 125); }
 .punctuation.definition.tag { color: rgb(128, 128, 128); }
 .meta.preprocessor { color: rgb(86, 156, 214); }

diff --git a/org.eclipse.tm4e.ui/themes/Eclipse-light.css b/org.eclipse.tm4e.ui/themes/Eclipse-light.css
@@ -34,12 +34,14 @@
 .support.type.exception { color: rgb(203, 75, 22); }
 .support.other.variable {  }
 .invalid {  }
-.markup.quote { color: rgb(133, 153, 0); }
+.markup.quote { font-style: italic; color: rgb(133, 153, 0); }
 .markup.list { color: rgb(181, 137, 0); }
-.markup.bold { color: rgb(211, 54, 130); }
-.markup.italic { color: rgb(211, 54, 130); }
-.markup.inline.raw { color: rgb(42, 161, 152); }
-.markup.heading { color: rgb(38, 139, 210); }
+.markup.bold { font-weight: bold; color: rgb(211, 54, 130); }
+.markup.italic { font-style: italic; color: rgb(211, 54, 130); }
+.markup.strikethrough { text-decoration: line-through; }
+.markup.inline.raw { font-family: monospace; font-style: normal; color: rgb(42, 161, 152); }
+.markup.raw { font-family: monospace; font-style: normal; color: rgb(42, 161, 152); }
+.markup.heading { font-weight: bold; color: rgb(38, 139, 210); }
 .markup.heading.setext { color: rgb(38, 139, 210); }
 
 .editor { background-color: rgb(255, 255, 255); color: rgb(0, 0, 0); }

diff --git a/org.eclipse.tm4e.ui/themes/Light.css b/org.eclipse.tm4e.ui/themes/Light.css
@@ -93,8 +93,21 @@
 }
 
 .markup.inline.raw {
+	font-family: monospace;
+	font-style: normal;
 	color: rgb(128, 0, 0);
 }
+.markup.raw {
+	font-family: monospace;
+	font-style: normal;
+	color: rgb(128, 0, 0);
+}
+.markup.quote {
+	font-style: italic;
+}
+.markup.strikethrough {
+	text-decoration: line-through;
+}
 
 .meta.selector {
 	color: rgb(128, 0, 0);

diff --git a/org.eclipse.tm4e.ui/themes/Monokai.css b/org.eclipse.tm4e.ui/themes/Monokai.css
@@ -30,13 +30,15 @@
 .markup.changed { color: rgb(230, 219, 116); }
 .constant.numeric.line-number.find-in-files.match { color: rgb(174, 129, 255, 0.63); }
 .entity.name.filename.find-in-files { color: rgb(230, 219, 116); }
-.markup.quote { color: rgb(249, 38, 114); }
+.markup.quote { font-style: italic; color: rgb(249, 38, 114); }
 .markup.list { color: rgb(230, 219, 116); }
-.markup.bold { color: rgb(102, 217, 239); }
-.markup.italic { color: rgb(102, 217, 239); }
-.markup.inline.raw { color: rgb(253, 151, 31); }
-.markup.heading { color: rgb(166, 226, 46); }
+.markup.bold { font-weight: bold; color: rgb(102, 217, 239); }
+.markup.italic { font-style: italic; color: rgb(102, 217, 239); }
+.markup.raw { font-family: monospace; font-style: normal; color: rgb(253, 151, 31); }
+.markup.inline.raw { font-family: monospace; font-style: normal; color: rgb(253, 151, 31); }
+.markup.heading { font-weight: bold; color: rgb(166, 226, 46); }
 .markup.heading.setext { color: rgb(166, 226, 46); }
+.markup.strikethrough { text-decoration: line-through; }
 
 .editor { background-color: rgb(39, 40, 34); color: rgb(248,248,242); }
 .editor.lineHighlight { background-color: rgb(62, 61, 50); }

diff --git a/org.eclipse.tm4e.ui/themes/Solarized-light.css b/org.eclipse.tm4e.ui/themes/Solarized-light.css
@@ -32,13 +32,15 @@
 .support.type.exception { color: rgb(203, 75, 22); }
 .support.other.variable {  }
 .invalid {  }
-.markup.quote { color: rgb(133, 153, 0); }
+.markup.quote { font-style: italic; color: rgb(133, 153, 0); }
 .markup.list { color: rgb(181, 137, 0); }
-.markup.bold { color: rgb(211, 54, 130); }
-.markup.italic { color: rgb(211, 54, 130); }
-.markup.inline.raw { color: rgb(42, 161, 152); }
-.markup.heading { color: rgb(38, 139, 210); }
+.markup.bold { font-weight: bold; color: rgb(211, 54, 130); }
+.markup.italic { font-style: italic; color: rgb(211, 54, 130); }
+.markup.inline.raw { font-family: monospace; font-style: normal; color: rgb(42, 161, 152); }
+.markup.raw { font-family: monospace; font-style: normal; color: rgb(42, 161, 152); }
+.markup.heading { font-weight: bold; color: rgb(38, 139, 210); }
 .markup.heading.setext { color: rgb(38, 139, 210); }
+.markup.strikethrough { text-decoration: line-through; }
 
 .editor { background-color: rgb(255, 255, 255); color: rgb(0, 0, 0); }
 .editor.lineHighlight  {background-color:  rgb(232, 242, 254); }