Age | Commit message (Expand) | Author |
---|---|---|
2019-07-26 | Remove unused icon | Stephane Blondon |
2019-07-26 | Update icons and light changes for the style used in the html pages | Stephane Blondon |
2017-04-20 | Add missing CSS style for <tip> tag. Closes: #860180 | Holger Wansing |
2015-03-23 | Add CSS for the html version. | Samuel Thibault |