From 0e9ccabbe8580cab45073ee301e13a4bb0dd7664 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 10 May 2016 10:44:38 +0200
Subject: [PATCH] ajax: add <h1> title

Final part of #176.

* python/ajax/trans.html: Here.
---
 python/ajax/trans.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/python/ajax/trans.html b/python/ajax/trans.html
index 74e2bb038..d985484f0 100644
--- a/python/ajax/trans.html
+++ b/python/ajax/trans.html
@@ -24,6 +24,7 @@
         $(".tabs").tabs();
 	$("#send").button();
 	$("#results").hide();
+	$("h1").hide();
         $("abbr").tipTip({maxWidth: "300px", delay: 1000,
                           edgeOffset: 3,
                           defaultPosition: "below"});
@@ -326,6 +327,7 @@
     <div id="lip6logo">
       <a href="http://www.lip6.fr/"><img border=0 src="logos/lip6sys64.png" alt="LIP6 Logo"></a></div>
     <div class="ltl2tgba">
+      <h1>Translator of LTL to Transition-based Generalized Büchi Automata</h1>
       <!-- The action below will not be used. -->
       <FORM id="trform" action="#"><P>
 	  <div class="ui-widget ui-widget-content ui-corner-all collapsible shadow">