style the index page of docs.gnunet.org a bit more.
authorng0 <ng0@n0.is>
Sun, 24 Nov 2019 19:53:15 +0000 (19:53 +0000)
committerng0 <ng0@n0.is>
Sun, 24 Nov 2019 19:53:15 +0000 (19:53 +0000)
commit1a3904ec8d6463451b3a6e22433dd2582637c56b
tree66fa5db13f3dfcd54ca585cfad08fa8df04b5553
parentd5fe0553a3ba770946d135a64af8da4a1875d040
style the index page of docs.gnunet.org a bit more.
doc/docstyle.css [new file with mode: 0644]
doc/index.html
doc/manual.css [new file with mode: 0644]
doc/reset.css [new file with mode: 0644]
doc/style.css [new file with mode: 0644]