make border styles more consistent
authorgit <redacted>
Tue, 5 May 2026 16:51:18 +0000 (12:51 -0400)
committergit <redacted>
Tue, 5 May 2026 16:51:18 +0000 (12:51 -0400)
commitf5a3e3d9e84f8cd1b30c75fdf560095f25e5abd9
treebb657318a4972ba8f87d6ace61539ebd1fc2af0a
parent72ee7413333608e2dd3a1089cd471b6a44dc8d73
make border styles more consistent
gitweb.css