Jamie Guthrie 97f75e82c0 Add padding to directions popups ... Clicking on a direction step now pans to the popup, but includes some padding so that the popup is not hidden in the corner of the screen. Closes #1745		2018-02-13 17:25:56 +00:00
..
favicons	Improve favicons	2015-06-11 21:18:31 +01:00
images	Merge remote-tracking branch 'upstream/pull/1726'	2018-01-29 18:54:18 +00:00
javascripts	Add padding to directions popups	2018-02-13 17:25:56 +00:00
opensearch	Make search use HTTPS automatically	2017-03-13 11:22:19 +00:00
stylesheets	Merge remote-tracking branch 'upstream/pull/1693'	2018-02-03 16:12:51 +00:00