Changeset 13416 in josm


Ignore:
Timestamp:
2018-02-12T21:03:23+01:00 (2 months ago)
Author:
Don-vip
Message:

fix #15910 - better display of <code> in HTML/CSS help browser. The border is not displayed but I can't figure why

File:
1 edited

Legend:

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

    r9958 r13416  
    11@CHARSET "ISO-8859-1";
    22/*
    3  * This is the CSS file used in the internal help browser
     3 * This is the CSS file used in the internal help browser.
     4 * 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.
    46 */
    57body {margin-left: 0.2cm; font-family: Arial, sans-serif; font-size:14pt; font-weight:normal}
     
    1719em {font-style: italic}
    1820i {font-style: italic}
    19 tt {font-family: Courier New}
    20 pre {font-family: Courier New}
     21code, pre, samp, tt {font-family: Courier New}
     22code, tt {
     23        background-color: #fafafa;
     24        border-color: rgb(238, 221, 204);
     25        border-style: solid;
     26        border-width: 1px;
     27        color: rgb(102, 0, 0);
     28}
    2129.warning-header {
    2230        font-family: Arial, sans-serif;
Note: See TracChangeset for help on using the changeset viewer.