From ebc92d46888630fd233222136d0ff56ffc215690 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 17 Jan 2012 14:02:15 +0100
Subject: [PATCH] Fix position of the Send button with WebKit.

* wrap/python/ajax/css/ltl2tgba.css: Fix position of the "Send"
button with WebKit.  The folding arrow icon had a vertical border
that overlapped with the next line.
---
 ChangeLog                         | 8 ++++++++
 wrap/python/ajax/css/ltl2tgba.css | 5 +++--
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 6e23c4915..0210d6777 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2012-01-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Fix position of the Send button with WebKit.
+
+	* wrap/python/ajax/css/ltl2tgba.css: Fix position of the "Send"
+	button with WebKit.  The folding arrow icon had a vertical border
+	that overlapped with the next line.
+
 2012-01-17  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* wrap/python/ajax/spot.py: Add a required "None" second
diff --git a/wrap/python/ajax/css/ltl2tgba.css b/wrap/python/ajax/css/ltl2tgba.css
index 30c070222..ed3e51bd1 100644
--- a/wrap/python/ajax/css/ltl2tgba.css
+++ b/wrap/python/ajax/css/ltl2tgba.css
@@ -6,12 +6,13 @@ html {overflow-y:scroll;}
 }
 
 input.formula {
-    width: 700px;
+    width: 720px;
 }
 
 span#send {
     width: 60px;
     margin-left: 4px;
+    margin-right: 0px;
 }
 
 .shadow {
@@ -70,7 +71,7 @@ div.ltl2tgba {
 
 .ltl2tgba .head .ui-icon {
     float: right;
-    margin: 0.2em 0px;
+    margin: 1px 0px;
 }
 
 .ltl2tgba .formula, #tiptip_content .formula {