| 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 {
|
|---|