@@ -9,10 +9,11 @@
9 <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
9 <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
10 <script src="https://oss.maxcdn.com/libs/respond.js/1.4.2/respond.min.js"></script>
10 <script src="https://oss.maxcdn.com/libs/respond.js/1.4.2/respond.min.js"></script>
11 <![endif]-->
11 <![endif]-->
12− <script src="//code.jquery.com/jquery-1.11.1.min.js"></script>
12+ <script src="https://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">
13+ <link href="https://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>
14+ <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.2/js/bootstrap.min.js"></script>
15− <script type="text/javascript">
15+ <script>
16(function($) { // http://stackoverflow.com/questions/901115/how-can-i-get-query-string-values
17(function($) { // http://stackoverflow.com/questions/901115/how-can-i-get-query-string-values
17 $.QueryString = (function(a) {
18 $.QueryString = (function(a) {
18 if (a == "") return {};
19 if (a == "") return {};
@@ -55,7 +56,7 @@ $(document).ready(function() {
55 $("#to").change(newpage);
56 $("#to").change(newpage);
58− <style type="text/css">
59+ <style>
59 h1 { margin-bottom: 1em; }
60 h1 { margin-bottom: 1em; }
60 body { margin: auto; }
61 body { margin: auto; }
61 textarea { height: auto; width: 100%; font-family: monospace; margin-top: 15px; }
62 textarea { height: auto; width: 100%; font-family: monospace; margin-top: 15px; }