src/qbe/django_qbe/static/django_qbe/css/wireit.css

   1 /**
   2  * Wires :
   3  */
   4
   5 canvas.WireIt-Wire {
   6    position: absolute;
   7    border: 0;
   8    z-index: 0;
   9 }
  10
  11 canvas.WireIt-Wire-editing {
  12    z-index: 10;
  13 }
  14
  15 div.WireIt-Wire-scissors {
  16    border: 0;
  17    position: absolute;
  18    z-index: 7;
  19    width: 16px;
  20    height: 16px;
  21    background-color: transparent;
  22    background-image: url(../img/cut.png);
  23    cursor: pointer;
  24 }
  25
  26 /**
  27  * Terminals :
  28  */
  29
  30 div.WireIt-Terminal {
  31    width: 30px;
  32    height: 30px;
  33    cursor: pointer;
  34    position: absolute;
  35    background: transparent url(../img/terminals.png) no-repeat scroll 0 0;
  36    z-index: 6;
  37 }
  38
  39 div.WireIt-Terminal-connected {
  40    background-position: 0 -30px;
  41 }
  42
  43 div.WireIt-Terminal-dropinvite {
  44    background-position: 0 -60px;
  45 }
  46
  47 /**
  48  * Containers
  49  */
  50 div.WireIt-Container {
  51    position: absolute;
  52         z-index: 5;
  53         opacity: 0.8;
  54         filter: alpha(opacity = 80);
  55    border: 0; /* Changing this value causes positioning issues */
  56    font-size: 8pt;
  57 }
  58
  59 div.WireIt-Container div.body {
  60    padding: 5px;
  61    /*overflow:auto;*/
  62         border: 2px solid #3366CC;
  63         background-color: #FFFFFF;
  64 }
  65
  66 div.WireIt-Container-ddhandle {
  67    width: 100%;
  68    height: 22px;
  69    background-color: #3366CC;
  70         cursor: move;
  71         -moz-border-radius-topleft: 5px;
  72         -moz-border-radius-topright: 5px;
  73         -webkit-border-top-left-radius: 5px;
  74         -webkit-border-top-right-radius: 5px;
  75         padding-top: 3px;
  76         line-height:150%;
  77         color:white;
  78         font-weight:bold;
  79         text-align:center;
  80         font-size: 10pt;
  81 }
  82 div.WireIt-Container-ddhandle span {
  83    /*margin-right: 32px;*/
  84         text-align:center;
  85 }
  86
  87 img.WireIt-Container-icon {
  88    background: white;
  89    position: absolute;
  90    top: 4px;
  91    left: 4px;
  92    padding: 1px;
  93    border: 1px solid #ccc;
  94 }
  95
  96 div.WireIt-Container-resizehandle {
  97    position: absolute;
  98    bottom: 0;
  99    right: 0;
 100    width: 10px;
 101    height: 10px;
 102    cursor: se-resize;
 103 }
 104
 105 div.WireIt-Container-closebutton {
 106    background-image: url(../img/close.png);
 107    width: 25px;
 108    height: 15px;
 109    position: absolute;
 110    top: 4px;
 111    right: 4px;
 112    cursor: pointer;
 113 }
 114
 115
 116 div.WireIt-Container-focused {
 117    z-index: 6;
 118    opacity: 1;
 119    filter: alpha(opacity = 100);
 120 }
 121
 122 /**
 123  * ImageContainer
 124  */
 125
 126 div.WireIt-ImageContainer div.body {
 127         width: 128px;
 128         height: 60px;
 129         background-color: transparent;
 130         background-repeat: no-repeat;
 131         border: 0;
 132         cursor: move;
 133 }
 134
 135 div.WireIt-ImageContainer div.WireIt-Container-closebutton {
 136         display: none;
 137 }
 138 div.WireIt-ImageContainer:hover div.WireIt-Container-closebutton {
 139         display: block;
 140 }
 141
 142 /**
 143  * InOutContainer
 144  */
 145
 146 div.WireIt-InOutContainer {
 147         width: 150px;
 148 }
 149
 150 div.WireIt-InOutContainer div.body {
 151         padding: 5px 10px;
 152         font-size: 10pt;
 153 }
 154
 155 /**
 156  * Layers
 157  */
 158 div.WireIt-Layer {
 159    border: 0; /* Changing this value causes positioning issues */
 160    overflow: scroll;
 161    margin: auto;
 162    position: relative;
 163         height: 100%;
 164         width: 100%;
 165         background-color: white;
 166 }
 167
 168 canvas.WireIt-LayerMap {
 169    position: absolute;
 170    border: 2px solid #3366CC;
 171    top: 0;
 172    right: 0;
 173 }
 174
 175
 176 /**
 177  *
 178  */
 179 div.WireIt-InputExTerminal div.WireIt-Terminal {
 180    left: -21px;
 181    top: -5px;
 182 }
 183