Commit dc16d404 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Why3JS: get rid of "column-view" variant

parent c4af45d7
......@@ -106,14 +106,8 @@ body {
#why3-main-panel {
display:flex;
align-items:stretch;
}
#why3-main-panel.why3-wide-view {
flex-direction:row;
}
#why3-main-panel.why3-column-view {
flex-direction:column;
}
#why3-main-panel > * {
flex-grow: 1;
......@@ -126,16 +120,13 @@ body {
}
#why3-main-panel.why3-wide-view #why3-resize-bar:hover {
#why3-main-panel #why3-resize-bar:hover {
cursor: ew-resize;
opacity:0.5;
border-style:solid;
border-width: 2pt;
box-sizing:border-box;
}
#why3-main-panel.why3-column-view #why3-resize-bar:hover {
cursor: ns-resize;
}
/*** MAIN EDITOR ***/
......
......@@ -88,7 +88,7 @@
</div>
<div id="why3-main-panel" class="why3-wide-view">
<div id="why3-main-panel">
<div id="why3-task-list-container" class="why3-container">
<div id="why3-task-list" class="why3-widget">
......@@ -132,7 +132,7 @@
<!-- TODO remove useless attribute inside why3-form -->
<!-- TODO saisie -->
<div id="why3-form-cont" class="why3-wide-view">
<div id="why3-form-cont">
<form id="why3-form" method="get"
enctype="plain/text"
action="http://localho" target="form-answer">
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment