view themes/__init__.py @ 868:a12f8d138ae2

theme (default): changed font, use the same fond as in dynamic part
author Goffi <goffi@goffi.org>
date Sun, 28 Feb 2016 11:54:14 +0100
parents 1a19ee7d8d8a
children
line wrap: on
line source