diff doc/Makefile @ 392:d7948d2c1cc6

common widgets: use a different colour + bigger font size + bold for CategorySeparator
author Goffi <goffi@goffi.org>
date Thu, 06 Feb 2020 21:16:21 +0100
parents aafd814e34b5
children
line wrap: on
line diff