]>
matita.cs.unibo.it Git - helm.git/blobdiff - matitaB/matita/matitaweb.css
margin-left: auto;
margin-right: auto;
height:100%;
- width:300px;
+ width:400px;
float:left;
}
margin-right: auto;*/
height:100%;
width:67%;
- min-width:67%;
- max-width:67%;
+/* min-width:67%;
+ max-width:67%; */
float:left;
}
margin-right: auto;*/
height:100%;
width:33%;
- min-width:33%;
- max-width:33%;
+/* min-width:33%;
+ max-width:33%; */
float:right;
}
overflow: auto;
}
+span.autotactic {
+ color: green;
+ font-weight: bold;
+}
+
+span.autotrace {
+ display:none;
+}
+
span.activegoal {
color: red;
font-weight: bold;