38 lines
571 B
CSS
38 lines
571 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;
|
|
}
|
|
|
|
body {
|
|
text-align: center;
|
|
font-family: DejaVuSansMono;
|
|
font-size: 16px;
|
|
}
|
|
|
|
h4 {
|
|
text-align: left;
|
|
margin: auto;
|
|
width: 720px;
|
|
}
|
|
|
|
p {
|
|
text-align: left;
|
|
margin: auto;
|
|
width: 720px;
|
|
line-height: 24px;
|
|
margin-top: 2em;
|
|
margin-bottom: 2em;
|
|
}
|
|
|
|
pre {
|
|
font-family: DejaVuSansMono;
|
|
}
|