<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>[AN] - Server administration</title>
<link rel="stylesheet" type="text/css" media="all" href="/static/codemirror.css">
<link rel="stylesheet" type="text/css" media="all" href="/static/solarized.css">
<link rel="stylesheet" type="text/css" media="all" href="/static/main.css">
<link rel="stylesheet" type="text/css" media="all" href="/static/bulma.min.css">
<script src="/static/jquery.min.js" type="text/javascript"> </script>
<script src="/static/codemirrorepl.min.js" type="text/javascript"></script>
<script src="/static/repl.js" type="text/javascript"></script>
<script src="/static/python.min.js" type="text/javascript"></script>
<script src="/static/skulpt.min.js" type="text/javascript"></script>
<script src="/static/skulpt-stdlib.min.js" type="text/javascript"></script>
<script src="/static/mgt.js" type="text/javascript"></script>
</head>
<body>
<nav class="navbar is-dark" role="navigation" aria-label="main navigation">
<div class="navbar-brand">
<div class="navbar-item">
<img src="/static/logo.png" />
</div>
<div class="navbar-item">
<span id="hd">[AN] - Server administration - python shell</span>
</div>
</div>
</nav>
<textarea id="interactive" cols="85" rows="1"></textarea>
</body>
</html>