diff options
author | Patrick Simianer <p@simianer.de> | 2015-12-04 00:33:21 +0100 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2015-12-04 00:33:21 +0100 |
commit | 958ce7102f5b0c9fac27d164394c8b13cf8b24f2 (patch) | |
tree | 5588612cadaa14a3490e43d553f4657ae044f3eb /interface.php | |
parent | a51b3ba4aee67f0c0ef9d9c2250b17f6718404ce (diff) |
integrated phrase-phrase-extraction, save svg
Diffstat (limited to 'interface.php')
-rw-r--r-- | interface.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/interface.php b/interface.php index d8b7a72..dd08b10 100644 --- a/interface.php +++ b/interface.php @@ -91,8 +91,8 @@ foreach($db->raw_source_segments as $s) { <!-- /Session overview --> <!-- Help --> -<button id="help_button" onclick="$('#help').toggle('blind')">Help</button> -<div id="help" style="display:none"> +<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> |