diff --git a/docs/source/playground-demo.gif b/docs/source/playground-demo.gif index d8b60aedc..ddaa9cc1f 100644 Binary files a/docs/source/playground-demo.gif and b/docs/source/playground-demo.gif differ diff --git a/docs/themes/navy/source/js/main.js b/docs/themes/navy/source/js/main.js index 1289faa73..3f2ac62a3 100644 --- a/docs/themes/navy/source/js/main.js +++ b/docs/themes/navy/source/js/main.js @@ -95,11 +95,14 @@ fontFamily: '"Source Code Pro", ui-monospace, Monaco, Menlo, Consolas, monospace', fontSize: '14px', showPrintMargin: false, + showGutter: false, + highlightActiveLine: false, tabSize: 2, useSoftTabs: true, - scrollPastEnd: 0.25 + scrollPastEnd: 0 }); editor.getSession().setMode('ace/mode/' + lang); + editor.renderer.setShowGutter(false); editor.renderer.setScrollMargin(8, 8, 0, 0); bindClipboard(editor); return editor;