Minor doc fixes and improvements

This commit is contained in:
Alexander Graf
2018-08-24 11:38:45 +02:00
parent 584c69d93c
commit b443cc6654
9 changed files with 28 additions and 10 deletions

View File

@@ -22,3 +22,7 @@ a:hover {
body {
font-size: 16px;
}
.versionmodified {
font-size: 14px;
}