Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--org.eclipse.help.webapp/advanced/advanced.jsp4
-rw-r--r--org.eclipse.help.webapp/advanced/breadcrumbs.css1
-rw-r--r--org.eclipse.help.webapp/advanced/confirmShowAll.jsp1
-rw-r--r--org.eclipse.help.webapp/advanced/deferredView.css1
-rw-r--r--org.eclipse.help.webapp/advanced/indexView.css3
-rw-r--r--org.eclipse.help.webapp/advanced/list.css2
-rw-r--r--org.eclipse.help.webapp/advanced/quickSearch.jsp5
-rw-r--r--org.eclipse.help.webapp/advanced/searchList.css2
-rw-r--r--org.eclipse.help.webapp/advanced/searchScoped.jsp6
-rw-r--r--org.eclipse.help.webapp/advanced/searchSimple.jsp3
-rw-r--r--org.eclipse.help.webapp/advanced/tocTree.css1
-rw-r--r--org.eclipse.help.webapp/advanced/toolbar.jsp5
-rw-r--r--org.eclipse.help.webapp/advanced/tree.css1
-rw-r--r--org.eclipse.help.webapp/advanced/workingSet.jsp8
-rw-r--r--org.eclipse.help.webapp/advanced/workingSetManager.jsp8
15 files changed, 33 insertions, 18 deletions
diff --git a/org.eclipse.help.webapp/advanced/advanced.jsp b/org.eclipse.help.webapp/advanced/advanced.jsp
index e5058c5c6..d0887c17b 100644
--- a/org.eclipse.help.webapp/advanced/advanced.jsp
+++ b/org.eclipse.help.webapp/advanced/advanced.jsp
@@ -39,6 +39,7 @@ HTML {
BODY {
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
background:<%=prefs.getToolbarBackground()%>;
border:1px solid ThreeDShadow;
padding:0px;
@@ -47,6 +48,7 @@ BODY {
TABLE {
font:<%=prefs.getViewFont()%>;
+ font-size: .875rem;
background:<%=prefs.getToolbarBackground()%>;
}
@@ -73,6 +75,7 @@ FORM {
border:1px solid ThreeDShadow;
width:100%;
font:icon;
+ font-size:.875rem;
}
#booksContainer {
@@ -89,6 +92,7 @@ FORM {
.button {
font:<%=prefs.getViewFont()%>;
+ font-size: .875rem;
}
<%
diff --git a/org.eclipse.help.webapp/advanced/breadcrumbs.css b/org.eclipse.help.webapp/advanced/breadcrumbs.css
index 2c787f074..f0df3d370 100644
--- a/org.eclipse.help.webapp/advanced/breadcrumbs.css
+++ b/org.eclipse.help.webapp/advanced/breadcrumbs.css
@@ -14,6 +14,7 @@
.help_breadcrumbs {
font: message-box;
+ font-size: .875rem;
margin-bottom: 10px;
}
diff --git a/org.eclipse.help.webapp/advanced/confirmShowAll.jsp b/org.eclipse.help.webapp/advanced/confirmShowAll.jsp
index 7be300819..567a80382 100644
--- a/org.eclipse.help.webapp/advanced/confirmShowAll.jsp
+++ b/org.eclipse.help.webapp/advanced/confirmShowAll.jsp
@@ -62,6 +62,7 @@ TD, TR{
BUTTON {
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
}
</style>
diff --git a/org.eclipse.help.webapp/advanced/deferredView.css b/org.eclipse.help.webapp/advanced/deferredView.css
index c1fdf719c..2e5ed29bb 100644
--- a/org.eclipse.help.webapp/advanced/deferredView.css
+++ b/org.eclipse.help.webapp/advanced/deferredView.css
@@ -14,6 +14,7 @@
body {
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
color: WindowText;
margin-top: 8px;
margin-left: 10px;
diff --git a/org.eclipse.help.webapp/advanced/indexView.css b/org.eclipse.help.webapp/advanced/indexView.css
index c7eea76dd..cc5e67c05 100644
--- a/org.eclipse.help.webapp/advanced/indexView.css
+++ b/org.eclipse.help.webapp/advanced/indexView.css
@@ -18,6 +18,7 @@
BODY {
<%=prefs.getViewBackgroundStyle()%>
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
margin-top:5px;
margin-<%=isRTL?"right":"left"%>:5px;
padding:0px;
@@ -34,6 +35,7 @@ TABLE, TR, TD, P {
TABLE {
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
width:100%;
}
@@ -44,6 +46,7 @@ TR {
INPUT {
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
margin:0;
padding:0;
border:1px solid ThreeDShadow;
diff --git a/org.eclipse.help.webapp/advanced/list.css b/org.eclipse.help.webapp/advanced/list.css
index a80e0cdda..a6361b523 100644
--- a/org.eclipse.help.webapp/advanced/list.css
+++ b/org.eclipse.help.webapp/advanced/list.css
@@ -15,6 +15,7 @@
BODY {
color:WindowText;
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
margin-top:5px;
margin-<%=isRTL?"right":"left"%>:5px;
padding:0;
@@ -42,6 +43,7 @@ IMG {
TABLE {
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
width:100%;
}
diff --git a/org.eclipse.help.webapp/advanced/quickSearch.jsp b/org.eclipse.help.webapp/advanced/quickSearch.jsp
index 956ebb47e..920029bec 100644
--- a/org.eclipse.help.webapp/advanced/quickSearch.jsp
+++ b/org.eclipse.help.webapp/advanced/quickSearch.jsp
@@ -36,7 +36,8 @@ HTML, BODY {
}
BODY {
- font:<%=prefs.getViewFont()%>;
+ font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
background-color: <%=prefs.getToolbarBackground()%>;
color:WindowText;
}
@@ -67,8 +68,8 @@ TD, TR {
BUTTON {
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
margin:5px;
- font-size:1.0em;
}
FORM {
diff --git a/org.eclipse.help.webapp/advanced/searchList.css b/org.eclipse.help.webapp/advanced/searchList.css
index 20e348c0d..9632ff61b 100644
--- a/org.eclipse.help.webapp/advanced/searchList.css
+++ b/org.eclipse.help.webapp/advanced/searchList.css
@@ -16,6 +16,7 @@ body {
<%=prefs.getViewBackgroundStyle()%>
color: WindowText;
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
padding: 0px;
border: 0px;
margin-top: 5px;
@@ -27,6 +28,7 @@ body {
table {
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
width: 100%;
table-layout: fixed;
}
diff --git a/org.eclipse.help.webapp/advanced/searchScoped.jsp b/org.eclipse.help.webapp/advanced/searchScoped.jsp
index 36a1b23e7..8c629a23e 100644
--- a/org.eclipse.help.webapp/advanced/searchScoped.jsp
+++ b/org.eclipse.help.webapp/advanced/searchScoped.jsp
@@ -45,6 +45,7 @@ BODY {
TABLE {
background:<%=prefs.getToolbarBackground()%>;
font: <%=prefs.getToolbarFont()%>;
+ font-size: .875rem;
margin: 0px;
padding: 0px;
height:100%;
@@ -58,14 +59,11 @@ FORM {
INPUT {
font: <%=prefs.getToolbarFont()%>;
+ font-size: .875rem;
margin:0px;
padding:0px;
}
-INPUT {
- font-size: 1.0em;
-}
-
A {
color:WindowText;
text-decoration:none;
diff --git a/org.eclipse.help.webapp/advanced/searchSimple.jsp b/org.eclipse.help.webapp/advanced/searchSimple.jsp
index e74c247fb..9d7e80a73 100644
--- a/org.eclipse.help.webapp/advanced/searchSimple.jsp
+++ b/org.eclipse.help.webapp/advanced/searchSimple.jsp
@@ -44,6 +44,7 @@ BODY {
TABLE {
font: <%=prefs.getToolbarFont()%>;
+ font-size: .875rem;
background:<%=prefs.getToolbarBackground()%>;
margin: 0px;
padding: 0px;
@@ -58,11 +59,11 @@ FORM {
INPUT {
font: <%=prefs.getToolbarFont()%>;
+ font-size: .875rem;
margin:0px;
padding:0px;
}
-
#searchTable {
padding-<%=isRTL?"right":"left"%>:5;
}
diff --git a/org.eclipse.help.webapp/advanced/tocTree.css b/org.eclipse.help.webapp/advanced/tocTree.css
index 95375074f..92150b583 100644
--- a/org.eclipse.help.webapp/advanced/tocTree.css
+++ b/org.eclipse.help.webapp/advanced/tocTree.css
@@ -14,6 +14,7 @@
BODY {
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
margin-top:2px;
margin-<%=isRTL?"right":"left"%>:5px;
padding:0;
diff --git a/org.eclipse.help.webapp/advanced/toolbar.jsp b/org.eclipse.help.webapp/advanced/toolbar.jsp
index a3fc3af50..1d069273f 100644
--- a/org.eclipse.help.webapp/advanced/toolbar.jsp
+++ b/org.eclipse.help.webapp/advanced/toolbar.jsp
@@ -324,6 +324,7 @@ function menu(button, param) {
menu.style.top = "0px";
menu.style.background = "<%=prefs.getToolbarBackground()%>";
menu.style.font = "<%=prefs.getToolbarFont()%>";
+ menu.style.fontSize = ".875rem";
menu.style.border<%=isRTL ? "Right" : "Left"%> = "1px solid ThreeDShadow";
menu.style.borderBottom = "1px solid ThreeDShadow";
@@ -452,8 +453,8 @@ if(buttons.length > 0){
<table id="container" width="100%" border="0" cellspacing="0" cellpadding="0" height="100%" style='padding-<%=isRTL?"right":"left"%>:<%=data.isIE()?"5px":"8px"%>;'>
<tr>
- <td nowrap style="font: <%=prefs.getToolbarFont()%>" valign="middle">
- <div id="titleTextTableDiv" style="overflow:hidden; height:22px;"><table><tr><td nowrap style="font:<%=prefs.getToolbarFont()%>"><div id="titleText" >&nbsp;<%=UrlUtil.htmlEncode(data.getTitle())%></div></td></tr></table>
+ <td nowrap style="font: <%=prefs.getToolbarFont()%>; font-size: .875rem" valign="middle">
+ <div id="titleTextTableDiv" style="overflow:hidden; height:22px;"><table><tr><td nowrap style="font:<%=prefs.getToolbarFont()%>;font-size:1em"><div id="titleText" >&nbsp;<%=UrlUtil.htmlEncode(data.getTitle())%></div></td></tr></table>
</div>
diff --git a/org.eclipse.help.webapp/advanced/tree.css b/org.eclipse.help.webapp/advanced/tree.css
index 1bf8583c3..e890b1b56 100644
--- a/org.eclipse.help.webapp/advanced/tree.css
+++ b/org.eclipse.help.webapp/advanced/tree.css
@@ -14,6 +14,7 @@
BODY {
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
margin-top:5px;
margin-<%=isRTL?"right":"left"%>:5px;
padding:0;
diff --git a/org.eclipse.help.webapp/advanced/workingSet.jsp b/org.eclipse.help.webapp/advanced/workingSet.jsp
index 8eac79917..b16e0fba9 100644
--- a/org.eclipse.help.webapp/advanced/workingSet.jsp
+++ b/org.eclipse.help.webapp/advanced/workingSet.jsp
@@ -43,12 +43,14 @@ HTML, BODY {
BODY {
font: <%=prefs.getViewFont()%>;
+ font-size: .875rem;
background:<%=prefs.getToolbarBackground()%>;
color: WindowText;
}
TABLE {
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
background:<%=prefs.getToolbarBackground()%>;
}
@@ -60,6 +62,7 @@ TD, TR {
INPUT {
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
}
#workingSet {
@@ -132,10 +135,7 @@ if (data.isMozilla()) {
BUTTON {
font:<%=prefs.getViewFont()%>;
-}
-
-BUTTON {
- font-size:1.0em;
+ font-size:.875rem;
}
.expanded {
diff --git a/org.eclipse.help.webapp/advanced/workingSetManager.jsp b/org.eclipse.help.webapp/advanced/workingSetManager.jsp
index 4df9d5f36..2514d8d69 100644
--- a/org.eclipse.help.webapp/advanced/workingSetManager.jsp
+++ b/org.eclipse.help.webapp/advanced/workingSetManager.jsp
@@ -44,6 +44,7 @@ HTML, BODY {
BODY {
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
background-color: <%=prefs.getToolbarBackground()%>;
color:WindowText;
}
@@ -65,13 +66,10 @@ TD.radio {
BUTTON {
font:<%=prefs.getViewFont()%>;
+ font-size:.875rem;
margin:5px;
}
-BUTTON {
- font-size:1.0em;
-}
-
FORM {
margin: 0px;
border: 0px;
@@ -273,7 +271,7 @@ function sizeList() {
<body dir="<%=direction%>" onload="onloadHandler()" onunload="closeWorkingSetDialog()" onresize = "sizeList()">
<form onsubmit="selectWorkingSet();return false;">
- <table id="filterTable" cellspacing=0 cellpadding=0 border=0 align=center style="background:<%=prefs.getToolbarBackground()%>; font:<%=prefs.getToolbarFont()%>;margin-top:5px;width:100%;">
+ <table id="filterTable" cellspacing=0 cellpadding=0 border=0 align=center style="background:<%=prefs.getToolbarBackground()%>; font:<%=prefs.getToolbarFont()%>;font-size:.875rem;margin-top:5px;width:100%;">
<tr><td class="radio">
<input id="alldocs" type="radio" name="workingSet" onclick="enableButtons()"><label for="alldocs" accesskey="<%=ServletResources.getAccessKey("selectAll", request)%>"><%=ServletResources.getLabel("selectAll", request)%></label>
</td></tr>

Back to the top