Matitaweb: several improvements in the UI.

[helm.git] / matitaB / matita / html / logout.html
diff --git a/matitaB/matita/html/logout.html b/matitaB/matita/html/logout.html

index df0ae200184101ceaa94537ac10eb86676f2145a..96eb2585e889c11b23f1cadb4fefb8002a4d3282 100644 (file)
--- a/matitaB/matita/html/logout.html
+++ b/matitaB/matita/html/logout.html
@@ -1,12 +1,12 @@
  <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>