Commit Graph

5 Commits

Author SHA1 Message Date
Sebastian Serth
b98c37ae64 Rename v4 FontAwesome icons to match v5/v6 name
While FontAwesome provides aliases for all icons, we switch to the new names for consistency. See all changes at:
https://fontawesome.com/docs/web/setup/upgrade/upgrade-from-v4#icons-renamed-since-version-4
2022-08-09 14:17:32 +02:00
Sebastian Serth
9666683bd7 Fix error, submission, hints and help views 2018-11-06 16:46:01 +01:00
Hauke Klement
8787a21c3d minor change 2015-03-18 10:35:35 +01:00
Hauke Klement
9d6b79c919 replaced Glyphicon icons by Font Awesome icons 2015-03-18 10:19:39 +01:00
Hauke Klement
4cbf9970b1 transferred Code Ocean from original repository to GitHub 2015-01-22 10:01:32 +01:00