diff options
| -rw-r--r-- | public/site.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/public/site.js b/public/site.js index 1155126..cb6bed7 100644 --- a/public/site.js +++ b/public/site.js @@ -9,7 +9,7 @@ $(function() { smartIndent: true, indentUnit: 4 }); - editor.setSize(null, 500); + editor.setSize(null, 640); $("#dlCodeButton").on("click", function() { var a = $("<a></a>") |