summaryrefslogtreecommitdiff
path: root/src/runtime/javascript/minibar
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2010-09-05 18:01:44 +0000
committerhallgren <hallgren@chalmers.se>2010-09-05 18:01:44 +0000
commitc85c1e1c11b68d376cb41ed3b0fc3dc9a72d50e9 (patch)
treed4c7ea2e5d133f97d8c2a1ac2e2df068897ff10a /src/runtime/javascript/minibar
parentd62c7b8dc1b515f24e347dd8c4e0d06f43448252 (diff)
minibar: fix broken link to brushed-metal background
Solution: include a local copy of brushed-metal.png
Diffstat (limited to 'src/runtime/javascript/minibar')
-rw-r--r--src/runtime/javascript/minibar/brushed-metal.pngbin0 -> 36233 bytes
-rw-r--r--src/runtime/javascript/minibar/minibar.css2
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
Binary files differ
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; }