1 | --- C:/Users/hb/Desktop/help-browser.css Tue Feb 13 18:55:51 2018
|
---|
2 | +++ C:/Users/hb/Desktop/new-help-browser.css Tue Feb 13 19:11:45 2018
|
---|
3 | @@ -1,8 +1,10 @@
|
---|
4 | @CHARSET "ISO-8859-1";
|
---|
5 | /*
|
---|
6 | * This is the CSS file used in the internal help browser.
|
---|
7 | - * Refer to https://docs.oracle.com/javase/8/docs/api/javax/swing/text/html/CSS.html
|
---|
8 | - * and https://www.w3.org/TR/CSS1/ to see what CSS properties are supported by Java.
|
---|
9 | + * Refer to https://docs.oracle.com/javase/9/docs/api/javax/swing/text/html/CSS.html
|
---|
10 | + * and https://www.w3.org/TR/CSS1/ to see what CSS properties are supported by Java.
|
---|
11 | + * - Not rendered are width, height, float, clear, display, font-variant and others.
|
---|
12 | + * - Inline elements can't have borders, margins and paddings.
|
---|
13 | */
|
---|
14 | body {margin-left: 0.2cm; font-family: Arial, sans-serif; font-size:14pt; font-weight:normal}
|
---|
15 | p {margin-top: 5px; margin-bottom: 5px;}
|
---|
16 | @@ -20,10 +22,8 @@
|
---|
17 | i {font-style: italic}
|
---|
18 | code, pre, samp, tt {font-family: Courier New}
|
---|
19 | code, tt {
|
---|
20 | - background-color: #fafafa;
|
---|
21 | - border-color: rgb(238, 221, 204);
|
---|
22 | - border-style: solid;
|
---|
23 | - border-width: 1px;
|
---|
24 | + background-color: rgb(240, 240, 240);
|
---|
25 | + font-size: 110%;
|
---|
26 | color: rgb(102, 0, 0);
|
---|
27 | }
|
---|
28 | .warning-header {
|
---|