diff options
-rwxr-xr-x | portdb/portdb/index.php | 11 | ||||
-rw-r--r-- | portdb/portdb/portdb.css | 24 |
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; |