codeq-web.git - CodeQ web client

Age	Commit message (Collapse)	Author
2017-02-27	Tweak CSS for hints	Timotej Lazar

2016-02-26	Simplify description+hints blocks markup	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-15	Add license information to CSS files	Timotej Lazar

2015-11-20	Prettify editor marks	Timotej Lazar

2015-11-19	Reduce bottom margin for popup hints	Timotej Lazar

2015-11-17	Support different highlight colors for popup hints	Timotej Lazar

2015-10-09	Reduce opacity of not-newest hints	Timotej Lazar

2015-10-05	Highlight only the border around newest hint	Timotej Lazar

2015-10-05	Add some padding	Timotej Lazar

2015-10-02	Prepend instead of append new hints and bold the first shown hint.	Aleš Smodiš

2015-10-01	block description fix; hint img centered;	Marko Pušnik

2015-10-01	Limit width of hint images to 80%.	Aleš Smodiš

2015-09-23	Place a border around individual static hints	Timotej Lazar

2015-09-18	Use a link instead of a button in a static hint sequence.	Aleš Smodiš