Recommend the curl command for potential WSL users on website

Fixes #32
This commit is contained in:
2020-07-10 23:53:55 +02:00
parent 35bf9b5ff2
commit 8c4cde3d14
2 changed files with 11 additions and 5 deletions

View File

@@ -134,8 +134,8 @@ hr {
#platform-instructions-linux > div > pre,
#platform-instructions-mac > div > pre,
#platform-instructions-freebsd > div > pre,
#platform-instructions-win32 > pre,
#platform-instructions-win64 > pre,
#platform-instructions-win32 > div > pre,
#platform-instructions-win64 > div > pre,
#platform-instructions-default > div > div > pre,
#platform-instructions-unknown > div > div > pre {
background-color: #515151;