haste-server/static/application.css

body {
	background: #002B36;
	padding: 20px;
	margin: 0px;
}

textarea {
	background: transparent;
	border: 0px;
	color: #fff;
	padding: 0px;
	width: 100%;
	height: 100%;
	font-family: monospace;
	outline: none;
	resize: none;
	font-size: 13px;
}

#box {
	padding: 0px;
	margin: 0px;
	width: 100%;
	height: 100%;
	border: 0px;
	outline: none;
}

#box code {
	padding: 0px;
	background: transparent !important; /* don't hide hastebox */
}

#key {
	position: fixed;
	top: 0px;
	right: 0px;
	z-index: +1000; /* watch out */
}

#key .box1 {
	padding: 5px;
	text-align: center;
	background: #00222b;
}

#key .box2 {
	background: #08323c;
	font-size: 0px;
	padding: 0px 5px;
}

#key .box1 a.logo, #key .box1 a.logo:visited {
	display: inline-block;
	background: url(logo.png);
	width: 126px;
	height: 42px;
}

#key .box1 a.logo:hover {
	background-position: 0 bottom;
}

#key .box2 .function {
	background: url(function-icons.png);
	width: 32px;
	height: 37px;
	display: inline-block;
	position: relative;
}

#key .box2 .function.enabled:hover {
	cursor: hand;
	cursor: pointer;
}

#pointer {
	display: block;
	height: 5px;
	width: 10px;
	background: url(hover-dropdown-tip.png);
	bottom: 0px;
	position: absolute;
	margin: auto;
	left: 0px;
	right: 0px;
}

#key .box3 {
	background: #173e48;
	font-family: Helvetica, sans-serif;
	font-size: 12px;
	line-height: 14px;
	padding: 10px 15px;
}

#key .box3 .label {
	color: #fff;
	font-weight: bold;
}

#key .box3 .shortcut {
	color: #c4dce3;
	font-weight: normal;
}

#key .box2 .function.save { background-position: 0px top; }
#key .box2 .function.enabled.save { background-position: 0px center; }
#key .box2 .function.enabled.save:hover { background-position: 0px bottom; }

#key .box2 .function.new { background-position: -32px top; }
#key .box2 .function.enabled.new { background-position: -32px center; }
#key .box2 .function.enabled.new:hover { background-position: -32px bottom; }

#key .box2 .function.duplicate { background-position: -64px top; }
#key .box2 .function.enabled.duplicate { background-position: -64px center; }
#key .box2 .function.enabled.duplicate:hover { background-position: -64px bottom; }

#key .box2 .function.link { background-position: -96px top; }
#key .box2 .function.enabled.link { background-position: -96px center; }
#key .box2 .function.enabled.link:hover { background-position: -96px bottom; }

#key .box2 .function.twitter { background-position: -128px top; }
#key .box2 .function.enabled.twitter { background-position: -128px center; }
#key .box2 .function.enabled.twitter:hover { background-position: -128px bottom; }