portdb: added top-left search

also imported some uncommitted change:
- new wiki link
- font size fixes for site-wise consistency

2 files changed, 28 insertions, 7 deletions

diff --git a/portdb/portdb/index.php b/portdb/portdb/index.php
index c8c8c27..54496b0 100755
--- a/portdb/portdb/index.php
+++ b/portdb/portdb/index.php
@@ -29,12 +29,19 @@ function printHeader() {
 	<a href="/Main/Download">Download</a> :: 
 	<a href="/Main/Development">Development</a> :: 
 	<a href="/Main/Community">Community</a> :: 
-	<a href="/Public/HomePage">Public</a> :: 
+	<a href="/Wiki/HomePage">Wiki</a> :: 
 	<a href="/portdb">Ports</a> :: 
 	<a href="/Main/Bugs" title="">Bugs</a> :: 
 	<a href="/Main/Links" title="">Links</a> :: 
 	<a href="/Main/About" title="">About</a>
 	</div>
+	<form method="get" action="/portdb/" enctype="application/x-www-form-urlencoded">
+	<div class="search">
+	<input type="hidden" name="a" value="search" />
+	search ports:
+	<input type="text" name="q" size="10"  />
+	</div>
+	</form>
 	';
 }
 
@@ -43,7 +50,7 @@ function printFooter() {
 }
 
 function printNav() {
-    echo '<div class="content"><b>Sections: </b><a href="?a=index">Repositories</a> :: <a href="?a=search">Search</a> :: <a href="?a=register">Register</a> :: <a href="?a=dups">Duplicates</a>';
+    echo '<div class="content"><b>Sections: </b><a href="?a=index">Repositories</a> :: <a href="?a=register">Register</a> :: <a href="?a=dups">Duplicates</a>';
 }
 
 function showCollections() {
diff --git a/portdb/portdb/portdb.css b/portdb/portdb/portdb.css
index 6f1fb92..c7e2573 100644
--- a/portdb/portdb/portdb.css
+++ b/portdb/portdb/portdb.css
@@ -1,8 +1,8 @@
 /* CRUX custom */
 .cruxheader {
 	text-align: center;
-	font-family: Verdana, Arial,  Helvetica, sans-serif; 
-	font-size:.9em;
+	font-family: Verdana,Arial,Helvetica,sans-serif; 
+	font-size:12px;
 	background-color: #FFF; 
 	background-image: url("cruxlogo.png");
 	background-repeat: no-repeat;
@@ -27,11 +27,24 @@
   margin-top: 10px;
 }
 
+div.search {
+	font-size: 12px;
+	font-weight: normal;
+	margin-top: 4px;
+	margin-right: 8px;
+	margin-bottom: 4px;
+	margin-left: 8px;
+	position: absolute;
+	top: 36px;
+	right: 30px;
+}
+
 body {
  background-color: #EEEEDF;
  color: #000;
  margin: 20px;
- font: normal 13px verdana,arial,'Bitstream Vera Sans',helvetica,sans-serif;
+ font-family: Verdana,Arial,Helvetica,sans-serif;
+  font-size: 13px;
 }
 
 a {
@@ -83,12 +96,12 @@ table.listing {
  margin-top: 1em;
  width: 100%;
 }
-table.listing th { text-align: left; padding: 0 1em .1em 0; font-size: 12px }
+table.listing th { text-align: left; padding: 0 1em .1em 0}
 table.listing thead { background: #f7f7f0 }
 table.listing thead th {
  border: 1px solid #d7d7d7;
  border-bottom-color: #999;
- font-size: 11px;
+ font-size: 13px;
  font-weight: bold;
  padding: 2px .5em;
  vertical-align: bottom;
@@ -108,6 +121,7 @@ table.listing tbody td, table.listing tbody th {
  border: 1px dotted #ddd;
  padding: .33em .5em;
  vertical-align: top;
+ font-size: 13px;
 }
 table.listing tbody td a:hover, table.listing tbody th a:hover {
  background-color: transparent;