Manuel e4998cb94c Fix textarea not resizing to 100% ... With declaration of doctype the textarea element did not resize to 100% height anymore due to HTML5 compliance mode changes		2021-04-06 10:16:32 +02:00
..
application.css	Fix textarea not resizing to 100%	2021-04-06 10:16:32 +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	Fix textarea not resizing to 100%	2021-04-06 10:16:32 +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