Manuel 79ec30f30b Prevent line numbers from being selectable ... When selecting everything (Ctrl+A) the line numbers should not be selected		2021-04-07 15:28:42 +02:00
..
application.css	Prevent line numbers from being selectable	2021-04-07 15:28:42 +02:00
application.js	Switched to proper babel-minify lib	2020-09-20 18:18:38 +02:00
favicon.ico	Added a favicon	2011-11-29 20:24:53 -05:00
function-icons.png	update function icons	2012-01-22 23:41:40 -05:00
highlight.min.js	Updated highlightjs to support many more languages (#6)	2020-09-18 16:19:34 +02:00
hover-dropdown-tip.png	Implement redesign of key	2011-11-23 11:31:50 -05:00
index.html	Minor stylistic change	2021-04-06 15:23:56 +02:00
logo.png	Implement redesign of key	2011-11-23 11:31:50 -05:00
robots.txt	Added non-standard but desirable robots.txt	2011-12-16 08:18:04 -05:00
solarized_dark.css	Upgrade highlight.js	2016-09-12 20:10:15 -04:00