Stephan Druskat e880fb6339 Fix #823: Apply default padding to table headers ... This PR fixes #823 by applying the default padding for table cells (`padding: 3px 20px;`) to header cells.		2019-08-09 09:48:56 -07:00
..
css	Fix #823: Apply default padding to table headers	2019-08-09 09:48:56 -07:00
FontAwesome	Update FontAwesome version to 4.7.0	2018-10-15 20:01:36 +01:00
playpen_editor	Remove 'static lifetime from static vars (#947)	2019-05-31 18:01:02 +02:00
searcher	Remove 'static lifetime from static vars (#947)	2019-05-31 18:01:02 +02:00
ayu-highlight.css	Update css to support diff syntax highlighting. (#943)	2019-06-12 16:59:55 +02:00
book.js	Support rust edition in playground. (#946)	2019-05-31 17:59:44 +02:00
clipboard.min.js	When the Copy button is pressed, focus is lost and scrolling the page	2019-04-23 09:29:22 +02:00
favicon.png	Add default favicon.png	2016-02-22 16:59:53 +01:00
header.hbs	Adding a header partial integration #453	2017-11-30 21:48:29 -08:00
highlight.css	Update css to support diff syntax highlighting. (#943)	2019-06-12 16:59:55 +02:00
highlight.js	Update highlight.js (#942)	2019-06-03 14:22:32 +02:00
index.hbs	Revert "Merge pull request #889 from s3bk/master" (#917)	2019-05-09 20:18:28 +02:00
mod.rs	Remove 'static lifetime from static vars (#947)	2019-05-31 18:01:02 +02:00
tomorrow-night.css	Update css to support diff syntax highlighting. (#943)	2019-06-12 16:59:55 +02:00