chiark / gitweb /
site: update index page styling.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 16 Jan 2018 23:20:19 +0000 (00:20 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Wed, 17 Jan 2018 00:46:32 +0000 (01:46 +0100)
commitb7fe5ae9fc1bad283d85463303262e7016b2b328
tree3fada6c4270a26271bcb6c299ef47beae93cf534
parenta21253c47c9e5a5791f90cd09ced51416d997ffd
site: update index page styling.

I'm overusing this thing.
doc/index.rst