You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

65 lines
821 B

@import "nav";
@import "list";
@import "syntax";
html,
body {
font-family: Verdana, Sans-Serif;
font-size: 12pt;
line-height: 1.7;
}
h1,
h2,
h3 {
font-size: 12pt;
margin: 0 0 10px 0;
}
p {
margin: 0 0 10px 0;
}
.container {
max-width: 1280px;
margin: 0 auto;
display: grid;
grid-template-columns: 3fr 1fr;
}
#header {
margin-bottom: 20px;
grid-column-start: 1;
grid-column-end: 3;
}
#content {
grid-column-start: 1;
grid-row-start: 2;
}
#sidebar {
grid-column-start: 2;
padding-top: 20px;
padding-left: 20px;
}
#footer {
grid-column-start: 1;
grid-column-end: 3;
font-size: 0.8rem;
}
.highlight {
line-height: 1.5em;
margin: 15px 0;
.chroma {
padding-right: 10px;
}
}
#openring {
margin: 35px 0;
}