1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

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)
This commit is contained in:
Colin Viebrock
2001-03-08 23:45:11 +00:00
parent 34de34f677
commit 38bee892e9
2 changed files with 17 additions and 23 deletions

View File

@@ -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";

View File

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