<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
          "http://www.w3.org/TR/html4/strict.dtd">
<html>
  <head>
    <title>Logged out</title>
    <style type="text/css">
      div.error {
          background: #ffdddd;
          border: 1px solid red;
          padding: 0.5em;
      }
      div.message {
          background: #ffffdd;
          border: 1px solid yellow;
          padding: 0.5em;
      }
      form {
          margin-top: 1em;
      }
    </style>
  </head>
  <body>
    <h1>Logged out</h1>
    <p>You have been logged out.</p>
  </body>
</html>
