diff options
| author | Mike Tzou <Chocobo1@users.noreply.github.com> | 2020-03-16 00:46:53 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-15 09:46:53 -0700 |
| commit | 225e7210f023c4f0c4d2e929d933049202063b90 (patch) | |
| tree | a2414303c7c220d5df93002c502220d2126bcbcb /trypandoc | |
| parent | a5fa55969f1b4afc0ca3e38be50b69c65d43a460 (diff) | |
| download | pandoc-225e7210f023c4f0c4d2e929d933049202063b90.tar.gz | |
Improvements to trypandoc (#6188)
* Use "strict mode" for javascript code
* Fetch resources over https
Otherwise it will depend on the protocol of the webpage served which is
a bad idea.
* Remove unnecessary attributes
Those attributes are not required in HTML5.
Diffstat (limited to 'trypandoc')
| -rw-r--r-- | trypandoc/index.html | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/trypandoc/index.html b/trypandoc/index.html index 8a6a417ef..ea7cacc2d 100644 --- a/trypandoc/index.html +++ b/trypandoc/index.html @@ -9,10 +9,11 @@ <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script> <script src="https://oss.maxcdn.com/libs/respond.js/1.4.2/respond.min.js"></script> <![endif]--> - <script src="//code.jquery.com/jquery-1.11.1.min.js"></script> - <link href="//maxcdn.bootstrapcdn.com/bootstrap/3.3.2/css/bootstrap.min.css" rel="stylesheet"> - <script src="//maxcdn.bootstrapcdn.com/bootstrap/3.3.2/js/bootstrap.min.js"></script> - <script type="text/javascript"> + <script src="https://code.jquery.com/jquery-1.11.1.min.js"></script> + <link href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.2/css/bootstrap.min.css" rel="stylesheet"> + <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.2/js/bootstrap.min.js"></script> + <script> +"use strict"; (function($) { // http://stackoverflow.com/questions/901115/how-can-i-get-query-string-values $.QueryString = (function(a) { if (a == "") return {}; @@ -55,7 +56,7 @@ $(document).ready(function() { $("#to").change(newpage); }); </script> - <style type="text/css"> + <style> h1 { margin-bottom: 1em; } body { margin: auto; } textarea { height: auto; width: 100%; font-family: monospace; margin-top: 15px; } |