--- /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>