# HG changeset patch # User Markus Kottlaender # Date 1557247871 -7200 # Node ID c36940e53788ae21acd48f58033bf87b7acd86cf # Parent 5487abeb380cf0803f1e702e1244740d181bdf34 client: ui box header: removed old unused functionality and added support for smaller fontsize and padding diff -r 5487abeb380c -r c36940e53788 client/src/components/ui/UIBoxHeader.vue --- a/client/src/components/ui/UIBoxHeader.vue Tue May 07 18:37:12 2019 +0200 +++ b/client/src/components/ui/UIBoxHeader.vue Tue May 07 18:51:11 2019 +0200 @@ -1,5 +1,5 @@