Changeset 13428 in josm for trunk/data

Timestamp:

2018-02-17T14:05:12+01:00 (6 years ago)

Author:

Don-vip

Message:

fix #15910 - better display of <code> in HTML/CSS help browser (patch by Hb---, modified)

File:

• trunk/data/help-browser.css (modified) (2 diffs)

trunk/data/help-browser.css

@@ -3 +3 @@
  * This is the CSS file used in the internal help browser.
  * Refer to https://docs.oracle.com/javase/8/docs/api/javax/swing/text/html/CSS.html
- * and https://www.w3.org/TR/CSS1/ to see what CSS properties are supported by Java. 
+ * and https://www.w3.org/TR/CSS1/ to see what CSS properties are supported by Java.
+ * - Not rendered are width, height, float, clear, display, font-variant and others.
+ * - Inline elements can't have borders, margins and paddings.
  */
 body {margin-left: 0.2cm; font-family: Arial, sans-serif; font-size:14pt; font-weight:normal}
@@ -21 +23 @@
 code, pre, samp, tt {font-family: Courier New}
 code, tt {
-        background-color: #fafafa;
-        border-color: rgb(238, 221, 204);
-        border-style: solid; 
-        border-width: 1px;
+        background-color: rgb(240, 240, 240);
+        font-size: 110%;
         color: rgb(102, 0, 0);
 }