view blatter.ini @ 301:841b5e0ab726

Make navigation font a little bit smaller

The navigation font was optimized for the custom font, but was compeltly
unreadable if the javascript files cannot be load. To avoid this issue we make
them a little bit smaller so without the custom fonts the items still fit. If
the font is loaded it's a little bit smaller but I think it's okay.

[blatter]

static_dir=static
template_dir=templates
dynamic_dir=content
output_dir=rendered

# 'publish' target can be configured or use --destination
#publish_location=/local/path

# 'serve' options
index_document=index.html
url_prefix=/

filters=markdown

[filter.markdown]
name=markdown
function=filters.mdown