?>
">
<meta name="author" content="Norbert Haider, University of Vienna">
<script src="../js/jquery-1.10.2.js"></script>
<script src="../js/jquery-ui-1.10.4.min.js"></script>
<script src="../js/bootstrap.min.js"></script>
<link href="../css/bootstrap.css" rel="stylesheet">
<link href="../css/font-awesome.min.css" rel="stylesheet">
<link href="../css/jquery-ui-1.10.4.min.css" rel="stylesheet">
<title><?php
echo "{$sitename} (administration page)";
?>
</title>
<?php
insert_style("../{$cssfilename}");
if ($editor == "jme") {
echo "<script type=\"text/javascript\" language=\"javascript\" src=\"{$jme_path}/jme.nocache.js\"></script>\n";
}
?>
</head>
<body>
<div class="container">
<div class="row">
<div class="col-md-12 col-xm-12">
<?php
show_header($myname, $dbstr);
?>
</div>
</div>
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=<?php
echo "{$html_charset}";
?>
">
<meta http-equiv="imagetoolbar" content="no">
<meta name="author" content="Norbert Haider, University of Vienna">
<title><?php
echo "{$sitename}";
?>
: FlaME input</title>
<?php
insert_style($cssfilename);
?>
<script language="javascript" type="text/javascript">
function sendmol() {
var moltext = getFRxn();
if (moltext.length < 120) {
alert("Nothing to submit!");
}
else {
opener.putmoltext(moltext);
window.close();
}
}
