dgbuilder/public/ace/ace-styles.css

   1 #flex-container {
   2     display: flex;
   3     display: -webkit-flex;
   4     flex-direction: row;
   5     position: absolute;
   6     bottom: 0;
   7     width: 100%;
   8     top: 0px !important;
   9     left: 0px;
  10
  11     /* these 3 lines are to prevents an unsightly scrolling bounce affect on Safari */
  12     height: 100%;
  13     width: 100%;
  14     overflow: auto;
  15 }
  16 #flex-container>div {
  17     flex-grow: 1;
  18     -webkit-flex-grow: 1;
  19     position: relative;
  20 }
  21 #flex-container>div#gutter {
  22     flex: 0 0 60px;
  23     -webkit-flex: 0 0 60px;
  24     border-left: 1px solid #999999;
  25     border-right: 1px solid #999999;
  26     background-color: #efefef;
  27     overflow: hidden;
  28 }
  29 #gutter svg {
  30     background-color: #efefef;
  31 }
  32
  33 #editor1 {
  34     position: absolute;
  35     top: 0;
  36     bottom: 0;
  37     width: 100%;
  38 }
  39 #editor2 {
  40     position: absolute;
  41     top: 0;
  42     bottom: 0;
  43     width: 100%;
  44 }
  45 .acediff-diff {
  46     background-color: #d8f2ff;
  47     border-top: 1px solid #a2d7f2;
  48     border-bottom: 1px solid #a2d7f2;
  49     position: absolute;
  50     z-index: 4;
  51 }
  52 .acediff-diff.targetOnly {
  53     height: 0px !important;
  54     border-top: 1px solid #a2d7f2;
  55     border-bottom: 0px;
  56     position: absolute;
  57 }
  58 .acediff-connector {
  59     fill: #d8f2ff;
  60     stroke: #a2d7f2;
  61 }
  62
  63 .acediff-copy-left {
  64     float: right;
  65 }
  66 .acediff-copy-right,
  67 .acediff-copy-left {
  68     position: relative;
  69 }
  70 .acediff-copy-right div {
  71     color: #000000;
  72     text-shadow: 1px 1px #ffffff;
  73     position: absolute;
  74     margin: -3px 2px;
  75     cursor: pointer;
  76 }
  77 .acediff-copy-right div:hover {
  78     color: #004ea0;
  79 }
  80 .acediff-copy-left div {
  81     color: #000000;
  82     text-shadow: 1px 1px #ffffff;
  83     position: absolute;
  84     right: 0px;
  85     margin: -3px 2px;
  86     cursor: pointer;
  87 }
  88 .acediff-copy-left div:hover {
  89     color: #c98100;
  90 }