Change legend style and default font size.

Signed-off-by: Loui Chang <louipc.ist@gmail.com>

web/html/css/arch.css

@@ -4,7 +4,7 @@ body {
   min-width: 600px;
   color: #555;
   font-family: "DejaVu Sans", sans-serif;
-  font-size: 14px;
+  font-size: 12px;
 }
 /* Divs */
 #title {

web/html/css/containers.css

@@ -153,6 +153,12 @@ td.data2 {
   padding-left: .3em;
   text-align: left;
 }
+#legend span {
+  padding: 1px;
+  margin-left: .3em;
+  border: solid 1px #888;
+  text-align: left;
+}
 td.text {
   color: #000;
   font-size: 12px;

web/template/pkg_search_results.php

@@ -86,10 +86,9 @@ for ($i = 0; $row = mysql_fetch_assoc($result); $i++) {
 	<table width='100%'>
 	<tr>
 		<td align='left'>
-	<div>
-		<span class='f3'><?php echo __('Legend') ?>
+	<div id="legend">
+		<span class='f3'><?php echo __('Legend') ?></span>
 		<span class="outofdate"><?php print __('Out of Date') ?></span>
-		</span>
 	</div>
 	<?php if ($SID): ?>
 	<div>