From 80d51683d42bd2845c70aa4d7f313306db1b9b2a Mon Sep 17 00:00:00 2001
From: DennisSchiefer <shiin@gmx.de>
Date: Thu, 23 Aug 2012 14:12:45 +0100
Subject: [PATCH] first additions for multiple engine gui

---
 WebContent/main.css  | 15 ++-------------
 WebContent/main.html |  7 +++++--
 2 files changed, 7 insertions(+), 15 deletions(-)

diff --git a/WebContent/main.css b/WebContent/main.css
index 56f5681b4..cc0d3b31d 100644
--- a/WebContent/main.css
+++ b/WebContent/main.css
@@ -270,19 +270,6 @@ html, body {
 
 
 /* styles for main-input input-mask-options */
-#gui-options-toggle
-{
-	cursor:pointer;
-	color:#0000ff
-}
-#gui-options-toggle:hover
-{
-	color:#ff0000
-}
-#options-box
-{
-	visibility:hidden;
-}
 
 
 /* styles for main-output areas */
@@ -650,6 +637,7 @@ html, body {
 /* styled select */
 .styled-select-helper
 {
+	position:relative;
 	border: 0px;
 	text-decoration:none;
  	opacity: 0;
@@ -659,6 +647,7 @@ html, body {
 }
 .styled-select
 {
+	text-align:left;
 	position:absolute;
 	background-repeat:no-repeat;	
 	background-position: top right;
diff --git a/WebContent/main.html b/WebContent/main.html
index 31e3ea88c..bb64ce282 100644
--- a/WebContent/main.html
+++ b/WebContent/main.html
@@ -151,7 +151,7 @@ or see http://www.gnu.org/licenses/agpl.txt.
 <!-- mapping gui -->
 <div id="mapping-wrapper" class="box-wrapper">
 <div id="mapping-content" class="box-content">
-	<!-- header -->
+	<!-- header -->select
 	<div id="mapping-toggle" class="iconic-button cancel-marker top-right-button"></div>
 	<div id="gui-mapping-label" class="box-label">Mapping Tools</div>
 	
@@ -204,11 +204,14 @@ or see http://www.gnu.org/licenses/agpl.txt.
 	
 	<!-- action buttons -->
     <div class="full">
+    <div class="row">
     <div class="left"><a class="button" id="gui-reset">Reset</a></div>
-    <div class="center full"><a class="button-inactive" id="gui-zoom">Reset</a></div>
+	<!-- <div class="center"><select id="gui-engine-toggle" class="engine-select"></select></div> -->
+	<div class="center"><a class="button-inactive" id="gui-zoom">Reset</a></div>
 	<div class="right"><a class="button" id="gui-reverse">Reverse</a></div>
     </div>
     </div>
+    </div>
 </div>
 
 <!-- output box -->