]> git.tuebingen.mpg.de Git - dss.git/commit
projects / dss.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41cbc84) | patch
index.html: Adjust font size for code.
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 10 May 2024 23:27:09 +0000 (01:27 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 22 May 2024 16:38:16 +0000 (18:38 +0200)
commitf734fb5aac06dea594e1012945439e1985b550cc
tree72d9697119cc4d75f4c0ac145efbb357daf61f7dtree | snapshot
parent41cbc84245297e1a7606a9fbd3b7c8ab92de0950commit | diff
index.html: Adjust font size for code.

At least on some firefox versions, the characters of the default
monospace font look a bit small.
index.html.m4 diff | blob | history
DSS - dyadic snapshot scheduler