1
1
Fork 0
forked from fun/fun

Some web style updates for pre and code tags with some new fonts. No code changes. (0.42.2)

This commit is contained in:
Johannes Findeisen 2026-07-25 16:07:33 +02:00
commit b5864fe4bd
20 changed files with 107 additions and 57 deletions

View file

@ -7,3 +7,38 @@
font-family: "MDI";
src: url("../fonts/materialdesignicons-webfont.woff2") format("woff2");
}
@font-face {
font-family: 'OpenSans-Regular';
src: url('/fonts/OpenSans-Regular.woff') format('woff');
}
@font-face {
font-family: 'MDI';
src: url('/fonts/materialdesignicons-webfont.woff2') format('woff2');
}
.mdi:before,
.mdi-set {
display: inline-block;
font: normal normal normal 24px/1 "MDI";
font-size: inherit;
text-rendering: auto;
line-height: inherit;
-webkit-font-smoothing: antialiased;
-moz-osx-font-smoothing: grayscale;
}
.mdi-hamburger::before {
content: "\F0685";
}
@font-face {
font-family: 'Graph-35-pix';
src: url('/fonts/Graph-35-pix.ttf');
}
@font-face {
font-family: 'CourierPrimeSans';
src: url('/fonts/Courier-Prime-Sans.ttf');
}