This repository has been archived on 2024-01-05. You can view files and clone it, but cannot push or open issues or pull requests.
website/style.css

29 lines
470 B
CSS

@font-face {
font-family: DejaVuSansMono;
src: local("DejaVu Sans Mono"),
url(fonts/DejaVuSansMono.ttf);
}
@font-face {
font-family: DejaVuSansMono;
src: local("DejaVu Sans Mono Bold"),
url(fonts/DejaVuSansMono-Bold.ttf);
font-weight: bold;
}
div {
text-align: center;
font-family: DejaVuSansMono;
font-size: 16px;
}
p {
text-align: left;
margin: auto;
width: 720px;
line-height: 24px;
}
pre {
font-family: DejaVuSansMono;
}