<html>
-<head>
-</head>
-
+
<head>
<script type="text/javascript" src="matitaweb.js"></script>
+<link rel="stylesheet" type="text/css" href="matitaweb.css"/>
</head>
<body onLoad="initialize();">
<A href="javascript:gotoBottom()"><IMG src="icons/bottom.png"
id="bottom" alt="Bottom" title="Execute the whole script."></A>
<INPUT type="TEXT" id="filename" value=""><INPUT type="BUTTON" value="Open" ONCLICK="openFile()"></p>
+ <INPUT type="BUTTON" value="show dialog" id="showdialog" ONCLICK="showDialog()">
<!-- <INPUT type="BUTTON" value="show sequent" id="showseq" ONCLICK="showSequent()">
<INPUT type="BUTTON" value="hide sequent" id="hideseq" ONCLICK="hideSequent()">
<INPUT type="BUTTON" value="selection test" id="hideseq" ONCLICK="test()"> -->
</td>
</tr>
</table>
+
+<div class="dialog" style="display: none;">
+ <p id="dialogTitle">Title</p>
+ <div class="scroll"></div>
+</div>
</body>
</html>