doc: rename some html assets
authorRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 15:56:09 +0000 (10:56 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 15:56:09 +0000 (10:56 -0500)
doc/assets/hatchbkgd.png [moved from doc/assets/navbarbkgd.png with 100% similarity]
doc/assets/head.html
doc/assets/manual.css
doc/assets/manual.js [moved from doc/assets/hilitesyntax.js with 100% similarity]

index 7c88992e575b6cb69f249c9bf7f2d3b5788cc001..0053d87771b880a351744ccd914b63c9d5569262 100644 (file)
@@ -11,6 +11,6 @@
     <script src='http://charm.cs.illinois.edu/codemirror/lib/util/runmode.js' type='text/javascript'></script>
     <link href='http://charm.cs.illinois.edu/codemirror/lib/codemirror.css' rel='stylesheet' type='text/css'>
     <link href='http://charm.cs.illinois.edu/codemirror/theme/lesser-dark.css' rel='stylesheet' type='text/css'>
     <script src='http://charm.cs.illinois.edu/codemirror/lib/util/runmode.js' type='text/javascript'></script>
     <link href='http://charm.cs.illinois.edu/codemirror/lib/codemirror.css' rel='stylesheet' type='text/css'>
     <link href='http://charm.cs.illinois.edu/codemirror/theme/lesser-dark.css' rel='stylesheet' type='text/css'>
-    <script src='assets/hilitesyntax.js' type='text/javascript'></script>
+    <script src='assets/manual.js' type='text/javascript'></script>
 </head>
 
 </head>
 
index 382804fcc9066579fbbc7057998071bc7dc4b92c..faab5d9edd1699e7d578b99e72fa9e912be9bcd4 100644 (file)
@@ -44,7 +44,7 @@ code, pre { font-family: "Courier New" Courier monospace; }
 
 html {
                background: #ffffff;
 
 html {
                background: #ffffff;
-               background: url(navbarbkgd.png) repeat;
+               background: url(hatchbkgd.png) repeat;
 }
 
 body {
 }
 
 body {