css: switch to relative font sizes
css: switch to relative font sizes

and add media queries to shrink some padding and some
font sizes on mobile

dddomodossola/gui,dddomodossola/remi,dddomodossola/remi