Christopher White ca36e56d2a Front-end: accept (but don't use) doc comments from query() ... Now that query() returns three elements instead of two, accept all three		2020-04-02 13:11:16 -04:00
..
filters	Filters: rename variable for compactness	2019-12-07 07:06:09 +01:00
fonts	Ubuntu font: move to a separate directory	2019-12-10 06:26:55 +01:00
img	Add new static assets	2017-05-12 15:48:21 +02:00
banner.css	Regularize whitespace; add editorconfig	2020-03-21 08:58:43 -04:00
fonts.css	Ubuntu font: move to a separate directory	2019-12-10 06:26:55 +01:00
header.css	Use mobile-first approach and sticky positioning	2017-09-25 12:40:35 +00:00
script.js	Add a message banner and hyperlink to the header	2019-03-21 07:36:31 +01:00
style.css	use local ubuntu fonts instead of google include	2019-12-09 10:05:11 -05:00
web.py	Front-end: accept (but don't use) doc comments from query()	2020-04-02 13:11:16 -04:00