[www] Make a distinction between unix, linux, mac, ...

This commit is contained in:
2019-03-23 11:23:28 +08:00
parent c902304793
commit 9b2cb028c5
3 changed files with 45 additions and 31 deletions

View File

@@ -63,7 +63,7 @@ body#idx > * {
margin-left: auto;
margin-right: auto;
text-align: center;
width: 30em;
width: 31em;
}
body#idx > #pitch {
@@ -88,7 +88,7 @@ body#idx p.other-platforms-help {
background-color: rgb(250, 250, 250);
margin-left: auto;
margin-right: auto;
width: 46rem;
width: 45rem;
text-align: center;
border-radius: 3px;
border: 1px solid rgb(204, 204, 204);
@@ -96,7 +96,7 @@ body#idx p.other-platforms-help {
}
.instructions > * {
width: 43rem;
width: 45rem;
margin-left: auto;
margin-right: auto;
}
@@ -106,7 +106,9 @@ hr {
margin-bottom: 2em;
}
#platform-instructions-unix > pre,
#platform-instructions-linux > pre,
#platform-instructions-mac > pre,
#platform-instructions-freebsd > pre,
#platform-instructions-win32 > pre,
#platform-instructions-win64 > pre,
#platform-instructions-default > div > pre,