9c71c6667a
Install and use ToastUi markdown editor
...
Replace all usages of pagedown-bootstrap editor with the new editor.
Add styles to ensure the editor preview matches the final output.
2024-04-26 13:31:49 +02:00
944b455194
Introduce Dark Mode
...
This commit mainly changes the color definitions. Mostly, those changes are semantically equally, but there are a few changes that occurred to align the color scheme within the app.
2023-07-31 11:48:42 +02:00
5c98ec74f0
Add legal links to Help modal
2023-02-24 19:55:23 +01:00
14bc0b9741
Always show score pill for exercise implement and adjust styling
2022-10-13 19:56:15 +02:00
ac3dc8d30f
Allow platform admins and internal users to switch their current study group
2022-09-22 19:24:26 +02:00
60dc8c3b7e
Apply line-based coloring for output
2022-09-02 16:56:18 +02:00
73b3b8a159
Hide border for disabled (unstyled) button
...
btn-default is a non-bootstrap class
2022-08-16 18:28:57 +02:00
8a055a0d68
Update Bootstrap from v4 to v5
2022-08-12 11:45:32 +02:00
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
f32661ad78
Rework left sidebar
...
* Move Buttons from left sidebar to JSTree
* Use light style for collapse sidebar buttons
2021-05-28 17:49:59 +02:00
82e560cace
Add link to WebSocket test if WebSocket connection failed
2020-03-07 11:53:44 +01:00
d63700c7db
Add live dashboard for teachers in the context of an exercise
...
This commit also adds the fundamentals for ActionCable
2019-03-06 14:00:59 +01:00
572a1405c3
Prevent font size change for buttons with class btn-lg
2018-11-06 16:49:45 +01:00
78037ab37a
Increase font weight for headings, reduce size of result card headings
2018-11-06 16:49:44 +01:00
cc48361a15
Remove unused scrollbars in /implement
2018-11-06 16:49:44 +01:00
248c3214cb
Move font-weight
2018-11-06 16:49:44 +01:00
c44478783a
Fix bootstrap CSS issues in Safari and Chrome
2018-11-06 16:49:44 +01:00
7bdb962616
Update Bootstrap to v4.1, fix chosen.js and pagedown on multiple sites
2018-11-06 16:49:41 +01:00
75e5b7330f
Move spinner to base css
2018-07-03 14:10:39 +02:00
099bed2808
fixed typo.
2017-04-18 17:24:44 +02:00
2db57198a8
make text color a bit darker to improbe readability
2017-04-18 17:22:21 +02:00
4a6e8c7c0a
Minor style changes
2015-04-09 09:50:39 +02:00
9d6b79c919
replaced Glyphicon icons by Font Awesome icons
2015-03-18 10:19:39 +01:00
f794e0a845
added padding below the content container
2015-03-12 18:06:59 +01:00
c811e1a78f
minor improvements for progress bars
2015-03-11 10:12:14 +01:00
4cbf9970b1
transferred Code Ocean from original repository to GitHub
2015-01-22 10:01:32 +01:00
