|
|
@ -3,7 +3,7 @@
|
|
|
|
@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono&display=swap');
|
|
|
|
@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono&display=swap');
|
|
|
|
@font-face {
|
|
|
|
@font-face {
|
|
|
|
font-family: 'Happy Times';
|
|
|
|
font-family: 'Happy Times';
|
|
|
|
src: url('../../dist/fonts/happy-times-NG_regular_master.otf');
|
|
|
|
src: url('../../fonts/happy-times-NG_regular_master.otf');
|
|
|
|
}
|
|
|
|
}
|
|
|
|
* {
|
|
|
|
* {
|
|
|
|
border: 0px black solid;
|
|
|
|
border: 0px black solid;
|
|
|
@ -81,7 +81,7 @@ a {
|
|
|
|
margin-top: 20px;
|
|
|
|
margin-top: 20px;
|
|
|
|
font-size: 15px;
|
|
|
|
font-size: 15px;
|
|
|
|
font-family: 'Roboto Mono', monospace;
|
|
|
|
font-family: 'Roboto Mono', monospace;
|
|
|
|
border: 1px black solid;
|
|
|
|
border: 3px dotted #FA00FF;
|
|
|
|
margin-bottom: 30px;
|
|
|
|
margin-bottom: 30px;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|