pkg/nnbd_migration/lib/src/front_end/resources/migration.css

/* Copyright (c) 2019, the Dart project authors. Please see the AUTHORS file  */
/* for details. All rights reserved. Use of this source code is governed by a */
/* BSD-style license that can be found in the LICENSE file.                   */

body {
  background-color: #12202f;
  color: #ccc;
  font-family: "Roboto", sans-serif;
  font-size: 14px;
  display: flex;
  flex-direction: column;
  position: absolute;
  top: 0;
  right: 0;
  bottom: 0;
  left: 0;
  margin: 0;
  padding: 0;
  overflow: hidden;
}

.proposed .after-apply {
  display: none;
}

.applied .before-apply {
  display: none;
}

.applied .apply-migration:not([disabled]), .needs-rerun .apply-migration:not([disabled]) {
  display: none;
}

.proposed:not(.needs-rerun) .apply-migration[disabled] {
  display: none;
}

header {
  background-color: #1c2834;
  height: 48px;
  padding-left: 24px;
  align-items: center;
  z-index: 4;
}

header h1,
header h2 {
  display: inline-block;
  font-family: "Google Sans","Roboto",sans-serif;
  font-weight: 400;
  margin-right: 24px;
}

h1 {
  font-size: 1.5em;
}

header h2 {
  font-size: 1.2em;
}

header .apply-migration, .rerun-migration {
  right: 0px;
  float: right;
  margin: 10px;
}

footer .report-problem {
  right: 0px;
  margin: 4px 8px;
}

.rerun-migration .required {
  display: none;
}

.needs-rerun .rerun-migration .required {
  display: initial;
}

.needs-rerun .rerun-migration .optional {
  display:none;
}

/* Red triangle */
.rerun-migration .required .icon::before {
  transform: translate(-8px, -11px);
  content: '\25B3';
  font-size: 25px;
  position: fixed;
  color: #e82c2c;
  text-shadow: 0px 0px 5px white;
  z-index: -3;
}

/* Red triangle fill */
.rerun-migration .required .icon::after {
  transform: translate(-9px, -10px);
  content: '\25B4';
  font-size: 25px;
  position: fixed;
  color: #b3ecff;
  z-index: -1;
}

/* Red triangle exclamation */
.rerun-migration .required .icon {
  display: inline-block;
  margin-right: 8px;
  transform: translate(0px, 2px);
  margin-left: 2px;
  color: #2b2b2b;
}

footer {
  color: #ccc;
  background-color: #27323a;
  display: flex;
  flex-direction: row;
  align-items: center;
  padding: 8px 0 8px 24px;
}

footer .wide {
  flex: 1;
}

.horizontal {
  display: flex;
}

.panels {
  background-color: #121a25;
  flex: 1;
  overflow: hidden;
}

.panel-heading {
  color: gray;
  margin: 8px;
}

.nav-link,
.region {
  cursor: pointer;
}

.nav-panel {
  background-color: #282b2e;
  flex: 1 200px;
  margin: 0;
  overflow: scroll;
}

.nav-inner {
  padding: 0 0 7px 7px;
}

.fixed {
  position: fixed;
  top: 0;
}

.root {
  margin: 0;
  display: none;
}

.nav-tree > ul {
  padding-left: 6px;
}

.nav-inner ul {
  padding-left: 12px;
  margin: 0;
}

.nav-inner li {
  list-style-type: none;
}

.nav-inner li:not(.dir) {
  margin-left: 20px;
  margin-bottom: 3px;
}

.nav-inner li.dir .arrow {
  cursor: pointer;
  display: inline-block;
  font-size: 10px;
  margin-right: 4px;
  transition: transform 0.5s ease-out;
}

.nav-inner li.dir .arrow.collapsed {
  transform: rotate(-90deg);
}

.nav-inner ul {
  max-height: 2000px;
  transition: max-height 0.5s ease-out;
}

.nav-inner ul.collapsed {
  max-height: 0 !important;
  overflow: hidden;
}

.nav-inner .selected-file {
  color: white;
  cursor: inherit;
  font-weight: 600;
  text-decoration: none;
}

.edit-count {
  background-color: #37aedc;
  border-radius: 10px;
  color: #000000;
  display: inline-block;
  font-size: 11px;
  font-weight: 600;
  margin-left: 5px;
  min-width: 25px;
  padding: 4px 0 2px 0;
  text-align: center;
  line-height: 1em;
}

.content {
  flex: 4 300px;
  background: #282b2e;
  font-family: monospace;
  margin: 0 6px;
  position: relative;
  white-space: pre;
  overflow: scroll;
}

.code {
  padding: 0.5em;
  position: absolute;
  left: 0;
  top: 0;
  margin-left: 56px;
}

.hljs {
  background-color: #282b2e;
  display: block;
  overflow-x: auto;
  padding: 0.5em;
}

.code .welcome {
  font-family: "Google Sans","Roboto",sans-serif;
  font-size: 18px;
  margin-right: 62px;
  color: #777;
}

.code .nav-link {
  color: inherit;
  text-decoration-line: none;
}

.code .nav-link:visited {
  color: inherit;
  text-decoration-line: none;
}

.code .nav-link:hover {
  text-decoration-line: underline;
  font-weight: 600;
}

.regions {
  padding: 0.5em;
  position: absolute;
  left: 0;
  top: 0;
}

.regions table {
  border-spacing: 0;
  font-size: inherit;
}

.regions td {
  border: none;
  /* The content of the regions is not visible; the user instead will see the
   * highlighted copy of the content. */
  color: rgba(255, 255, 255, 0);
  padding: 0;
  white-space: pre;
}

.regions td:empty:after {
  content: "\00a0";
}

.regions tr.highlight td:last-child {
  background-color: #444444;
  color: white;
}

.regions td.line-no {
  border-right: solid #282b2e 2px;
  color: #999999;
  padding-right: 4px;
  text-align: right;
  visibility: visible;
  width: 50px;
  display: inline-block;
}

.regions tr.highlight td.line-no {
  border-right: solid #ccc 2px;
}

.region {
  display: inline-block;
  position: relative;
  visibility: visible;
  z-index: 200;
}

.region.added-region {
  background-color: #ccffcc;
  color: #003300;
}

.region.removed-region {
  background-color: #ff6666;
  color: #001100;
}

.region.informative-region {
  background-color: #888888;
  color: #000000;
}

.target {
  background-color: #444;
  position: relative;
  visibility: visible;
  font-weight: 600;
}

.info-panel {
  flex: 1 200px;
  margin: 0;
  height: 100%;
  display: flex;
  flex-direction: column;
}

.info-panel .edit-panel {
  background-color: #282b2e;
  overflow: auto;
}

.info-panel .panel-content {
  padding: 7px;
}

.info-panel .panel-content> :first-child {
  margin-top: 0;
}

.info-panel .nowrap {
  white-space: nowrap;
}

.info-panel ul,
.info-panel ol {
  padding-left: 20px;
}

.info-panel li {
  margin: 0 0 5px 0;
}

.info-panel a {
  color: #33ccff;
}

.info-panel .edit-list {
  background-color: #282b2e;
  overflow: auto;
}

.edit-panel {
  margin-top: 6px;
  flex: 1 100px;
}

.edit-list {
  flex: 2 100px;
}

.edit-list .edit {
  margin: 3px 0;
}

.edit-list .edit-link {
  cursor: pointer;
}

.popup-pane {
  display: none;
  position: fixed;
  top: 150px;
  left: 150px;
  right: 150px;
  bottom: 150px;
  border: 1px solid black;
  border-top: 2px solid black;
  border-radius: 7px;
  box-shadow: 0px 0px 20px 2px #b4bfcb22;
  z-index: 1;
  background: #2b3036;
  padding: 20px;
}

.popup-pane .close {
  position: absolute;
  right: 10px;
  top: 10px;
  cursor: pointer;
  text-shadow: 1px 1px 2px #888;
  box-shadow: 1px 1px 2px #111;
}

.popup-pane h2 {
  padding: 21px;
  height: 10%;
  margin: 0px;
  box-sizing: border-box;
}

.popup-pane p {
  height: 10%;
  box-sizing: border-box;
  padding: 0px 20px;
}

.popup-pane pre {
  background: #282b2e;
  padding: 20px;
  bottom: 0px;
  overflow: auto scroll;
  height: 65%;
  margin: 0px;
  box-sizing: border-box;
}

.popup-pane .button.bottom {
  margin: 20px 0px;
  display: block;
  text-align: center;
}

.rerunning-pane {
  display: none;
}

body.rerunning .rerunning-pane {
  display: block;
  position: fixed;
  top: 0px;
  bottom: 0px;
  left: 0px;
  right: 0px;
  background-color: #000000AA; /* translucent black */
  z-index: 400;
}

.rerunning-pane h1 {
  position: absolute;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
}

p.trace .type-description {
  /* From HLJS's .hljs-keyword, .hljs-selector-tag, .hljs-deletion */
  color: #cc7832;
  font-family: monospace;
}

ul.trace {
  font-size: 13px;
  list-style-type: none;
  padding-left: 0px;
}

ul.trace li {
  color: white;
  margin-left: 14px;
  text-indent: -14px;
}

ul.trace li .function {
  /* From HLJS's .hljs-section, .hljs-title, .hljs-type */
  color: #ffc66d;
  font-family: monospace;
  font-weight: 600;
}

.elevation-z4 {
  box-shadow: 0px 2px 4px -1px rgba(0, 0, 0, 0.2),
      0px 4px 5px 0px rgba(0, 0, 0, 0.14),
      0px 1px 10px 0px rgba(0, 0, 0, .12);
}

a {
  color: #ccc;
  fill: #ccc;
  text-decoration: none;
}

a:hover {
  color: #fff;
  fill: #fff;
}

.add-hint-link {
  display: inline-block;
  margin: 3px;
}

button, a.button {
  background-color: #33ccff;
  border: 2px solid #37aedc;
  border-radius: 3px;
  padding: 6px 10px;
  font-weight: bold;
  color: #282828;
}

button:hover, .button:hover {
  background-color: #80dfff;
  border: 2px solid #52b8e0;
  cursor: pointer;
}

button[disabled] {
  background-color: #7aa8b8;
  color: #507177;
  border: 2px solid #507177;
  cursor: not-allowed;
}

.placeholder {
  color: #777;
  text-align: center;
  margin-top: 3em !important;
}

/**
 * HLJS Overrides
 */
.hljs {
  /**
   * This allows the per-line highlights to show.
   */
  background: none;
}