updated machine and network content

This commit is contained in:
gijsio
2020-08-18 10:27:04 +02:00
parent 82fe368a40
commit 0042625d1a
15 changed files with 212 additions and 1057 deletions

View File

@@ -2824,6 +2824,9 @@ ol {
padding-left: 24px;
margin-bottom: 10px;
}
li p{
margin-bottom: 0px;
}
.display-4 {
font-size: 112px !important;
font-weight: 300;