pludi
/
mdlive
mirror of https://git.ludikovsky.name/git/mdlive.git
1
0
Fork 0
Code Issues Releases Activity

Definition lists

remotes/origin/master
Peter 2016-06-03 13:00:33 +02:00
parent 04f6e8e6b5
commit a792153dd9
Signed by: pludi
GPG Key ID: CFBA360E696EDC99
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mdlive/default_configuration.py
View File

@ -1,4 +1,4 @@
PARSER = '/usr/bin/pandoc -f markdown+footnotes+inline_notes+auto_identifiers -t html5 --smart --email-obfuscation=references'
PARSER = '/usr/bin/pandoc -f markdown+footnotes+inline_notes+auto_identifiers+definition_lists -t html5 --smart --email-obfuscation=references'
HOST = '127.0.0.1'
PORT = 5000
DEBUG = True

3
static/blog.css
View File

@ -28,3 +28,6 @@ body {
font-kerning: normal;
font-family: 'DejaVu Sans', sans-serif;
}
dd {
padding-left: 2em;
}