replaced mono with dos font

This commit is contained in:
2023-03-08 03:54:23 +00:00
parent 2baf544a31
commit 8014d06261
6 changed files with 610 additions and 37 deletions

View File

@@ -6,6 +6,16 @@ $footer-chrome: #2f6564;
$window-chrome-active: black;
$window-text: white;
@font-face {
font-family: 'Perfect-DOS-VGA-437';
src:url('../fonts/Perfect-DOS-VGA-437.ttf.woff') format('woff'),
url('../fonts/Perfect-DOS-VGA-437.ttf.svg#Perfect-DOS-VGA-437') format('svg'),
url('../fonts/Perfect-DOS-VGA-437.ttf.eot'),
url('../fonts/Perfect-DOS-VGA-437.ttf.eot?#iefix') format('embedded-opentype');
font-weight: normal;
font-style: normal;
}
@mixin window-chrome {
border: 4px solid $window-chrome;
border-top-width: 2.6rem;
@@ -95,13 +105,13 @@ article {
z-index: 120 !important;
}
pre {
font-family: 'Noto Sans Mono', monospace;
font-family: 'Perfect-DOS-VGA-437', monospace;
background-color: #1b2c28;
background-image: url(../images/scanlines.gif);
background-size: cover;
//background-image: url(../images/scanlines.gif);
//background-size: cover;
color: #86dbb5;
font-size: 1rem;
line-height: 1.1em;
line-height: 1em;
}
}