}
h1, #header, .info {
- font-family: 'Underdog', Helvetica;
+ font-family: 'Averia Libre', Helvetica;
}
h1 {
padding: 2px 9px 3px;
font-size: 18px;
border: 1px solid #bebab0;
- font-family: 'Ubuntu Mono', Monospace;
+ font-family: 'Share Tech Mono', Monospace;
}
code {
font-size: 18px;
padding: 1px 3px 1px 3px;
border: 1px solid #bebab0;
- font-family: 'Ubuntu Mono', Monospace;
+ font-family: 'Share Tech Mono', Monospace;
}
math {
}
@font-face {
- font-family: 'Underdog';
+ font-family: 'Averia Libre';
font-style: normal;
font-weight: 400;
- src: local('Underdog'), local('Underdog-Regular'), url(/css/fonts/Underdog.ttf) format('truetype');
+ src: local('Averia Libre Regular'), local('AveriaLibre-Regular'), url(/css/fonts/AveriaLibre.woff) format('woff');
}
@font-face {
- font-family: 'Ubuntu Mono';
+ font-family: 'Share Tech Mono';
font-style: normal;
font-weight: 400;
- src: local('Ubuntu Mono'), local('UbuntuMono-Regular'), url(/css/fonts/UbuntuMono.ttf) format('truetype');
+ src: local('Share Tech Mono'), local('ShareTechMono-Regular'), url(/css/fonts/ShareTechMono.woff) format('woff');
}
@font-face {
<title>The Tar Pit - $title$</title>
<link rel="alternate" type="application/rss+xml" title="RSS" href="/rss.xml" />
<link href='/css/fonts.css' rel='stylesheet' type='text/css' />
- <!-- <link href='http://fonts.googleapis.com/css?family=Ubuntu+Mono' rel='stylesheet' type='text/css' /> -->
<link rel="stylesheet" type="text/css" href="/css/default.css" />
<link rel="stylesheet" type="text/css" href="/css/syntax.css" />
</head>