172 lines
2.8 KiB
CSS
172 lines
2.8 KiB
CSS
:root {
|
|
/* if the system has DejaVu, that looks better, but I provide vera bitstream
|
|
* instead as fallback because it's smaller
|
|
* ideally I'd like to just use 'sans' and 'serif', but the defaults on windows look bad */
|
|
--my-serif-font: 'DejaVu Serif', 'vera-serif';
|
|
--my-sans-font: 'DejaVu Sans', 'vera-sans';
|
|
}
|
|
|
|
html,
|
|
body {
|
|
margin: 0;
|
|
padding: 0;
|
|
position: relative;
|
|
background: #000;
|
|
/*background: #0f0f0f;*/
|
|
color: #a0a0a0;
|
|
}
|
|
|
|
body {
|
|
font-family: var(--my-serif-font), serif;
|
|
text-rendering: optimizeLegibility;
|
|
-webkit-font-smoothing: antialiased;
|
|
-moz-osx-font-smoothing: grayscale;
|
|
-moz-font-feature-settings: "liga" on;
|
|
}
|
|
|
|
h1 {
|
|
/* revolutionary idea: h1 and h2 shouldn't look the same */
|
|
font-size: 1.8em;
|
|
padding-top: 40px;
|
|
}
|
|
|
|
h1,
|
|
h2,
|
|
h3,
|
|
h4,
|
|
h5,
|
|
h6 {
|
|
font-family: var(--my-sans-font), sans-serif;
|
|
color: #666;
|
|
}
|
|
|
|
h1 /*, h2, h3 */ {
|
|
text-align: center;
|
|
}
|
|
|
|
|
|
a {
|
|
outline: none;
|
|
color: #c0c0c0;
|
|
}
|
|
|
|
.header {
|
|
padding: 15px 0;
|
|
position: relative;
|
|
|
|
background: #0f0f0f;
|
|
|
|
/*background: #f5f5f5;
|
|
background: #000;
|
|
/* border-bottom: 1px solid #eaeaea; */
|
|
}
|
|
|
|
code {
|
|
hyphens: none; /* breaking inline-code sections with hyphens looks bad */
|
|
/*background: #f8f8f8;
|
|
font-family: 'Source Code Pro', monospace;
|
|
font-size: 16px;
|
|
|
|
/*font-size: 100%;*/
|
|
}
|
|
|
|
.nav {
|
|
max-width: 800px;
|
|
margin: 0 auto;
|
|
padding: 0 15px;
|
|
font-family: var(--my-sans-font), sans-serif;
|
|
text-align: center;
|
|
}
|
|
|
|
.nav-links {
|
|
margin: 0;
|
|
padding: 0;
|
|
font-size: 18px;
|
|
list-style-type: disc;
|
|
list-style-position: outside;
|
|
}
|
|
|
|
.nav-links li {
|
|
display: inline-block;
|
|
margin: 0 0 0 15px;
|
|
}
|
|
|
|
.nav-links li:first-child {
|
|
margin-left: 0;
|
|
}
|
|
|
|
.nav-links a {
|
|
text-decoration: none;
|
|
}
|
|
|
|
.nav-links a:hover {
|
|
text-decoration: underline;
|
|
color: #fff;
|
|
}
|
|
|
|
.content {
|
|
width: 800px;
|
|
max-width: 92%;
|
|
font-size: 18px;
|
|
line-height: 1.7;
|
|
color: #999;
|
|
margin-left:auto;
|
|
margin-right:auto;
|
|
hyphens: auto;
|
|
}
|
|
|
|
.screenshots {
|
|
width: 1200px;
|
|
max-width: 90%;
|
|
margin-left:auto;
|
|
margin-right:auto;
|
|
}
|
|
|
|
.content table {
|
|
/* make sure the tables don't change page width on smartphones
|
|
* by making them scrollable */
|
|
margin: auto;
|
|
border-collapse: collapse;
|
|
overflow-x: auto;
|
|
display: block;
|
|
width: fit-content;
|
|
max-width: 100%;
|
|
}
|
|
|
|
.content .headinglink {
|
|
color: #222;
|
|
text-decoration: none;
|
|
}
|
|
|
|
.content .headinglink:hover,
|
|
.content .headinglink:focus {
|
|
|
|
color: #777;
|
|
text-decoration: underline;
|
|
}
|
|
|
|
@media (min-width: 880px) {
|
|
|
|
/* if there's some margin on the left, move the heading link
|
|
* to the left so the heading itself is roughly where it would be
|
|
* without the "# " link */
|
|
.content .headinglink {
|
|
margin-left: -1em;
|
|
}
|
|
|
|
.header {
|
|
padding: 15px 0;
|
|
}
|
|
}
|
|
|
|
@media (max-width: 520px) {
|
|
.screenshots img {
|
|
width: 100%;
|
|
height: auto;
|
|
}
|
|
|
|
.content {
|
|
font-size: 16px;
|
|
}
|
|
}
|