46 lines
1.4 KiB
HTML
46 lines
1.4 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
<meta name="author" content="Felix W. Dekker"/>
|
|
<meta name="application-name" content="FWDekker"/>
|
|
<meta name="description" content="Felix W. Dekker's personal website"/>
|
|
<meta name="theme-color" content="#0033cc"/>
|
|
<meta property="og:url" content="https://fwdekker.com/"/>
|
|
<meta property="og:title" content="FWDekker"/>
|
|
<meta property="og:description" content="Felix W. Dekker's personal website">
|
|
<meta property="og:locale" content="en_GB"/>
|
|
|
|
<title>FWDekker</title>
|
|
|
|
<link href="https://fonts.googleapis.com/css?family=Roboto+Mono:400,700" rel="stylesheet"/>
|
|
<link href="css/main.css" rel="stylesheet"/>
|
|
</head>
|
|
<body>
|
|
<div id="terminal" style="display:none;">
|
|
<div id="terminalOutput">
|
|
|
|
</div>
|
|
<div id="terminalCurrent">
|
|
<div id="terminalCurrentPrefix">
|
|
</div>
|
|
<div id="terminalCurrentFocus">
|
|
<span id="terminalCurrentFocusInput" contenteditable="true" spellcheck="false"></span>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
|
|
|
|
<script>
|
|
if (document.cookie === "") {
|
|
document.getElementById("terminal").style.display = "";
|
|
}
|
|
</script>
|
|
<script src="js/shared.js"></script>
|
|
<script src="js/terminal.js"></script>
|
|
<script src="js/commands.js"></script>
|
|
<script src="js/fs.js"></script>
|
|
</body>
|
|
</html>
|