linny-r 1.4.3 → 1.4.5

package/static/linny-r.css

@@ -313,42 +313,59 @@ img.sbtn.senab:hover {
   filter: brightness(150%);
 }
 
-div.eqbtn {
-  background-image: url('images/eq.png');
+/* Bounds button indicates whether LB = UB */
+div.bbtn {
   background-size: contain;
   background-repeat: no-repeat;
   cursor: pointer;
 }
 
-div.eqbtn:hover,
-div.intbtn:hover {
+div.bbtn.eq {
+  background-image: url('images/eq.png');
+}
+
+div.bbtn.eq:hover {
   filter: brightness(120%);
 }
 
-div.nebtn {
+div.bbtn.eq.same-changed {
+  background-image: url('images/eq-same-changed.png');
+}
+
+div.bbtn.eq.same-not-changed {
+  background-image: url('images/eq-same-not-changed.png');
+}
+
+div.bbtn.eq.not-same-changed {
+  background-image: url('images/eq-not-same-changed.png');
+}
+
+div.bbtn.eq.not-same-not-changed {
+  background-image: url('images/eq-not-same-not-changed.png');
+}
+
+div.bbtn.ne {
   background-image: url('images/ne.png');
-  background-size: contain;
-  background-repeat: no-repeat;
-  cursor: pointer;
 }
 
-div.nebtn:hover,
-div.contbtn:hover {
+div.bbtn.ne:hover {
   filter: brightness(110%);
 }
 
-div.intbtn {
-  background-image: url('images/integer-on.png');
-  background-size: contain;
-  background-repeat: no-repeat;
-  cursor: pointer;
+div.bbtn.ne.same-changed {
+  background-image: url('images/ne-same-changed.png');
 }
 
-div.contbtn {
-  background-image: url('images/integer-off.png');
-  background-size: contain;
-  background-repeat: no-repeat;
-  cursor: pointer;
+div.bbtn.ne.same-not-changed {
+  background-image: url('images/ne-same-not-changed.png');
+}
+
+div.bbtn.ne.not-same-changed {
+  background-image: url('images/ne-not-same-changed.png');
+}
+
+div.bbtn.ne.not-same-not-changed {
+  background-image: url('images/ne-not-same-not-changed.png');
 }
 
 input {
@@ -366,7 +383,44 @@ input[type="password"] {
 }
 
 input[type="text"]:disabled {
-    background-color: #f4f0f2;
+  color: gray;
+  background-color: #f4f0f2;
+}
+
+input[type="text"].same-not-changed {
+  color: #5060b0;
+  background-color: #f4f8ff; 
+}
+
+input[type="text"].not-same-not-changed {
+  color: #b06050;
+  background-color: #fff6f4; 
+}
+
+input[type="text"].same-changed {
+  color: #0000e0;
+  background-color: #c0e0ff; 
+}
+
+input[type="text"].not-same-changed {
+  color: #e00000;
+  background-color: #ffd0c0; 
+}
+
+select.same-not-changed {
+  color: #5060b0;
+}
+
+select.not-same-not-changed {
+  color: #b06050;
+}
+
+select.same-changed {
+  color: #0000e0;  
+}
+
+select.not-same-changed {
+  color: #e00000;  
 }
 
 textarea {
@@ -619,6 +673,21 @@ img.inline-cancel-btn:hover {
   filter: brightness(120%);
 }
 
+#actor-group,
+#constraint-group,
+#cluster-group,
+#link-group,
+#process-group,
+#product-group {
+  position: absolute;
+  right: 45px;
+  top: 5px;
+  font-size: 10px;
+  color: #8000a0;
+  background-color: inherit;
+  animation: blink 1s step-start 0s infinite;
+}
+
 /* CHECK BOX styles
    NOTE: separate style names `abox` and `vbox` so that different events can be
    bound dynamically to actor check boxes */
@@ -640,26 +709,59 @@ div.vbox:hover {
   filter: brightness(105%);  
 }
 
+div.crossed {
+  background-size: contain;
+  background-image: url('images/check-x.png');
+}
+
+div.disab {
+  background-size: contain;
+  background-image: url('images/check-disab.png');
+}
+
 div.clear {
   background-size: contain;
   background-image: url('images/check-off.png');
 }
 
+div.clear.same-changed {
+  background-image: url('images/check-off-same-changed.png');
+}
+
+div.clear.same-not-changed {
+  background-image: url('images/check-off-same-not-changed.png');
+}
+
+div.clear.not-same-changed {
+  background-image: url('images/check-off-not-same-changed.png');
+}
+
+div.clear.not-same-not-changed {
+  background-image: url('images/check-off-not-same-not-changed.png');
+}
+
 div.checked {
   background-size: contain;
   background-image: url('images/check-on.png');
 }
 
-div.crossed {
-  background-size: contain;
-  background-image: url('images/check-x.png');
+div.checked.same-changed {
+  background-image: url('images/check-on-same-changed.png');
 }
 
-div.disab {
-  background-size: contain;
-  background-image: url('images/check-disab.png');
+div.checked.same-not-changed {
+  background-image: url('images/check-on-same-not-changed.png');
 }
 
+div.checked.not-same-changed {
+  background-image: url('images/check-on-not-same-changed.png');
+}
+
+div.checked.not-same-not-changed {
+  background-image: url('images/check-on-not-same-not-changed.png');
+}
+
+
 /* NOTE: the name of the focal cluster is displayed to the right of
          the top bar buttons */
 #focal-cluster {
@@ -1293,11 +1395,11 @@ td.export {
   white-space: nowrap;
 }
 
-#process-pace {
+#process-LCF {
   width: 77px;
 }
 
-#process-pace-x {
+#process-LCF-x {
   margin-bottom: 5px;
 }
 
@@ -1592,12 +1694,24 @@ td.export {
   height: min-content;
 }
 
+#link-x-y {
+  display: inline-block;
+  white-space: nowrap;
+  margin-right: 3px;  
+}
+
+#link-arrow-1 {
+  padding: 0 1px;
+}
+
+#link-arrow-2 {
+  padding: 0 2px;
+}
+
 #link-from-name,
 #link-to-name {
   display: inline-block;
-  max-width: 143px;
-  margin-left: 2px;
-  margin-right: 2px;
+  max-width: 135px;
   white-space: nowrap;
   overflow: hidden;
   text-overflow: ellipsis;
@@ -1759,18 +1873,18 @@ div.menu-item:hover {
   height: 436px;
 }
 
-#ce-button-bar {
+#constraint-button-bar {
   margin-top: 1px;
   margin-left: 2px;
 }
 
-#ce-container {
+#constraint-container {
   position: absolute;
   top: 45px;
   left: 20px;
 }
 
-#ce-y-label {
+#constraint-y-label {
   position: absolute;
   bottom: 75px;
   left: 8px;
@@ -1783,7 +1897,7 @@ div.menu-item:hover {
   white-space: nowrap;
 }
 
-#ce-x-label {
+#constraint-x-label {
   position: absolute;
   top: 374px;
   left: 45px;
@@ -1791,21 +1905,21 @@ div.menu-item:hover {
   text-align: center;
 }
 
-#ce-pos-x {
+#constraint-pos-x {
   position: absolute;
   top: 393px;
   left: 4px;
   width: 54px;
 }
 
-#ce-pos-y {
+#constraint-pos-y {
   position: absolute;
   top: 393px;
   left: 55px;
   width: 54px;  
 }
 
-#ce-point {
+#constraint-point {
   position: absolute;
   top: 393px;
   left: 160px;
@@ -1813,7 +1927,7 @@ div.menu-item:hover {
   text-align: center;
 }
 
-#ce-equation {
+#constraint-equation {
   position: absolute;
   top: 393px;
   right: 4px;
@@ -1821,14 +1935,14 @@ div.menu-item:hover {
   text-align: right;
 }
 
-#ce {
+#constraint {
   width: 330px;
   height: 320px;
   transform-origin: top left;
 }
 
-#ce-from-name,
-#ce-to-name {
+#constraint-from-name,
+#constraint-to-name {
   display: inline-block;
   max-width: 190px;
   white-space: nowrap;
@@ -1837,7 +1951,7 @@ div.menu-item:hover {
   font-weight: 700;
 }
 
-#ce-from-name {
+#constraint-from-name {
   vertical-align: bottom;
 }
 
@@ -1857,7 +1971,7 @@ div.menu-item:hover {
   width: 126px;
 }
 
-#ce-bottom-div {
+#constraint-bottom-div {
   position: absolute;
   bottom: 4px;
   left: 4px;
@@ -1866,31 +1980,31 @@ div.menu-item:hover {
   border-top: 1px solid silver;
 }
 
-#ce-no-slack-div {
+#constraint-no-slack-div {
   position: absolute;
   left: -2px;
   bottom: -1px;
   width: 100px;
 }
 
-#ce-no-slack-lbl {
+#constraint-no-slack-lbl {
   display: inline-block;
   vertical-align: top;
   padding-top: 4px;
 }
 
-#ce-soc-direct {
+#constraint-soc-direct {
   height: 19px;
   font-size: 12px;
 }
 
-#ce-share-of-cost {
+#constraint-share-of-cost {
   width: 45px;
   max-height: 18px;
   margin: 3px 1px 0 3px;
 }
 
-#ce-soc {
+#constraint-soc {
   position: absolute;
   right: 0px;
 }
@@ -2647,7 +2761,7 @@ td.equation-expression {
   position: absolute;
   top: 113px;
   width: 200px;
-  height: calc(100% - 115px);
+  height: calc(100% - 117px);
   overflow-y: auto;
 }
 
@@ -4750,7 +4864,7 @@ div.call-stack-expr {
   overflow: auto;
 }
 
-#confirm-move-buttons,
+#move-buttons,
 #confirm-load-from-repo-buttons,
 #confirm-delete-from-repo-buttons,
 #check-update-buttons {
@@ -4761,7 +4875,7 @@ div.call-stack-expr {
   white-space: nowrap;
 }
 
-#confirm-move-buttons > img,
+#move-buttons > img,
 #confirm-load-from-repo-buttons > img,
 #confirm-delete-from-repo-buttons > img,
 #check-update-buttons > img {