Alexander Graf b91e73b090 set docs font size to 16px

2018-08-23 14:44:37 +02:00

..

style.css

set docs font size to 16px

2018-08-23 14:44:37 +02:00