haste-server/static/application.css

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

/* textarea */

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

/* the line numbers */

#linenos {
  color: #7d7d7d;
	z-index: -1000;
	position: absolute;
	top: 20px;
	left: 0px;
	width: 30px; /* 30 to get 20 away from box */
	font-size: 13px;
	font-family: monospace;
	text-align: right;
}

/* code box when locked */

#box {
	padding: 0px;
	margin: 0px;
	width: 100%;
	border: 0px;
	outline: none;
	font-size: 13px;
	padding-right: 360px;
	box-sizing: border-box;
}

#box code {
	padding: 0px;
	background: transparent;
}

body,
#box code * {
    -webkit-transition: background-color 0.25s linear, color 0.25s linear;
    -moz-transition: background-color 0.25s linear, color 0.25s linear;
    -o-transition: background-color 0.25s linear, color 0.25s linear;
	transition: background-color 0.25s linear, color 0.25s linear;
}

/* key */

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

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

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

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

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

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

#box2 .link embed {
	vertical-align: bottom; /* fix for zeroClipboard style */
}

#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;
}

#box3 {
	position: relative;
	width: 100%;
	height: 0;
	z-index: 3;
}

#box3 .function-info, #messages li {
	position: absolute;
	left: 0;
	right: 0;
	top: 0;
	background: #173e48;
	font-family: Helvetica, sans-serif;
	font-size: 12px;
	line-height: 14px;
	padding: 10px 15px;
}

#box3 .label, #messages li {
	color: #fff;
	font-weight: bold;
}

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

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

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

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

#box2 .function.raw { background-position: -116px top; }
#box2 .function.enabled.raw { background-position: -116px center; }
#box2 .function.enabled.raw:hover { background-position: -116px bottom; }

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

#box4 {
	height: 37px;
	background-color: #08323c;
	position: relative;
}

#box4 .theme {
	pointer-events: none;
	background: url(function-icons.png);
	background-position: -190px center;
	width: 32px;
	height: 37px;
	display: inline-block;
	position: absolute;
	left: 5px;
	top: 0;
	cursor: pointer;
}

dl.dropdown {
	color: #c4dce3;
	text-decoration: none;
	margin: 0;
	padding: 0;
	font-family: Helvetica, sans-serif;
	font-size: 12px;
}

.dropdown span.selected-theme {
	font-size: 37px;
	line-height: 24px;
	position: absolute;
	left: 12px;
	top: 0;
	display: none;
}

.dropdown li[selected] span.selected-theme {
	display: block;
}

.dropdown dt,
.dropdown li {
	cursor: pointer;
}

.dropdown dd,
.dropdown dt,
.dropdown ul {
	margin: 0px;
	padding: 0px;
}

.dropdown dd {
	position: relative;
}

.dropdown dt span {
	background-color: #08323c;
    display: block;
	width: 100%;
    line-height: 37px;
	height: 37px;
	overflow: hidden;
	display: block;
}

.dropdown dt span,
.dropdown dd ul li > span {
	padding-left: 37px;
	overflow: hidden;
	display: block;
}

.dropdown dd ul li > span {
	padding-top: 5px;
	padding-bottom: 5px;
	position: relative;
}

.dropdown dd ul {
	background-color: #08323c;
	display: none;
    list-style: none;
	padding: 5px 0px;
	position: absolute; 
    left: 0;
	top: 0;
	width: 100%;
	z-index: 1;
}

.dropdown span.value {
	display: none;
}

.dropdown dd ul li > span:hover {
	background-color: #173e48;
}

#messages {
	position:fixed;
	top:0px;
	right:138px;
	margin:0;
	padding:0;
	width:400px;
}

#messages li {
	background:rgba(23,62,72,0.8);
	margin:0 auto;
	list-style:none;
}

#messages li.error {
	background:rgba(102,8,0,0.8);
}