Shruti B Iyer 0d05385585 Update the styling to use the set of grays defined in the WIP style guide.

2017-06-07 13:57:49 +01:00

..

static/css

Prevent users selecting elements of the UI that shouldn't be selectable. Fixes #1976

2016-11-18 10:55:00 +00:00

templates/debugger

Update the styling to use the set of grays defined in the WIP style guide.

2017-06-07 13:57:49 +01:00

__init__.py

Prevent attempts to debug procedures with variadic arguments. Fixes #1466

2017-06-06 12:58:52 +01:00