diff client.js @ 39:faf2283e2bd6

mathieui: Add a margin around the navtabs.
author Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
date Sat, 23 May 2020 18:03:05 +0200
parents d9da5c3e305d
children bd343ef0942f
line wrap: on
line diff