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 *******************************************************************************/
16 background: rgb(248, 248, 248);
18 box-shadow: 2px 2px 7px rgb(156, 156, 156);
20 border: 1px solid #aeaeae;
26 border-radius: 0px 9px 9px 0px;
27 background-image: -ms-linear-gradient(left, #FFFFFF 0%, rgb(237, 242, 247) 100%);
28 background-image: -moz-linear-gradient(left, #FFFFFF 0%, rgb(237, 242, 247) 100%);
29 background-image: -o-linear-gradient(left, #FFFFFF 0%, rgb(237, 242, 247) 100%);
30 background-image: -webkit-gradient(linear, left, right, color-stop(0, #FFFFFF), color-stop(1, rgb(237, 242, 247)));
31 background-image: -webkit-linear-gradient(left, #FFFFFF 0%, rgb(237, 242, 247) 100%);
32 background-image: linear-gradient(to right, #FFFFFF 0%, rgb(237, 242, 247) 100%);
38 /* fix for bootstrap.css, which sets that to "border-box" */
39 box-sizing: content-box;
40 -webkit-box-sizing: content-box;
51 background-color: blue;
54 transform: rotate(270deg);
55 -o-transform: rotate(270deg);
56 -moz-transform: rotate(270deg);
57 -ms-transform: rotate(270deg);
58 -webkit-transform: rotate(270deg);
62 color: rgb(143, 151, 170);
76 border-bottom: 1px solid rgb(200, 214, 228);
82 div.paletteEntry:hover {
83 background: rgb(237, 242, 247);
87 div.paletteEntry > div.iconContainer > img.icon {
93 div.paletteEntry > div.typeContainer {
102 div.paletteEntry > div.typeContainer > div.typeContainerMiddle {
104 vertical-align: middle;
109 div.paletteEntry > div.typeContainer > div.typeContainerMiddle > div.typeContainerInner {