<!DOCTYPE html>
<html lang="en-US">
<head>
  <link rel="stylesheet" type="text/css" href="./css/menu.css" />
  <link rel="stylesheet" type="text/css" href="./css/style.css" />
  <link href="http://ajax.googleapis.com/ajax/libs/jqueryui/1.8/themes/base/jquery-ui.css" rel="stylesheet" type="text/css"/>
  <script src="./js/jquery-1.7.2.js" type="text/javascript"></script>
  <script src="./js/jquery-ui.min.js" type="text/javascript"></script>
  <script src="./js/format4js.js" type="text/javascript"></script>
  <script src="./js/tools.js" type="text/javascript"></script>
  <script src="./js/dialog.js" type="text/javascript"></script>
  <script src="./js/init.js" type="text/javascript"></script>
  <script src="./js/draw.js" type="text/javascript"></script>
  <script src="./js/event.js" type="text/javascript"></script>
</head>

<body onload="render()">

  <div id="tasuke">

  <?php require './docs/top.html'; ?>
  <?php require './docs/menu.html'; ?>
  <?php require './docs/canvas.html'; ?>
  <?php require './docs/bottom.html'; ?>

  </div>

<!-- Some documents for popup 
  <?php require './docs/dialog.html'; ?>
  <?php require './docs/about.html'; ?>
  <?php require './docs/citation.html'; ?>
-->
</body>

</html>

