@@ -9,10 +9,11 @@
99 <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
1010 <script src="https://oss.maxcdn.com/libs/respond.js/1.4.2/respond.min.js"></script>
1111 <![endif]-->
12− <script src="//code.jquery.com/jquery-1.11.1.min.js"></script>
13− <link href="//maxcdn.bootstrapcdn.com/bootstrap/3.3.2/css/bootstrap.min.css" rel="stylesheet">
14− <script src="//maxcdn.bootstrapcdn.com/bootstrap/3.3.2/js/bootstrap.min.js"></script>
15− <script type="text/javascript">
12+ <script src="https://code.jquery.com/jquery-1.11.1.min.js"></script>
13+ <link href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.2/css/bootstrap.min.css" rel="stylesheet">
14+ <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.2/js/bootstrap.min.js"></script>
15+ <script>
16+"use strict";
1617(function($) { // http://stackoverflow.com/questions/901115/how-can-i-get-query-string-values
1718 $.QueryString = (function(a) {
1819 if (a == "") return {};
@@ -55,7 +56,7 @@ $(document).ready(function() {
5556 $("#to").change(newpage);
5657});
5758 </script>
58− <style type="text/css">
59+ <style>
5960 h1 { margin-bottom: 1em; }
6061 body { margin: auto; }
6162 textarea { height: auto; width: 100%; font-family: monospace; margin-top: 15px; }