Merge remote-tracking branch 'mike/master' into dev

This commit is contained in:
Mario Vavti
2018-06-25 23:49:11 +02:00
3 changed files with 18 additions and 17 deletions

View File

@@ -297,7 +297,6 @@ code {
font-size: 1em;
padding: 1em 1.5em;
display: block;
white-space: pre-wrap;
}
code.inline-code {