<!--
  This file simply includes all the css and fonts that should go into the
  header of each page.

  It is separate from the rest of the header because the actual header for the
  homepage of the site is different, but we want every page of the site
  (including the homepage) to have the same assets.
-->

<link rel="stylesheet" href="/css/poole.css">
<link rel="stylesheet" href="/css/syntax.css">
<link rel="stylesheet" href="/css/lanyon.css">
<link rel="stylesheet" href="http://fonts.googleapis.com/css?family=PT+Serif:400,400italic,700|PT+Sans:400">

<!--
  This file simply includes all the css and fonts that should go into the
  header of each page.

  It is separate from the rest of the header because the actual header for the
  homepage of the site is different, but we want every page of the site
  (including the homepage) to have the same assets.
-->

<link rel="stylesheet" href="/css/poole.css">
<link rel="stylesheet" href="/css/syntax.css">
<link rel="stylesheet" href="/css/lanyon.css">
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=PT+Serif:400,400italic,700|PT+Sans:400">

Use HTTPS for Google fonts
Use HTTPS for Google fonts