htdocs/themes/generic/header.php
changeset 44 73f74d395f95
equal deleted inserted replaced
43:ce2e9caf2dfa 44:73f74d395f95
       
     1 <html>
       
     2   <head>
       
     3     <title><?php echo $title; ?></title>
       
     4     <style type="text/css">
       
     5     div.footer {
       
     6       font-size: smaller;
       
     7       padding-top: 10px;
       
     8       margin-top: 10px;
       
     9       border-top: 1px solid #aaa;
       
    10     }
       
    11     select, option {
       
    12       background-color: white;
       
    13     }
       
    14     option.other {
       
    15       color: black;
       
    16       font-weight: normal;
       
    17     }
       
    18     option.region {
       
    19       color: black;
       
    20       font-weight: bold;
       
    21     }
       
    22     option.area {
       
    23       color: black;
       
    24       font-weight: normal;
       
    25       padding-left: 1em;
       
    26     }
       
    27     option.country {
       
    28       color: black;
       
    29       font-weight: bold;
       
    30       padding-left: 1em;
       
    31     }
       
    32     option.city {
       
    33       color: black;
       
    34       font-weight: normal;
       
    35       padding-left: 2em;
       
    36     }
       
    37     div.success {
       
    38       border: 1px solid #006300;
       
    39       background-color: #d3ffd3;
       
    40       padding: 10px;
       
    41       margin: 10px 0;
       
    42     }
       
    43     </style>
       
    44   </head>
       
    45   <body>