--- template.php.orig	2006-01-10 02:25:59.000000000 -0600
+++ template.php	2006-01-10 02:26:16.000000000 -0600
@@ -1,12 +1,12 @@
 <?php
 function theme_primary($items = array()) {
   $output = '<ul class="menu">';
-	if (!empty($items)) {
+    if (!empty($items)) {
     foreach ($items as $item) {
       $output .= '<li class="page_item">'. $item .'</li>';
     }
-  } 
-	$output .= '</ul>';
+  }
+  $output .= '</ul>';
   return $output;
 }
-?> 
+?>