Changeset 13428 in josm


Ignore:
Timestamp:
2018-02-17T14:05:12+01:00 (7 months ago)
Author:
Don-vip
Message:

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

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/data/help-browser.css

    r13416 r13428  
    33 * This is the CSS file used in the internal help browser.
    44 * Refer to https://docs.oracle.com/javase/8/docs/api/javax/swing/text/html/CSS.html
    5  * and https://www.w3.org/TR/CSS1/ to see what CSS properties are supported by Java.
     5 * and https://www.w3.org/TR/CSS1/ to see what CSS properties are supported by Java.
     6 * - Not rendered are width, height, float, clear, display, font-variant and others.
     7 * - Inline elements can't have borders, margins and paddings.
    68 */
    79body {margin-left: 0.2cm; font-family: Arial, sans-serif; font-size:14pt; font-weight:normal}
     
    2123code, pre, samp, tt {font-family: Courier New}
    2224code, tt {
    23         background-color: #fafafa;
    24         border-color: rgb(238, 221, 204);
    25         border-style: solid;
    26         border-width: 1px;
     25        background-color: rgb(240, 240, 240);
     26        font-size: 110%;
    2727        color: rgb(102, 0, 0);
    2828}
Note: See TracChangeset for help on using the changeset viewer.