<html>
-<head>
-</head>
<head>
<script type="text/javascript" src="matitaweb.js"></script>
+<link rel="stylesheet" type="text/css" href="matitaweb.css"/>
</head>
-
+
<body onLoad="delete_session();">
+<img align="bottom" class="topimg" src="icons/matita-text.png">
<p>Logout succeeded!</p>
<p><A href="/login.html">Start a new session</A></p>