Signed-off-by: Michael Weimann <mail@michael-weimann.eu>
migrate buttons and badges
Signed-off-by: Michael Weimann <mail@michael-weimann.eu>
upgrade bootstrap, fix devtool
remove postcss-preset-env
remove npm-run-all
add theme info to design
add theme configs for 2-15
make all themes compile
fix node env in script
refactor theme config
make all themes basically working
fix sass 3rd party warnings
replace slash div by math.div
Attaching the timepicker to the input instead of the sorrounding div didn't
turn out as expected. Therefore, I used the same mechanism for DOM attachment
and lazy initialization for the timepicker like for the datepicker.
Instead of trying to load the CSS through webpack and some JS voodoo, it's
a lot simpler to just include it via the normal base theme CSS. This works.
In addition, I noticed that there is an easier way to read the current locale.
No need to do this twice via different ways.
This closes#516.
`<input type="date">` and JS datepicker combined cause trouble in some
browsers, so this changes all the date input fields' type to `text`
via JS so that the browser's datepicker is only used when a user has
disabled JavaScript.
In addition, it adds a placeholder so the user knows which date format
to use when entering the date manually.
This closes#507.
Igor Scheller