<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
    "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">

<html>
  <head>
    <title>Mantis</title>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    <meta http-equiv="Refresh" content="600" />

    <style type="text/css"> <!--
      body {
        background-color: white;
      }

      h1 {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        font-weight: bold;
        font-size: 20px;
        text-align: center;
        margin: 0;
        padding: 5px;
        color: black;
        background-color: #c8c8e8;
      }

      p {
        font-family: Verdana, Arial, Helvetica, sans-serif;
        text-align: left;
        margin: 10px;
        padding: 0;
      }

      #box {
        padding: 0;
        margin-top: 20%;
        margin-left: 25%;
        margin-right: 25%;
        border: 1px solid #777;
        background-color: #eee;
      }

    --> </style>
  </head>

  <body>

    <div id="box">

      <h1>Mantis</h1>

      <p>
        The Mantis bug tracker is currently offline for maintenance.
        Please check back later to see if Mantis is online again
        or contact your administrator for details.
      </p>

      <p>
        Use your browser's refresh or reload function to try again
        in a few minutes.
      </p>

    </div>

  </body>
</html>
