1 /*******************************************************************************
2 * Copyright (c) 2012-2013 University of Stuttgart.
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v1.0
5 * and the Apache License 2.0 which both accompany this distribution,
6 * and are available at http://www.eclipse.org/legal/epl-v10.html
7 * and http://www.apache.org/licenses/LICENSE-2.0
10 * Uwe Breitenbücher - initial API and implementation and/or initial documentation
11 * Oliver Kopp - improvements
12 * Yves Schubert - switch to bootstrap 3
13 *******************************************************************************/
15 /* used if elements should be hidden forever. Cannot be undone with $(...).show() */
26 text-overflow: ellipsis;
31 background-color: white;
40 width: 100%; z-index: 200;
41 background-color: white;
51 background-color: white;
54 /* override jquery-ui.css */
57 font-family: Arial, Helvetica, sans-serif;
62 background-color:#f0f0f0;
70 #drawingarea.editview {
71 background: rgb(240, 246, 255);
72 background-image: -ms-linear-gradient(top, #FFFFFF 0%, rgb(243, 243, 243) 100%);
73 background-image: -moz-linear-gradient(top, #FFFFFF 0%, rgb(243, 243, 243) 100%);
74 background-image: -o-linear-gradient(top, #FFFFFF 0%, rgb(243, 243, 243) 100%);
75 background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0, #FFFFFF), color-stop(1, rgb(243, 243, 243)));
76 background-image: -webkit-linear-gradient(top, #FFFFFF 0%, rgb(243, 243, 243) 100%);
77 background-image: linear-gradient(to bottom, #FFFFFF 0%, rgb(243, 243, 243) 100%);
80 #drawingarea.printview {
83 /* currently not used */
85 border: 3px dotted rgb(0, 152, 255);
87 /* IE10 Consumer Preview */
88 background-image: -ms-linear-gradient(top, #FFFFFF 0%, rgb(153, 243, 255) 100%);
91 background-image: -moz-linear-gradient(top, #FFFFFF 0%, rgb(153, 243, 255) 100%);
94 background-image: -o-linear-gradient(top, #FFFFFF 0%, rgb(153, 243, 255) 100%);
96 /* Webkit (Safari/Chrome 10) */
97 background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0, #FFFFFF), color-stop(1, rgb(153, 243, 255)));
99 /* Webkit (Chrome 11+) */
100 background-image: -webkit-linear-gradient(top, #FFFFFF 0%, rgb(153, 243, 255) 100%);
102 /* W3C Markup, IE10 Release Preview */
103 background-image: linear-gradient(to bottom, #FFFFFF 0%, rgb(153, 243, 255) 100%);
107 div.NodeTemplateShape.selected {
108 background: rgb(216, 238, 255);
109 border: 2px solid rgb(255, 127, 26);
112 /* IE10 Consumer Preview */
113 background-image: -ms-linear-gradient(top, #FFFFFF 0%, #FFD391 100%);
115 /* Mozilla Firefox */
116 background-image: -moz-linear-gradient(top, #FFFFFF 0%, #FFD391 100%);
119 background-image: -o-linear-gradient(top, #FFFFFF 0%, #FFD391 100%);
121 /* Webkit (Safari/Chrome 10) */
122 background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0, #FFFFFF), color-stop(1, #FFD391));
124 /* Webkit (Chrome 11+) */
125 background-image: -webkit-linear-gradient(top, #FFFFFF 0%, #FFD391 100%);
127 /* W3C Markup, IE10 Release Preview */
128 background-image: linear-gradient(to bottom, #FFFFFF 0%, #FFD391 100%);
136 .renderMode.ui-draggable {
148 /* overriding dimensions.css to overcome problems with non-standard fonts and breaking cells */
158 overflow-wrap: break-word;
167 border-style: dashed;
170 background-color: cyan;
182 #nodeTemplateInformationSection > label {
183 display: inline-block;
187 .form-horizontal .controls > span {
189 display: inline-block;
192 /* reset editable style */
201 a.editable-click:hover {
206 /* adding a req/cap */
208 div.modal-body > form.addReqForm > div.propertiesContainer {
209 border: 1px solid #aeaeae;
220 div.modal-body > form.addReqForm > div.propertiesContainer > div.header {
221 background: rgb(241, 241, 241);
222 border-bottom: 1px solid #aeaeae;
231 div.modal-body > form.addReqForm > div.propertiesContainer > div.header > a {
236 div.modal-body > form.addReqForm > div.propertiesContainer > div.content > span.namespace {
240 div.modal-body > form.addReqForm > div.propertiesContainer > div.content > span.elementName {
244 div.modal-body > form.addReqForm > div.propertiesContainer > div.content table {
248 div.modal-body > form.addCapForm > div.propertiesContainer {
249 border: 1px solid #aeaeae;
260 div.modal-body > form.addCapForm > div.propertiesContainer > div.header {
261 background: rgb(241, 241, 241);
262 border-bottom: 1px solid #aeaeae;
271 div.modal-body > form.addCapForm > div.propertiesContainer > div.header > a {
276 div.modal-body > form.addCapForm > div.propertiesContainer > div.content > span.namespace {
280 div.modal-body > form.addCapForm > div.propertiesContainer > div.content > span.elementName {
284 div.modal-body > form.addCapForm > div.propertiesContainer > div.content table {