-
Notifications
You must be signed in to change notification settings - Fork 102
/
Copy pathframed.html
63 lines (60 loc) · 2.17 KB
/
framed.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
<!doctype html>
<html>
<head>
<title>Pencil Code Editor</title>
<meta charset="utf-8">
<link rel="stylesheet" type="text/css" href="//fonts.googleapis.com/css?family=Lato:400|Source+Code+Pro:400">
<meta name="viewport" content="initial-scale=1,width=device-width">
<style>
* {box-sizing:border-box;}
/* Some CSS overrides for the framed case */
.framed .panetitle {top:0}
.framed .pane {top:0}
</style>
<link rel="stylesheet" type="text/css" href="//<!--#echo var="site"-->/editor.css">
<link rel="stylesheet" type="text/css" href="//<!--#echo var="site"-->/lib/tooltipster/css/tooltipster.css">
<link rel="stylesheet" type="text/css" href="//<!--#echo var="site"-->/lib/droplet.css">
</head>
<body id="pencildoc" class="framed">
<div id="overflow">
<div id="overlay"></div>
<div id="notification"><div><div></div></div></div>
<div id="middle"><div></div></div>
<div id="alphapanebox" class="back panebox">
<div id="alphatitle" class="panetitle">
<span id="alphatitle_text" class="panetitle-text"></span>
</div>
<div id="alpha" class="pane"></div>
</div>
<div id="bravopanebox" class="left panebox" style="width:100%">
<div id="bravotitle" class="panetitle">
<span id="bravotitle_text" class="panetitle-text"></span>
</div>
<div id="bravo" class="pane"
><div class="vcenter"><div class="hcenter"
><div class="loading"></div></div></div></div>
</div>
<div id="charliepanebox" class="right panebox" style="left:100%">
<div id="charlietitle" class="panetitle">
<span id="charlietitle_text" class="panetitle-text"></span>
</div>
<div id="charlie" class="pane"></div>
</div>
</div>
<script>
// First, register an error event logger.
window.addEventListener('error', function(ev) {
(new Image).src = '/log/error' + window.location.pathname + '?error' +
'&message=' + encodeURIComponent(ev.message) +
(!ev.error || !ev.error.stack ? '' :
'&stack=' + encodeURIComponent(ev.error.stack));
});
window.pencilcode = {
domain: location.hostname.replace(/(?:(.*)\.)?([^.]*.{8})$/, '$2'),
owner: location.host.replace(/\.[^.]*.{8}$/, '')
};
</script>
<script src="/lib/ace/ace.js"></script> <!-- local URL for same-origin -->
<script src="//<!--#echo var="site"-->/editor.js"></script></script>
</body>
</html>