htdocs/themes/generic/header.php
author Dan
Mon, 05 Jan 2009 22:29:36 -0500
changeset 44 73f74d395f95
permissions -rw-r--r--
Added theme support. Oh yeah, you can customize graphs using graph_{line,bar}.def.

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