Oddbean new post about | logout
▲ ▼
John Carlos Baez | 1 years ago (raw) | root | parent | reply | flag 
 @7843eb9c -

Yes, it seems to work!  I'll ask @be22abe6 to add it to each of the 77 lectures - he's better at such things than I am!
▲ ▼
Abhay Hegde | 1 years ago (raw) | root | parent | reply | flag 
 @b4c50e1b @be22abe6 Sure, I guess it is only one file that needs editing that contains the header elements. It is such a cool site, thanks for putting it up!
▲ ▼
John Carlos Baez | 1 years ago (raw) | root | parent | reply | flag 
 @7843eb9c - actually it looks like every file contains this:

<head> 
<link rel="stylesheet" type="text/css" href="the_style.css"> 
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Spectral">
<style>
    body {
        font-family: 'Spectral', serif;
        font-size: 16px;
    }

    .center {
        display: block;
        margin-left: auto;
        margin-right: auto;
    }

    </style>
</head>

But Simon can change them.

 @be22abe6