htdocs/themes/generic/header.php
changeset 44 73f74d395f95
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/htdocs/themes/generic/header.php	Mon Jan 05 22:29:36 2009 -0500
@@ -0,0 +1,45 @@
+<html>
+  <head>
+    <title><?php echo $title; ?></title>
+    <style type="text/css">
+    div.footer {
+      font-size: smaller;
+      padding-top: 10px;
+      margin-top: 10px;
+      border-top: 1px solid #aaa;
+    }
+    select, option {
+      background-color: white;
+    }
+    option.other {
+      color: black;
+      font-weight: normal;
+    }
+    option.region {
+      color: black;
+      font-weight: bold;
+    }
+    option.area {
+      color: black;
+      font-weight: normal;
+      padding-left: 1em;
+    }
+    option.country {
+      color: black;
+      font-weight: bold;
+      padding-left: 1em;
+    }
+    option.city {
+      color: black;
+      font-weight: normal;
+      padding-left: 2em;
+    }
+    div.success {
+      border: 1px solid #006300;
+      background-color: #d3ffd3;
+      padding: 10px;
+      margin: 10px 0;
+    }
+    </style>
+  </head>
+  <body>