Index: bower_components/google-code-prettify/styles/demo.html |
diff --git a/bower_components/google-code-prettify/styles/demo.html b/bower_components/google-code-prettify/styles/demo.html |
deleted file mode 100644 |
index 9c9acadcfac360879664f3fcb5cc09b96ecaa2ee..0000000000000000000000000000000000000000 |
--- a/bower_components/google-code-prettify/styles/demo.html |
+++ /dev/null |
@@ -1,61 +0,0 @@ |
-<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN"> |
-<html><head> |
-<script src="../src/prettify.js"></script> |
-<script src="../src/lang-css.js"></script> |
-<style> |
-body { margin: 0; padding: 0 } |
-pre { margin: 0 } |
-</style> |
-</head> |
-<script> |
-// This page displays some code styled using a theme named in the |
-// query part of the URL. |
-var themeName = decodeURIComponent(document.location.search.replace(/^\?/, '')); |
- |
-// Call out to the parent so that it can resize the iframe once this |
-// document's body is loaded. |
-function adjustHeightInParent() { |
- if (parent !== window) { |
- try { |
- var div = document.body.getElementsByTagName('div')[0]; |
- parent.adjustChildIframeSize( |
- themeName, div.offsetWidth, div.offsetHeight); |
- } catch (ex) { |
- // Can happen when this page is opened in its own tab. |
- } |
- } |
-} |
- |
-// Load the necessary CSS |
-(function () { |
- document.title = 'Theme ' + themeName; |
- // Load the stylesheet that we're demoing. |
- var link = document.createElement('link'); |
- link.rel = 'stylesheet'; |
- link.type = 'text/css'; |
- link.href = themeName === 'default' |
- ? '../src/prettify.css' : themeName + '.css'; |
- document.getElementsByTagName('head')[0].appendChild(link); |
-})(); |
-</script> |
- |
-<body onload="prettyPrint(); adjustHeightInParent()"> |
-<div style="width: 40em; display: inline-block"> |
-<pre class="prettyprint lang-html linenums"> |
-<script type="text/javascript"> |
-// Say hello world until the user starts questioning |
-// the meaningfulness of their existence. |
-function helloWorld(world) { |
- for (var i = 42; --i >= 0;) { |
- alert('Hello ' + String(world)); |
- } |
-} |
-</script> |
-<style> |
-p { color: pink } |
-b { color: blue } |
-u { color: "umber" } |
-</style> |
-</pre> |
-</div> |
-</body></html> |