index.php 1.33 KB
Newer Older
Camil Staps's avatar
Camil Staps committed
1
<!DOCTYPE html>
Camil Staps's avatar
Camil Staps committed
2
<html lang="en">
Camil Staps's avatar
Camil Staps committed
3 4 5 6
<head>
	<title>Library browser</title>
	<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
	<meta name="viewport" content="width=device-width, initial-scale=1"/>
7
	<meta name="description" content="Cloogle is a search engine for the Clean programming language"/>
Camil Staps's avatar
Camil Staps committed
8
	<meta name="keywords" content="Clean,Clean language,Concurrent Clean,search,functions,search engine,programming language,clean platform,iTasks,cloogle,hoogle"/>
Camil Staps's avatar
Camil Staps committed
9
	<script src="../common.js" defer="defer"></script>
Camil Staps's avatar
Camil Staps committed
10
	<script src="../clean-highlighter/clean.js" defer="defer"></script>
Camil Staps's avatar
Camil Staps committed
11 12
	<script src="../browser.js" defer="defer"></script>
	<script src="view.js" defer="defer"></script>
Camil Staps's avatar
Camil Staps committed
13
	<link rel="stylesheet" href="../common.css" type="text/css"/>
Camil Staps's avatar
Camil Staps committed
14
	<link rel="stylesheet" href="../clean-highlighter/clean.css" type="text/css"/>
Camil Staps's avatar
Camil Staps committed
15 16
	<link rel="stylesheet" href="view.css" type="text/css"/>
</head>
17
<body class="framelike">
Camil Staps's avatar
Camil Staps committed
18
	<div id="sidebar">
19
		<a href="/"><img id="logo" src="../logo.png" alt="Cloogle logo"/></a>
Camil Staps's avatar
Camil Staps committed
20
		<h3>Library browser</h3>
21 22
		<label for="icl"><input id="icl" type="checkbox"/> Show implementation</label><br/>
		<input id="share-button" type="button" value="Share" onclick="shareButtonClick()"/>
Camil Staps's avatar
Camil Staps committed
23 24
		<hr/>
		<?php include_once('lib.php'); ?>
Camil Staps's avatar
Camil Staps committed
25
		<br/>
Camil Staps's avatar
Camil Staps committed
26 27 28 29 30
	</div><div id="viewer">
		<?php include_once('src.php'); ?>
	</div>
</body>
</html>