res/header.j2



    1 <!DOCTYPE html>
    2 <html>
    3 <head>
    4   <meta name="viewport" content = "user-scalable=no, initial-scale=1.0, maximum-scale=1.0, width=device-width">
    5   <meta charset="UTF-8">
    6   <link rel="stylesheet" type="text/css" href="res/style.css" />
    7   <link rel="stylesheet" type="text/css" href="res/highlight.css" />
    8   <title>oper.io: {{ PAGE_TITLE }}</title>
    9 </head>
   10 <body>
   11 <div id="nav-header">
   12   <div id="nav-header-logo">
   13     <a href="https://oper.io"><img src="/files/oper-logo-sm.png" /></a>
   14   </div>
   15   <div id="nav-header-links">
   16     <ul>
   17       <li><a href="https://oper.io">Home</a></li>
   18       <li><a href="https://oper.io/src">Source Code</a></li>
   19       <li><a href="https://oper.io/?p=about">About</a></li>
   20     </ul>
   21   </div>
   22 </div>
   23 </div>
   24 <div id="body-wrapper">
   25   <div id="body-content">