comparison 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
comparison
equal deleted inserted replaced
38:c2e2b107c7c1 39:faf2283e2bd6