|
application.css
|
Compatibility with screen reader
|
2016-07-30 16:15:53 +02:00 |
|
application.js
|
Added shift modifier to twitter shortcut
|
2012-12-23 10:53:53 -05:00 |
|
application.min.js
|
Proper
|
2013-01-11 10:00:35 -08: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
|
Revert "Refactor frontend"
|
2012-03-19 18:17:39 -04:00 |
|
hover-dropdown-tip.png
|
Implement redesign of key
|
2011-11-23 11:31:50 -05:00 |
|
index.html
|
Compatibility with screen reader
|
2016-07-30 16:15:26 +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
|
Bugfix to solarized_dark.css
|
2012-12-28 16:11:21 +02:00 |
