Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-02-28 | CSS: add background-color for hint highlights | Timotej Lazar | |
2017-02-28 | De-decrease monospace font size | Timotej Lazar | |
2017-02-27 | Tweak CSS for hints | Timotej Lazar | |
2016-09-09 | Support LaTeX math notation in templates | Timotej Lazar | |
2016-09-09 | Declare HTML5 doctype and fix related issues | Timotej Lazar | |
Also ensure the topbar stays fixed regardless of the content scrollbar. | |||
2016-04-24 | Revert "Experiment: add "teacher helped" link to Prolog screen" | Timotej Lazar | |
This reverts commit 982522b5b9dfc39c10d08129b873aadf77b7293f. | |||
2016-03-31 | Replace window.alert with custom message box | Timotej Lazar | |
2016-03-10 | Change color for codemirror matching brackets | Timotej Lazar | |
2016-03-02 | More CSS cleanups | Timotej Lazar | |
2016-03-02 | Reorder CSS | Timotej Lazar | |
2016-03-02 | Minor HTML and CSS cleanups | Timotej Lazar | |
2016-02-28 | Experiment: add "teacher helped" link to Prolog screen | Timotej Lazar | |
Records a {'typ': 'experiment', 'data': 'teacher help'} action when clicked. This will allow us to consider such traces specially when evaluating different hint types. This is specific to the prolog_hints experiment and should be reverted or generalized in the future. | |||
2016-02-28 | Do not force a specific font in CSS | Timotej Lazar | |
2016-02-26 | Replace several alerts with friendlier messages | Timotej Lazar | |
2016-02-26 | Use a consistent naming style for DOM IDs | Timotej Lazar | |
2016-02-26 | Increase margin above language-selection divs | Timotej Lazar | |
2016-02-26 | Remove unused id attributes in index.html | Timotej Lazar | |
2016-02-26 | Improve forms | Timotej Lazar | |
2016-02-26 | Simplify description+hints blocks markup | Timotej Lazar | |
2016-02-25 | Gray-out the editor while waiting for test results | Timotej Lazar | |
2016-02-25 | Add a screen to view own solutions | Timotej Lazar | |
2016-02-23 | Remove explicit "Hint" button | Timotej Lazar | |
Hints are now generated for each tested program, and the user can press a button to reveal the hints. | |||
2016-02-22 | Improve solved/attempted indicator | Timotej Lazar | |
2016-02-18 | Decrease size of problem description title | Timotej Lazar | |
2016-02-18 | Translate and improve "login failed" message | Timotej Lazar | |
2016-02-18 | Remove commented-out CSS settings | Timotej Lazar | |
2016-02-18 | Minor cleanups in index.html | Timotej Lazar | |
2016-02-17 | Remove old comments | Timotej Lazar | |
2016-02-17 | Fix minimum editor height | Timotej Lazar | |
2016-02-15 | Add license information to CSS files | Timotej Lazar | |
2016-02-15 | Reduce font size for code and pre elements | Timotej Lazar | |
2016-02-13 | Use relative font sizes and fix styling | Timotej Lazar | |
Bootstrap: because 10px ought to be good for everyone!™ | |||
2016-02-05 | Tweak style for <code> and <pre> elements | Timotej Lazar | |
2016-02-05 | Use relative font sizes everywhere | Timotej Lazar | |
2015-12-14 | Improve robot screen | Timotej Lazar | |
2015-12-14 | Increase minimum height for editor and console | Timotej Lazar | |
2015-12-14 | tiny css adjustments | Marko Pušnik | |
2015-12-09 | Increase padding for instructions/hints blocks | Timotej Lazar | |
2015-12-09 | Tweak console CSS | Timotej Lazar | |
2015-12-07 | Remove hover animations on Ladda buttons | Timotej Lazar | |
Make them look like normal buttons. | |||
2015-12-07 | Unminify the Ladda CSS file | Timotej Lazar | |
The distributed version of non-minified file is buggy. | |||
2015-12-07 | Fix layout for Robot problem screen | Timotej Lazar | |
2015-11-20 | Prettify editor marks | Timotej Lazar | |
2015-11-19 | Reduce bottom margin for popup hints | Timotej Lazar | |
2015-11-18 | Add support for tabkey and accesskey navigation | Timotej Lazar | |
2015-11-17 | Remove unused CSS | Timotej Lazar | |
2015-11-17 | Support different highlight colors for popup hints | Timotej Lazar | |
2015-11-09 | about screen mockup; TODO: text&design -> Loni&Saša | Marko Pušnik | |
2015-11-06 | Gui support for SAML account merge/upgrade upon first SAML-type login of an ↵ | Marko Pušnik | |
existing user. | |||
2015-10-21 | Show a spinner on hint/test buttons when clicked | Timotej Lazar | |