Add the actual font (mostly for historical record)

article.php

@@ -25,7 +25,7 @@
 <div id="main">
 <div id="maintext">
 
-<h1>x&middot;x&middot;x</h1>
+<h1 class="logo">x&middot;x&middot;x</h1>
 
 <?
 if (!get_id() && (get_count() > 1))

sidebar.inc.php

@@ -3,7 +3,7 @@
 <div class="logo">
 <?
 // Match files that use the main x.x.x logo
-if (preg_match("#^(/$|/index)#", $_SERVER['REQUEST_URI'])) {
+if (preg_match("#^(/$|/index|/article)#", $_SERVER['REQUEST_URI'])) {
   echo '<a href="/">x&middot;x&middot;x</a>';
 } else {
   echo '<a href="/"><img src="/graphics/xxx-small.png" alt="x&middot;x&middot;x" /></a>';

style.css

@@ -100,6 +100,11 @@ footer#bottom p {
 
 #main .logo {
   text-align: right;
+  font-family: "Teen Bold", "Droid Sans", sans-serif;
+  font-weight: bold;
+  font-size: 95pt;
+  line-height: 0.8;
+  margin: 0;
 }
 
 .box {
@@ -317,6 +322,13 @@ pre {
 }
 
 
+@font-face {
+  font-family: 'Teen Bold';
+  font-style: normal;
+  font-weight: bold;
+  src: url('graphics/teenbold.ttf') format('truetype');
+}
+
 @font-face {
     font-family: 'Genericons';
     src: url('Genericons.eot');