theme css are now loading dynamically if needed
javascript ide description text changed
Merge
minor changes
bootstrap and query update, index page performance improvements and style fixes, removed unused dependency.
Prettify Sandbox and index page a little bit more.
404 error page improvements
style and js fixes on error page
removed unused dependencies
optimising imports and overall structure
ext resources re-added
fixed error when codemirror was unable to initialize.
Documentation, further optimizations.
Documentation, further optimizations.
Validation starts working again. Fixed layout issue.
Theming returns
.gitignore updated