From 14a341e0b37311ce511c1eca7c2c5c4f1828939f Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Fri, 11 Dec 2015 15:44:16 +0100
Subject: better readable source

---
 interface.php | 24 +++++++++++++++---------
 1 file changed, 15 insertions(+), 9 deletions(-)

diff --git a/interface.php b/interface.php
index dd08b10..baf1768 100644
--- a/interface.php
+++ b/interface.php
@@ -7,7 +7,9 @@
   <script src="js/common.js" charset="utf-8"></script>
   <script src="js/lfpe.js" charset="utf-8"></script>
   <script src="https://raw.githubusercontent.com/DmitryBaranovskiy/raphael/v2.1.2/raphael-min.js" type="text/javascript" charset="utf-8"></script>
-  <!--<script src="https://raw.githubusercontent.com/marmelab/Raphael.InlineTextEditing/fd578f0eddd4172e6d9b3fde4cb67576cf546dc1/raphael.inline_text_editing.js" charset="utf-8"></script>-->
+<!--
+  <script src="https://raw.githubusercontent.com/marmelab/Raphael.InlineTextEditing/fd578f0eddd4172e6d9b3fde4cb67576cf546dc1/raphael.inline_text_editing.js" charset="utf-8"></script>
+-->
   <script src="js/derivation_editor/raphael.inline_text_editing.js" charset="utf-8"></script>
   <script src="js/derivation_editor/derivation-editor.js" charset="utf-8"></script>
 
@@ -47,7 +49,6 @@ Note that the source word may be distorted.</span>
 </div>
 <!-- /Source and target textboxes -->
 
-
 <!-- Buttons -->
 <div>
   <button id="pause_button" class='button' type="button" onclick="pause()">Pause</button>
@@ -91,15 +92,20 @@ foreach($db->raw_source_segments as $s) {
 <!-- /Session overview -->
 
 <!-- Help -->
-<button id="help_button" class="button" onclick="$('#help').toggle('blind')">Help</button>
-<div id="help" style="display:none;margin-left:1em">
-<?php include("help.inc.php"); ?>
-<p class="xtrasmall">Support: <a href="mailto://simianer@cl.uni-heidelberg.de">Mail</a></p>
-<p class="xtrasmall">Session: #<?php echo $_GET["key"]; ?> | <a href="http://coltrane.cl.uni-heidelberg.de:<?php echo $db->port; ?>/debug" target="_blank">Debug</a></p>
+<button id="help_button" class="button" onclick="$('#help').toggle('blind')">
+  Help
+</button>
+<div id="help">
+  <?php include("help.inc.php"); ?>
+  <p class="xtrasmall">
+    Support: <a href="mailto://simianer@cl.uni-heidelberg.de">Mail</a>
+  </p>
+  <p class="xtrasmall">Session: #<?php echo $_GET["key"]; ?> |
+    <a href="http://coltrane.cl.uni-heidelberg.de:<?php echo $db->port; ?>/debug" target="_blank">Debug</a>
+  </p>
 </div>
-<!-- /Help -->
-
 <p class="small" style="text-align:right"><a href="#">^</a></p>
+<!-- /Help -->
 
 <?php include("footer.inc.php"); ?>
 
-- 
cgit v1.2.3