diff --git a/lib/js/bookmark.js b/lib/js/bookmark.js index ab26e9198..85ad652e3 100755 --- a/lib/js/bookmark.js +++ b/lib/js/bookmark.js @@ -61,7 +61,7 @@ javascript:(function(next) { return branch; } } - const REF = await hash('master'); + const REF = await hash('devel'); function init() { $('.terminal.lips').each(function() { $(this).terminal().destroy().remove(); @@ -163,7 +163,7 @@ javascript:(function(next) { [ `${cdn}/gh/jcubic/jquery.terminal@devel/css/jquery.terminal.min.css`, `${cdn}/${LIPS}/lib/css/terminal.css`, - `${cdn}/npm/terminal-prism/css/prism-coy.css` + `${cdn}/npm/terminal-prism@0.4.1/css/prism-coy.css` ].forEach(function(url) { if (!$('link[href="' + url + '"]').length) { var link = $('');