]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: cc57e6f)
Matitaweb: layout change in the matitaweb inteface, in order to allow better
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 9 Sep 2011 13:11:36 +0000 (13:11 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Fri, 9 Sep 2011 13:11:36 +0000 (13:11 +0000)
cross-browser compatibility.

matitaB/matita/index.html patch | blob | history
matitaB/matita/matitaweb.css patch | blob | history

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index cdb2834773853d89c320df91d97bb07c56f3619d..e665bede62fd371ad0471f30a1560e2b4c2e2df6 100644 (file)
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -12,9 +12,11 @@
 
 <body onLoad="initialize();">
 <div id="sandbox" style="visibility:hidden;"></div>
-<table style="table-layout: fixed; width:100%; height:100%; border-spacing: 0px; border-style: none;">
-<tr>
-<td style="padding: 0px; width:67%; border-style: none;">
+
+<div class="matitaapparea">
+
+<div class="toparea">
+<div class="toolbar">
        <textarea id="unescape" style="display:none;"></textarea>
        <p><A href="javascript:advanceForm1()"><IMG src="icons/advance.png" 
                                                     id="advance" alt="Advance" 
@@ -36,11 +38,12 @@
           <INPUT type="BUTTON" value="hide sequent" id="hideseq" ONCLICK="hideSequent()">
           <INPUT type="BUTTON" value="selection test" id="hideseq" ONCLICK="test()"> -->
 
-</td>
-<td style="width:33%; text-align:center;"><img src="icons/matita-text.png"></td>
-</tr>
-<tr id="workarea" style="height:70%;">
-<td id="scriptcell" style="padding: 0px; border-style: none; padding: 0px;">
+</div>
+<div class="caption"><img src="icons/matita-text.png"></div>
+</div>
+
+<div class="workarea" id="workarea">
+<div class="scriptarea" id="scriptcell">
   <!-- the script --> 
   <!-- 
   The two DIVs "locked" and "unlocked" MUST be on the same line (since they are 
@@ -49,20 +52,19 @@
   <div style="width:100%; height:100%; overflow:auto;">
   <pre><div contentEditable="false" id="locked" style="background-color:#bfbfff; display:inline;"></div><div contentEditable="true" id="unlocked" style="display:inline">(* script *)</div></pre></div>
   <!-- the script (end) --> 
-</td>
-<td id="goalcell" style="padding: 0px; width:33%; border-style: none;">
+</div>
+<div class="goalarea" id="goalcell">
   <div id="goals"></div>
   <div contentEditable="true" style="border-style:solid; height:100%; width:100%; overflow:auto;">
   <pre id="goalview"></pre>
   </div>
-</td>
+</div>
 
-<tr style="height:15%">
-<td colspan="2" style="padding: 0px; border-style: none;">
+<div class="bottomarea">
        <textarea id="logarea" style="width:100%; height:100%"></textarea>
-</td>
-</tr>
-</table>
+</div>
+
+</div>
 
 <div class="dialog" id="dialogBox" style="display: none;">
   <div class="diaTitle" id="dialogTitle"></div>
diff --git a/matitaB/matita/matitaweb.css b/matitaB/matita/matitaweb.css
index f39a09ea1177d7d00688e81b14b4a727cbdbe7e3..e11f7a967921e7493bd6b5f38eb7467ce0b826b7 100644 (file)
--- a/matitaB/matita/matitaweb.css
+++ b/matitaB/matita/matitaweb.css
@@ -38,6 +38,74 @@ div.scroll {
        color:black;
 }
 
+div.matitaapparea {
+       display: block;
+       margin-left: auto;
+       margin-right: auto;
+       height:100%; 
+       width:100%; 
+       background-color: white;
+       color:black;
+}
+
+div.toparea {
+       display: block;
+       margin-left: auto;
+       margin-right: auto;
+       height:15%; 
+       width:100%; 
+}
+
+div.bottomarea {
+       display: block;
+       margin-left: auto;
+       margin-right: auto;
+       height:15%; 
+       width:100%; 
+}
+
+div.workarea {
+       display: block;
+       margin-left: auto;
+       margin-right: auto;
+       height:70%; 
+       width:100%; 
+}
+
+div.toolbar {
+       display: inline;
+       margin-left: auto;
+       margin-right: auto;
+       height:100%; 
+       width:67%; 
+}
+
+div.caption {
+       display: inline;
+       margin-left: auto;
+       margin-right: auto;
+       height:100%; 
+       width:33%; 
+       text-align: center;
+}
+
+div.scriptarea {
+       display: inline;
+       margin-left: auto;
+       margin-right: auto;
+       height:100%; 
+       width:67%; 
+}
+
+div.goalarea {
+       display: inline;
+       margin-left: auto;
+       margin-right: auto;
+       height:100%; 
+       width:33%; 
+}
+
+
 h2 {
        border: 0px;
        padding: 1px;
Unnamed repository; edit this file 'description' to name the repository.