15 Commits

Author	SHA1	Message	Date
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	19f180d1e1	Correct tooltip classNames for bulma-tooltip version 3.0.0	2019-10-29 14:14:34 +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	91ba19cc36	remove unused plugin-scripts package and mark ui-styles as private	2019-10-15 13:14:33 +02:00
Sebastian Sdorra	00117955e7	added shared prettier config	2019-10-14 11:58:18 +02:00
Florian Scholdei	834730f09c	Correct html syntax in styleguide	2019-10-10 15:32:22 +02: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