minibar: fix broken link to brushed-metal background

Solution: include a local copy of brushed-metal.png

2 files changed, 1 insertions, 1 deletions

diff --git a/src/runtime/javascript/minibar/brushed-metal.png b/src/runtime/javascript/minibar/brushed-metal.png
new file mode 100644
index 000000000..c2f03fe7d
--- /dev/null
+++ b/src/runtime/javascript/minibar/brushed-metal.png
diff --git a/src/runtime/javascript/minibar/minibar.css b/src/runtime/javascript/minibar/minibar.css
index 175a9b3e3..a75cd3f27 100644
--- a/src/runtime/javascript/minibar/minibar.css
+++ b/src/runtime/javascript/minibar/minibar.css
@@ -1,5 +1,5 @@
 body {
-    background: #ccc url("http://www.grammaticalframework.org:41296/fridge/se.chalmers.cs.gf.gwt.FridgeApp/brushed-metal.png");
+    background: #ccc url("brushed-metal.png");
 }
 
 h1, h2, h3, small, th { font-family: sans-serif; }