summaryrefslogtreecommitdiff
path: root/src/www/minibar
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2012-02-13 17:31:39 +0000
committerhallgren <hallgren@chalmers.se>2012-02-13 17:31:39 +0000
commitb126a28cc5f5b1a87994fff2f35f8e3b3d5f9111 (patch)
tree1c67709b028853eec484f6938dc0365599b90601 /src/www/minibar
parent4c0e8c18c7a4d688ef2409724d6cf2876d698c3e (diff)
gfse: better integration of the minibar
The minibar is now displayed inside the editor, intead of on a separate page. This makes the context clearer and makes it more obiovous how to return to the editor.
Diffstat (limited to 'src/www/minibar')
-rw-r--r--src/www/minibar/minibar.css2
-rw-r--r--src/www/minibar/minibar.html8
-rw-r--r--src/www/minibar/minibar_translations.js4
3 files changed, 7 insertions, 7 deletions
diff --git a/src/www/minibar/minibar.css b/src/www/minibar/minibar.css
index 4d2094066..4236c345f 100644
--- a/src/www/minibar/minibar.css
+++ b/src/www/minibar/minibar.css
@@ -1,4 +1,4 @@
-body {
+body.minibar {
background: #ccc url("brushed-metal.png");
}
diff --git a/src/www/minibar/minibar.html b/src/www/minibar/minibar.html
index 086b8fad6..9f9735ad0 100644
--- a/src/www/minibar/minibar.html
+++ b/src/www/minibar/minibar.html
@@ -4,12 +4,14 @@
<title>Minibar</title>
<link rel=stylesheet type="text/css" href="minibar.css">
+<link rel=author href="http://www.cse.chalmers.se/~hallgren/" title="Thomas Hallgren">
+
<meta name = "viewport" content = "width = device-width">
<meta charset="UTF-8">
</head>
-<body>
+<body class=minibar>
<h2>Minibar online</h2>
<div id=minibar></div>
@@ -23,11 +25,9 @@
&amp; <a href="http://www.grammaticalframework.org:41296/translate/">Translator</a>]
</small>
<small class=modtime>
-HTML <!-- hhmts start --> Last modified: Mon Aug 8 18:04:22 CEST 2011 <!-- hhmts end -->
+HTML <!-- hhmts start --> Last modified: Mon Feb 13 18:07:42 CET 2012 <!-- hhmts end -->
</small>
<address>
-<a href="http://www.cse.chalmers.se/~hallgren/">TH</a>
-<img src="http://www.altocumulus.org/~hallgren/online.cgi?icon" alt=""></address>
<script type="text/JavaScript" src="support.js"></script>
<script type="text/JavaScript" src="minibar.js"></script>
diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js
index d4d9f62cf..dc26e3028 100644
--- a/src/www/minibar/minibar_translations.js
+++ b/src/www/minibar/minibar_translations.js
@@ -1,7 +1,7 @@
/* --- Translations object -------------------------------------------------- */
-var tree_icon="tree-btn.png";
-var alignment_icon="align-btn.png";
+var tree_icon="../minibar/tree-btn.png";
+var alignment_icon="../minibar/align-btn.png";
function Translations(server,opts) {
this.server=server;