linny-r 1.4.2 → 1.4.4

package/static/linny-r.css

@@ -288,6 +288,11 @@ img.blink {
   animation: blink 1s step-start 0s infinite;
 }
 
+#stop-btn.blink {
+  cursor: default;
+  pointer-events: none;
+}
+
 img.mbtn {
   width: 21px;
   height: 21px;
@@ -308,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 {
@@ -361,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 {
@@ -614,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 */
@@ -635,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 {
@@ -1288,11 +1395,11 @@ td.export {
   white-space: nowrap;
 }
 
-#process-pace {
+#process-LCF {
   width: 77px;
 }
 
-#process-pace-x {
+#process-LCF-x {
   margin-bottom: 5px;
 }
 
@@ -1587,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;
@@ -1754,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;
@@ -1778,7 +1897,7 @@ div.menu-item:hover {
   white-space: nowrap;
 }
 
-#ce-x-label {
+#constraint-x-label {
   position: absolute;
   top: 374px;
   left: 45px;
@@ -1786,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;
@@ -1808,7 +1927,7 @@ div.menu-item:hover {
   text-align: center;
 }
 
-#ce-equation {
+#constraint-equation {
   position: absolute;
   top: 393px;
   right: 4px;
@@ -1816,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;
@@ -1832,7 +1951,7 @@ div.menu-item:hover {
   font-weight: 700;
 }
 
-#ce-from-name {
+#constraint-from-name {
   vertical-align: bottom;
 }
 
@@ -1852,7 +1971,7 @@ div.menu-item:hover {
   width: 126px;
 }
 
-#ce-bottom-div {
+#constraint-bottom-div {
   position: absolute;
   bottom: 4px;
   left: 4px;
@@ -1861,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;
 }
@@ -2642,7 +2761,7 @@ td.equation-expression {
   position: absolute;
   top: 113px;
   width: 200px;
-  height: calc(100% - 115px);
+  height: calc(100% - 117px);
   overflow-y: auto;
 }
 
@@ -4269,6 +4388,17 @@ img.finder {
   width: 50%;
 }
 
+/* NOTE: Finder buttons are initially invisible */
+
+#finder-edit-btn {
+  position: absolute;
+  height: 16px;
+  width: 16px;
+  bottom: 1px;
+  right: calc(50% + 24px);
+  display: none;
+}
+
 #finder-copy-btn {
   position: absolute;
   height: 16px;
@@ -4734,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 {
@@ -4745,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 {
@@ -4756,372 +4886,24 @@ div.call-stack-expr {
   padding-bottom: 3px;
 }
 
-/* Linny-R logo icon animation in 60 frames */
-
-#fr00 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.05s;
-}
-
-#fr01 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.1s;
-}
-
-#fr02 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.15s;
-}
-
-#fr03 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.2s;
-}
-
-#fr04 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.25s;
-}
+/* The UPDATING modal notifies that update is in progress */
 
-#fr05 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.3s;
+#updating-dlg {
+  width: 325px;
+  height: 85px;  
 }
 
-#fr06 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.35s;
-}
-
-#fr07 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.4s;
-}
-
-#fr08 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.45s;
-}
-
-#fr09 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.5s;
-}
-
-#fr10 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.55s;
-}
-
-#fr11 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.6s;
-}
-
-#fr12 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.65s;
-}
-
-#fr13 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.7s;
-}
-
-#fr14 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.75s;
-}
-
-#fr15 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.8s;
-}
-
-#fr16 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.85s;
-}
-
-#fr17 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.9s;
-}
-
-#fr18 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 0.95s;
-}
-
-#fr19 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1s;
-}
-
-#fr20 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.05s;
-}
-
-#fr21 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.1s;
-}
-
-#fr22 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.15s;
-}
-
-#fr23 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.2s;
-}
-
-#fr24 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.25s;
-}
-
-#fr25 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.3s;
-}
-
-#fr26 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.35s;
-}
-
-#fr27 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.4s;
-}
-
-#fr28 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.45s;
-}
-
-#fr29 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.5s;
-}
-
-#fr30 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.55s;
-}
-
-#fr31 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.6s;
-}
-
-#fr32 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.65s;
-}
-
-#fr33 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.7s;
-}
-
-#fr34 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.75s;
-}
-
-#fr35 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.8s;
-}
-
-#fr36 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.85s;
-}
-
-#fr37 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.9s;
-}
-
-#fr38 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 1.95s;
-}
-
-#fr39 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2s;
-}
-
-#fr40 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.05s;
-}
-
-#fr41 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.1s;
-}
-
-#fr42 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.15s;
-}
-
-#fr43 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.2s;
-}
-
-#fr44 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.25s;
-}
-
-#fr45 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.3s;
-}
-
-#fr46 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.35s;
-}
-
-#fr47 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.4s;
-}
-
-#fr48 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.45s;
-}
-
-#fr49 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.5s;
-}
-
-#fr50 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.55s;
-}
-
-#fr51 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.6s;
-}
-
-#fr52 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.65s;
-}
-
-#fr53 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.7s;
-}
-
-#fr54 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.75s;
-}
-
-#fr55 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.8s;
-}
-
-#fr56 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.85s;
-}
-
-#fr57 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.9s;
-}
-
-#fr58 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 2.95s;
-}
-
-#fr59 {
-  visibility: hidden;
-  animation: 3s show infinite;
-  animation-delay: 3s;
-}
-
-@keyframes show {
-  0% { visibility: visible;}
-  1.666% { visibility: visible; }
-  1.667% { visibility: hidden; }
-  100% { visibility: hidden; }
+#updating-msg {
+  position: absolute;
+  top: 29px;
+  left: 68px;
+  font-size: 13px;
 }
 
+#updating-icon {
+  position: absolute;
+  top: 26px;
+  left: 7px;
+  width: 60px;
+  height: 60px;
+}