diff --git a/ChangeLog b/ChangeLog
index cfe4bb296..723c4665f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2011-06-26  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Add some "drop shadow" in ltl2tgba.html.
+
+	* wrap/python/ajax/ltl2tgba.html: Add shadow to all boxes.
+	* wrap/python/ajax/css/ltl2tgba.css (.shadow): New class.
+
 2011-06-25  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Revamp the ltl2tgba benchmark.
diff --git a/wrap/python/ajax/css/ltl2tgba.css b/wrap/python/ajax/css/ltl2tgba.css
index ca88060ce..30c070222 100644
--- a/wrap/python/ajax/css/ltl2tgba.css
+++ b/wrap/python/ajax/css/ltl2tgba.css
@@ -14,6 +14,12 @@ span#send {
     margin-left: 4px;
 }
 
+.shadow {
+    -moz-box-shadow: 2px 2px 2px #888888;
+    -webkit-box-shadow: 2px 1px 2px #888888;
+    box-shadow: 2px 2px 2px #888888;
+}
+
 div.ltl2tgba {
     width: 800px;
     position:relative;
@@ -21,26 +27,26 @@ div.ltl2tgba {
     top:0px;
     margin-left: auto;
     margin-right: auto;
-    z-index:10;    
+    z-index:10;
 }
 
 #spotlogo {
   position:fixed;
   left:10px;
   top:10px;
-  z-index:1;    
+  z-index:1;
 }
 #lrdelogo {
   position:fixed;
   left:10px;
   bottom:84px;
-  z-index:1;    
+  z-index:1;
 }
 #lip6logo {
   position:fixed;
   left:10px;
   bottom:10px;
-  z-index:1;    
+  z-index:1;
 }
 #mailicon {
   position:fixed;
@@ -49,20 +55,20 @@ div.ltl2tgba {
   z-index:1;
 }
 
-.ltl2tgba div.ui-widget-content { 
+.ltl2tgba div.ui-widget-content {
     padding: 3px;
     margin: 2px 0px;
-}   
-
-.ltl2tgba h3 { 
-    font-size:1em; 
-    margin: 0;
-    padding: 0px 0.2em 0px;
-    border-bottom:1px solid #eee; 
-    text-transform: capitalize; 
 }
 
-.ltl2tgba .head .ui-icon { 
+.ltl2tgba h3 {
+    font-size:1em;
+    margin: 0;
+    padding: 0px 0.2em 0px;
+    border-bottom:1px solid #eee;
+    text-transform: capitalize;
+}
+
+.ltl2tgba .head .ui-icon {
     float: right;
     margin: 0.2em 0px;
 }
diff --git a/wrap/python/ajax/ltl2tgba.html b/wrap/python/ajax/ltl2tgba.html
index 3d6b632d6..25a54cc15 100644
--- a/wrap/python/ajax/ltl2tgba.html
+++ b/wrap/python/ajax/ltl2tgba.html
@@ -168,7 +168,7 @@
     <div class="ltl2tgba">
       <!-- The action below will not be used. -->
       <FORM id="trform" action="#"><P>
-	  <div class="ui-widget ui-widget-content ui-corner-all collapsible">
+	  <div class="ui-widget ui-widget-content ui-corner-all collapsible shadow">
 	    <h3 id="ltl-head" class="ui-widget-header ui-corner-all head">LTL Formula to translate<span class="ui-icon ui-icon-circle-arrow-n ltltip">Fold</span></h3>
 	    <div class="dontcollapse">
 	      <INPUT class="formula" type="text" name="f" value=""><span id="send" class="btip" title="Submit the formula and all options.  You may simply hit <b>enter</b> after typing the formula.  After the first submission the form will auto-update itself anytime you change an option.">Send</span></div>
@@ -242,7 +242,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
 </table></td></tr></table>
 	    </div>
 	  </div>
-	  <div class="ui-widget ui-widget-content ui-corner-all collapsible">
+	  <div class="ui-widget ui-widget-content ui-corner-all collapsible shadow">
 	    <h3 class="ui-widget-header ui-corner-all head">Formula Simplifications<span class="ui-icon ui-icon-circle-arrow-n ftip">Fold</span></h3>
 	    <div>
 	      <label class="rtip" title="Apply simple, unconditional rewriting rules to simplify formula.  For instance <span class='formula'>F(a)|F(b)</span> is rewritten as <span class='formula'>F(a|b)</span>.">
@@ -263,7 +263,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
 	      </label><br>
 	    </div>
 	  </div>
-	  <div id="output-tabs" class="tabs collapsible">
+	  <div id="output-tabs" class="tabs collapsible shadow">
 	    <ul class="head">
 	      <li>Desired Output:</li>
 	      <li><a href="#tabs-formula" class="btip" title="Simplify the formula, but do not convert it as an automaton.">Formula</a></li>
@@ -333,7 +333,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
 	      </div>
 	    </div>
 	  </div>
-	  <div id="translator-tabs" class="tabs collapsible">
+	  <div id="translator-tabs" class="tabs collapsible shadow">
 	    <ul class="head">
 	      <li>Translator Algorithm:</li>
 	      <li><a href="#tabs-fm" class="btip" title="A tableau construction that uses BDDs to symbolically represent each state of the automaton.  (This is the best algorithm of the three.)">Couvreur/FM</a></li>
@@ -375,7 +375,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
 	      </div>
 	    </div>
 	  </div>
-	  <div id="autsimp-tabs" class="ui-widget ui-widget-content ui-corner-all collapsible">
+	  <div id="autsimp-tabs" class="ui-widget ui-widget-content ui-corner-all collapsible shadow">
 	    <h3 class="ui-widget-header ui-corner-all head">Automaton Simplifications<span class="ui-icon ui-icon-circle-arrow-n ftip">Fold</span></h3>
 	    <div>
 	      <label class="rtip" title="Compute the SCCs of the automaton.  Eliminate all the useless SCCs (i.e. those that cannot be part of an accepting run).  Also attempt to remove redundant acceptance conditions.">
@@ -388,7 +388,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
               </label><br>
 	    </div>
 	  </div>
-	  <div id="run-tabs" class="ui-widget ui-widget-content ui-corner-all collapsible">
+	  <div id="run-tabs" class="ui-widget ui-widget-content ui-corner-all collapsible shadow">
 	    <h3 class="ui-widget-header ui-corner-all
 	    head">Emptiness-check Algorithm<span class="ui-icon ui-icon-circle-arrow-n ftip">Fold</span></h3>
 	    <div>
@@ -406,7 +406,7 @@ an identifier: <span class="formula">aUb</span> is an atomic proposition, unlike
 	    </div>
 	  </div>
       </FORM>
-	  <div id="results" class="ui-widget ui-widget-content ui-corner-all collapsible">
+	  <div id="results" class="ui-widget ui-widget-content ui-corner-all collapsible shadow">
 	    <h3 id="results-head" class="ui-widget-header ui-corner-all head">Results<span class="ui-icon ui-icon-circle-arrow-n restip">Fold</span></h3>
 	    <div id="results-body">
 	    </div>