From 38bee892e9b6fe54b9bd20fbf8a5b7fcd2ed9890 Mon Sep 17 00:00:00 2001
From: Colin Viebrock <cmv@php.net>
Date: Thu, 8 Mar 2001 23:45:11 +0000
Subject: [PATCH] My attempt to use relative font sizes instead of absolute
 pixel heights.

Let me know what it looks like on various browser/OS configurations (specifically,
I'd like to know how it compares on NS under Linux, and on a Mac)
---
 include/layout.inc | 12 ++++++------
 style.css          | 28 +++++++++++-----------------
 2 files changed, 17 insertions(+), 23 deletions(-)

diff --git a/include/layout.inc b/include/layout.inc
index b8f0481bc..fbb6e5dbd 100644
--- a/include/layout.inc
+++ b/include/layout.inc
@@ -231,9 +231,10 @@ function commonHeader($title="",$dont_enclose=0,$headers_gone=0) {
   <tr bgcolor="#666699">
     <form method="POST" action="/search.php">
       <td align="right" valign="top" colspan="2"><FONT COLOR="#ffffff">
-        <small>
-search for <INPUT CLASS="small" TYPE="text" NAME="pattern" VALUE="<? echo htmlspecialchars($prevsearch) ?>" SIZE="30">
-in the <SELECT NAME="show" CLASS="small">
+        <small>search for</small>
+<INPUT CLASS="small" TYPE="text" NAME="pattern" VALUE="<? echo htmlspecialchars($prevsearch) ?>" SIZE="30">
+<small>in the</small>
+<SELECT NAME="show" CLASS="small">
 <OPTION VALUE="quickref" SELECTED>function list
 <OPTION VALUE="nosource">whole site
 <OPTION VALUE="manual">online documentation
@@ -244,7 +245,6 @@ in the <SELECT NAME="show" CLASS="small">
 </SELECT>
 <?	echo make_submit('small_submit_white.gif', 'search', 'bottom');
       ?>&nbsp;<br>
-        </small>
       </font></td>
     </form>
   </tr>
@@ -296,7 +296,7 @@ function commonFooter() {
 <table border="0" cellspacing="0" cellpadding="0" width="100%">
   <tr bgcolor="#333366"><td><?php spacer(1,1);?><br></td></tr>
   <tr bgcolor="#9999cc">
-    <form method="GET" action="/mirrors.php" onsubmit="return gotomirror(this)">
+    <form method="GET" action="/mirrors.php" onsubmit="return gotomirror(this);">
       <td align="right" valign="bottom">
       <script language="javascript">
       <!--
@@ -317,7 +317,7 @@ function commonFooter() {
 	echo delim();
 	print_link('/mirrors.php', 'mirror sites:', false, 'class="small"');
 	echo " <select class=\"small\" name=\"country\" onchange=\"gotomirror(this.form)\">\n";
-	echo "<option value=-1>--\n";
+	echo "<option value=\"-1\">--\n";
 	while (list($url,$mirror) = each($MIRRORS)) {
           if ($mirror[4] == 1) { /* only list full mirrors here */
             echo "<option value=\"$url\">".$COUNTRIES[$mirror[0]]." ($mirror[1])\n";
diff --git a/style.css b/style.css
index 78ee00804..f7fa0445b 100644
--- a/style.css
+++ b/style.css
@@ -1,6 +1,6 @@
 body, td, th {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 13px;
+	font-size: 95%;
 }
 
 em {
@@ -9,80 +9,74 @@ em {
 }
 
 .newsDate {
-	font-size: 10px;
+	font-size: 85%;
 	font-style: italic;
 	color: #6666cc;
 }
 
 pre,code {
 	font-family: "andale mono", "monotype.com", "courier new", monospace;
-	font-size: 12px;
+	font-size: 90%;
 }
 
 h1 {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 18px;
+	font-size: 140%;
 	font-weight: bold;
 	color: #000066;
 }
 
 h2 {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 16px;
+	font-size: 125%;
 	font-weight: bold;
 	color: #000066;
 }
 
 h3 {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 14px;
+	font-size: 110%;
 	font-weight: bold;
 	color: #000066;
 }
 
 small {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 11px;
+	font-size: 75%;
 }
 
 a.small {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 11px;
+	font-size: 75%;
 	text-decoration: none;
 }
 
 .tableTitle {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 13px;
 	font-weight: bold;
 }
 
 .tableExtras {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 11px;
+	font-size: 85%;
 	color: #FFFFFF;
 }
 
 
 input {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 13px;
 }
 
 textarea {
 	font-family: "andale mono", "monotype.com", "courier new", monospace;
-	font-size: 13px;
 }
 
 input.small, select.small {
 	font-family: arial,helvetica,sans-serif;
-	font-size: 11px;
+	font-size: 75%;
 }
 
 textarea.small {
 	font-family: "andale mono", "monotype.com", "courier new", monospace;
-	font-size: 11px;
+	font-size: 75%;
 }
-
-// manual stuff
-