diff WindowWidget.css @ 0:57bde4830927

first commit
author Zoe Hong <zhong@mpiwg-berlin.mpg.de>
date Tue, 24 Mar 2015 11:37:17 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/WindowWidget.css	Tue Mar 24 11:37:17 2015 +0100
@@ -0,0 +1,43 @@
+.windowWidget{
+        position:fixed;
+        background:#333;
+        padding:5px 10px 10px 10px;
+        left:20px;
+	-webkit-border-radius: 5px;
+	-moz-border-radius: 5px;
+	border-radius: 5px;
+	cursor:move;
+	box-shadow:3px 3px 12px 3px rgba(20%,20%,20%,0.6);	
+}
+.windowWidgetBar{
+        width:inherit;
+        height:20px;
+        margin-bottom:5px;
+	padding:0px;
+}
+.visibilityButton{
+	width:14px;
+	height:14px;
+	font-size:14px;
+	line-height:14px;
+	text-align:center;
+        background:#ffde00;
+	color:#524700;
+	margin-top:3px;
+	display:inline-block;
+	-webkit-border-radius: 7px;
+	-moz-border-radius: 7px;
+	border-radius: 7px;
+	cursor:pointer;
+}
+.title{
+	font-size:18px;
+	line-height:20px;
+	display:inline-block;
+	color:#fff;
+	margin-left:20px;	
+}
+.content{
+	overflow:auto;
+	cursor:initial;
+}