13 Commits

Author	SHA1	Message	Date
Rene Pfeuffer	a7195331a3	Fix text colors for warning button	2020-01-10 17:10:57 +01:00
Rene Pfeuffer	cf96b1b998	Hack for conflict marker	2020-01-08 12:58:13 +01:00
Sebastian Sdorra	cc26ffcaa8	upgrade react-diff-view to v2.4.1	2020-01-06 15:59:16 +01:00
Sebastian Sdorra	f4cda2072e	Merged in bugfix/remove_global_styles_radio_button (pull request #364) ... override global radio stylings and use local styles instead	2019-12-19 09:08:41 +00:00
Florian Scholdei	111465f853	Make input .help texts position absolute so that it does not affect level negative when pop up, it also saves some space underneath	2019-11-26 16:04:42 +01:00
Eduard Heimbuch	a1ff55d084	override global radio stylings and use local styles instead	2019-11-26 13:22:00 +01:00
Florian Scholdei	a795129c70	Remove global style: last div two levels below .modal-card-body ... Apparently added for the CI plugin on 2019-07-24, but no longer necessary	2019-11-19 08:48:46 +01:00
Florian Scholdei	b5d30e53e4	Fix border-radius for modal in case no .modal-foot exists	2019-10-29 16:15:25 +01:00
Florian Scholdei	cd4874f4d3	Specify card-columns to select css properties more clearly	2019-10-29 14:35:23 +01:00
Florian Scholdei	cd5b369d26	Add slightly border to tag.is-delete	2019-10-29 10:27:15 +01:00
Florian Scholdei	92430dfee3	Use same font-size for every button, Set .is-outlined background-color to white, Change Pagination colors	2019-10-29 09:44:26 +01:00
Sebastian Sdorra	a28e70f004	fix import of bulma-tooltip	2019-10-10 14:37:25 +02:00
Florian Scholdei	71ca90e7a9	Move styles to ui-styles	2019-10-10 10:41:25 +02:00