Ticket #15910: patch1.txt

File patch1.txt, 1.2 KB (added by Hb---, 8 years ago)
Line 
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 {