diff util.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 b15e1581c3d4
children 021185105e2f
line wrap: on
line diff