summaryrefslogtreecommitdiff
path: root/css
AgeCommit message (Collapse)Author
2017-02-28De-decrease monospace font sizeTimotej Lazar
2017-02-27Tweak CSS for hintsTimotej Lazar
2016-09-09Support LaTeX math notation in templatesTimotej Lazar
2016-09-09Declare HTML5 doctype and fix related issuesTimotej Lazar
Also ensure the topbar stays fixed regardless of the content scrollbar.
2016-04-24Revert "Experiment: add "teacher helped" link to Prolog screen"Timotej Lazar
This reverts commit 982522b5b9dfc39c10d08129b873aadf77b7293f.
2016-03-31Replace window.alert with custom message boxTimotej Lazar
2016-03-10Change color for codemirror matching bracketsTimotej Lazar
2016-03-02More CSS cleanupsTimotej Lazar
2016-03-02Reorder CSSTimotej Lazar
2016-03-02Minor HTML and CSS cleanupsTimotej Lazar
2016-02-28Experiment: add "teacher helped" link to Prolog screenTimotej 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-28Do not force a specific font in CSSTimotej Lazar
2016-02-26Replace several alerts with friendlier messagesTimotej Lazar
2016-02-26Use a consistent naming style for DOM IDsTimotej Lazar
2016-02-26Increase margin above language-selection divsTimotej Lazar
2016-02-26Remove unused id attributes in index.htmlTimotej Lazar
2016-02-26Improve formsTimotej Lazar
2016-02-26Simplify description+hints blocks markupTimotej Lazar
2016-02-25Gray-out the editor while waiting for test resultsTimotej Lazar
2016-02-25Add a screen to view own solutionsTimotej Lazar
2016-02-23Remove explicit "Hint" buttonTimotej Lazar
Hints are now generated for each tested program, and the user can press a button to reveal the hints.
2016-02-22Improve solved/attempted indicatorTimotej Lazar
2016-02-18Decrease size of problem description titleTimotej Lazar
2016-02-18Translate and improve "login failed" messageTimotej Lazar
2016-02-18Remove commented-out CSS settingsTimotej Lazar
2016-02-18Minor cleanups in index.htmlTimotej Lazar
2016-02-17Remove old commentsTimotej Lazar
2016-02-17Fix minimum editor heightTimotej Lazar
2016-02-15Add license information to CSS filesTimotej Lazar
2016-02-15Reduce font size for code and pre elementsTimotej Lazar
2016-02-13Use relative font sizes and fix stylingTimotej Lazar
Bootstrap: because 10px ought to be good for everyone!™
2016-02-05Tweak style for <code> and <pre> elementsTimotej Lazar
2016-02-05Use relative font sizes everywhereTimotej Lazar
2015-12-14Improve robot screenTimotej Lazar
2015-12-14Increase minimum height for editor and consoleTimotej Lazar
2015-12-14tiny css adjustmentsMarko Pušnik
2015-12-09Increase padding for instructions/hints blocksTimotej Lazar
2015-12-09Tweak console CSSTimotej Lazar
2015-12-07Remove hover animations on Ladda buttonsTimotej Lazar
Make them look like normal buttons.
2015-12-07Unminify the Ladda CSS fileTimotej Lazar
The distributed version of non-minified file is buggy.
2015-12-07Fix layout for Robot problem screenTimotej Lazar
2015-11-20Prettify editor marksTimotej Lazar
2015-11-19Reduce bottom margin for popup hintsTimotej Lazar
2015-11-18Add support for tabkey and accesskey navigationTimotej Lazar
2015-11-17Remove unused CSSTimotej Lazar
2015-11-17Support different highlight colors for popup hintsTimotej Lazar
2015-11-09about screen mockup; TODO: text&design -> Loni&SašaMarko Pušnik
2015-11-06Gui support for SAML account merge/upgrade upon first SAML-type login of an ↵Marko Pušnik
existing user.
2015-10-21Show a spinner on hint/test buttons when clickedTimotej Lazar
2015-10-19Show attempted/solved status in problem listTimotej Lazar