Tom Ice bdfe3beb25 New default theme with toggle-able legacy theme ...

* This sets the newly proposed theme as the main theme. In order to
  switch back to the legacy theme, set _MENU_THEME to legacy.
  This feature is currently an experimental feature and may change
  in the future.

* Fixes documentation and updates test to reflect newly changed theme.

2019-05-12 19:32:11 -04:00

..

assert.sh

travisci

2017-03-18 13:59:30 +01:00

commands_test.sh

New default theme with toggle-able legacy theme

2019-05-12 19:32:11 -04:00