Matitaweb: added a titlebar to the GUI.

[helm.git] / matitaB / matita / index.html

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index a1099ad7f0dae41044eda2b770ed3307d39520aa..d3fe3491f263e0e34314fe5ff35496d329c5e4b9 100644 (file)
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -16,6 +16,12 @@
 
 <div class="matitaapparea">
 
+<div class="titlebar">
+  <div class="mainTitle"><H2 id="matitaTitle">Matita - &lt;&lt;Filename&gt;&gt;</H2></div>
+  <div class="mainRight" id="matitaLogout"><A id="hlogout" href="/logout.html">Log out</A></div>
+</div>
+
+
 <div class="toparea">
 <div class="navibar">
            <A href="javascript:advanceForm1()"><IMG class="topimg" src="icons/advance.png"