Make the playground header fit in with the rest of the site

Fixes https://github.com/prettier/prettier/issues/3542.
master
Jed Fox 2017-12-24 11:49:47 -05:00 committed by GitHub
parent 5ccc213a21
commit 4497aa1efc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 20 additions and 4 deletions

View File

@ -45,7 +45,9 @@
html {
background-color: #fafafa;
color: #6a6a6a;
font-family: -apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Helvetica, Arial, sans-serif;
font-family: -apple-system, system-ui, BlinkMacSystemFont, "Segoe UI",
Roboto, Oxygen, Ubuntu, Cantarell, "Fira Sans", "Droid Sans",
"Helvetica Neue", Arial, sans-serif;
font-size: 12px;
line-height: 1.25;
}
@ -63,7 +65,7 @@
justify-content: space-between;
align-items: center;
height: 30px;
padding: 10px 27px;
padding: 11px 27px;
background-color: #1a2b34;
color: #e0e0e0;
position: relative;
@ -96,9 +98,23 @@
}
header h1 {
font-size: 20px;
display: block;
font-family: inherit;
font-weight: 400;
line-height: 18px;
position: relative;
z-index: 9999;
margin: 0;
font-size: 18px;
font-weight: normal;
}
#version {
font-size: 0.5em;
line-height: 0;
opacity: 0.5;
}
#version::before {
content: 'v'
}
.links {