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.

77 lines
1.1 KiB

@import "nav";
@import "list";
@import "syntax";
@import "syntax_edit";
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;
word-break: keep-all;
}
.container {
max-width: 1280px;
margin: 0 auto;
display: flex;
flex-direction: column;
#header {
margin-bottom: 20px;
}
#center {
display: flex;
flex-direction: row-reverse;
width: 100%;
#content {
flex-grow: 2;
max-width: 1010px;
}
#sidebar {
padding-top: 20px;
padding-left: 20px;
flex-grow: 1;
min-width: 230px;
}
}
#footer {
font-size: 0.8rem;
}
}
@media (max-width: 1280px) {
.container {
#center {
flex-direction: column-reverse;
#content {
max-width: 100%;
}
}
}
}
.highlight {
line-height: 1.5em;
margin: 15px 0;
}
#openring {
margin: 35px 0;
}