_header.html (1025B)
1 <!DOCTYPE html> 2 <html lang="en" dir="ltr"> 3 <head> 4 <link rel="alternate" type="application/atom+xml" href="/rss.xml"> 5 <link rel="stylesheet" href="/style.css"> 6 <link rel="icon" href="https://git.beauhilton.com/logo.png"> 7 <title id="title">.</title> 8 <script type="text/javascript"> 9 var url = window.location.pathname; // gets the pathname of the file 10 var str = url.substring(url.lastIndexOf('/')+1); // removes everything before the filename 11 str = str.substring(0, str.length - 5); // removes the extension 12 var filename = str.replace(/%20/g, " "); // if the filename has multiple words separated by spaces, browsers do not like that and replace each space with a %20. This replace %20 with a space. 13 var filename = str.replace(/-/g, " "); // replace dashes with spaces 14 document.getElementById("title").innerHTML = filename; 15 </script> 16 </head> 17 <meta charset="utf-8"> 18 <body id="home"> 19 <body class="mw6 w-100 center"> 20 <section id="masthead"> 21 <h1><a href="/index.html" title="memex">memex</a></h1> 22 </section>