Upgrade to Bootstrap 3

cache.manifest

@@ -3,7 +3,7 @@ CACHE MANIFEST
 CACHE:
 index.html
 viewer.html
-js/libs/require.js
+res/libs/require.js
 lib/MathJax/MathJax.js?config=TeX-AMS_HTML
 lib/MathJax/config/Safe.js
 lib/MathJax/config/TeX-AMS_HTML.js

index.html

@@ -13,7 +13,7 @@
 <meta name="msvalidate.01" content="5E47EE6F67B069C17E3CDD418351A612" />
 <script>
     // Use http://.../?debug to serve original JavaScript files instead of minified
-    var baseDir = 'js';
+    var baseDir = 'res';
     if(!location.search.match(/(\?|&)debug/)) {
         baseDir += '-min';
     }

res/core.js

@@ -614,7 +614,7 @@ define([
             theme = theme || 'default';
             if(currentTheme != theme) {
                 var themeModule = "less!themes/" + theme;
-                if(baseDir == 'js-min') {
+                if(baseDir.indexOf('-min') !== -1) {
                     themeModule = "css!themes/" + theme;
                 }
                 // Undefine the module in RequireJS

res/extensions/dialogAbout.js

@@ -9,11 +9,13 @@ define([
     var dialogAbout = new Extension("dialogAbout", 'Dialog "About"');
 
     var libraries = {
-        "Bootstrap": "http://twitter.github.io/bootstrap/",
+        "Bootstrap": "http://getbootstrap.com/",
         "crel": "https://github.com/KoryNunn/crel",
         "CSS Browser Selector": "https://github.com/rafaelp/css_browser_selector/",
         "Dropbox-js": "https://github.com/dropbox/dropbox-js",
         "FileSaver.js": "https://github.com/eligrey/FileSaver.js/",
+        "Fontello": "http://fontello.com/",
+        "Font Awesome and others...": "res/libs/fontello/LICENSE.txt",
         "Gatekeeper": "https://github.com/prose/gatekeeper",
         "Github.js": "https://github.com/michael/github",
         "Glyphicons": "http://glyphicons.com/",
@@ -21,12 +23,14 @@ define([
         "jGrowl": "https://github.com/stanlemon/jGrowl/",
         "jQuery": "http://jquery.com/",
         "jQuery Mouse Wheel Plugin": "https://github.com/brandonaaron/jquery-mousewheel",
+        "LESS": "http://lesscss.org/",
         "MathJax": "http://www.mathjax.org/",
         "Mousetrap": "http://craig.is/killing/mice",
         "PageDown": "https://code.google.com/p/pagedown/",
         "Pagedown-extra": "https://github.com/jmcmanus/pagedown-extra/",
         "Prettify": "https://code.google.com/p/google-code-prettify/",
         "RequireJS": "http://requirejs.org/",
+        "RequireJS LESS plugin": "https://github.com/guybedford/require-less",
         "stacktrace.js": "http://stacktracejs.com/",
         "to-markdown": "https://github.com/domchristie/to-markdown",
         "UI Layout": "http://layout.jquery-dev.net/",