diff default/static/highlight.css @ 118:c744170fd597

css: minor change in menu margin
author Goffi <goffi@goffi.org>
date Tue, 30 Jan 2018 07:47:29 +0100
parents 46109efcf671
children
line wrap: on
line diff