haste-server/static/application.css

150 lines
2.8 KiB
CSS
Raw Normal View History

2011-11-18 23:23:23 +01:00
body {
background: #002B36;
padding: 20px 50px;
2011-11-18 23:23:23 +01:00
margin: 0px;
}
2011-11-19 00:17:49 +01:00
2011-11-28 15:56:06 +01:00
/* textarea */
2011-11-18 23:23:23 +01:00
textarea {
background: transparent;
border: 0px;
color: #fff;
2011-11-19 06:53:38 +01:00
padding: 0px;
2011-11-18 23:23:23 +01:00
width: 100%;
height: 100%;
font-family: monospace;
outline: none;
resize: none;
font-size: 13px;
}
2011-11-19 00:17:49 +01:00
/* the line numbers */
#linenos {
color: #003366;
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;
}
2011-11-28 15:56:06 +01:00
/* code box when locked */
2011-11-18 23:23:23 +01:00
#box {
padding: 0px;
2011-11-21 15:56:33 +01:00
margin: 0px;
2011-11-18 23:23:23 +01:00
width: 100%;
2011-11-21 15:59:14 +01:00
border: 0px;
outline: none;
font-size: 13px;
2011-11-18 23:23:23 +01:00
}
2011-11-19 00:17:49 +01:00
2011-11-18 23:23:23 +01:00
#box code {
2011-11-19 06:53:38 +01:00
padding: 0px;
2011-11-19 00:17:49 +01:00
background: transparent !important; /* don't hide hastebox */
}
2011-11-28 15:56:06 +01:00
/* key */
2011-11-19 00:17:49 +01:00
#key {
2011-11-22 02:52:35 +01:00
position: fixed;
2011-11-23 17:31:50 +01:00
top: 0px;
right: 0px;
z-index: +1000; /* watch out */
}
2011-11-28 15:56:06 +01:00
#box1 {
2011-11-23 17:31:50 +01:00
padding: 5px;
text-align: center;
background: #00222b;
}
2011-11-28 15:56:06 +01:00
#box2 {
2011-11-23 17:31:50 +01:00
background: #08323c;
font-size: 0px;
2011-11-28 15:39:31 +01:00
padding: 0px 5px;
2011-11-23 17:31:50 +01:00
}
2011-11-28 15:56:06 +01:00
#box1 a.logo, #box1 a.logo:visited {
2011-11-23 17:31:50 +01:00
display: inline-block;
background: url(logo.png);
width: 126px;
height: 42px;
}
2011-11-28 15:56:06 +01:00
#box1 a.logo:hover {
2011-11-23 17:31:50 +01:00
background-position: 0 bottom;
}
2011-11-28 15:56:06 +01:00
#box2 .function {
2011-11-23 17:31:50 +01:00
background: url(function-icons.png);
width: 32px;
height: 37px;
display: inline-block;
2011-11-28 15:39:31 +01:00
position: relative;
2011-11-19 00:17:49 +01:00
}
2011-11-28 15:56:06 +01:00
#box2 .link embed {
2011-11-27 21:34:09 +01:00
vertical-align: bottom; /* fix for zeroClipboard style */
}
2011-11-28 15:56:06 +01:00
#box2 .function.enabled:hover {
2011-11-23 17:31:50 +01:00
cursor: hand;
cursor: pointer;
2011-11-18 23:23:23 +01:00
}
2011-11-23 17:31:50 +01:00
2011-11-28 15:39:31 +01:00
#pointer {
display: block;
height: 5px;
width: 10px;
background: url(hover-dropdown-tip.png);
bottom: 0px;
position: absolute;
margin: auto;
left: 0px;
right: 0px;
}
2011-11-28 15:56:06 +01:00
#box3 {
2011-11-23 17:31:50 +01:00
background: #173e48;
font-family: Helvetica, sans-serif;
font-size: 12px;
line-height: 14px;
padding: 10px 15px;
}
2011-11-28 15:56:06 +01:00
#box3 .label {
2011-11-23 17:31:50 +01:00
color: #fff;
font-weight: bold;
}
2011-11-28 15:56:06 +01:00
#box3 .shortcut {
2011-11-23 17:31:50 +01:00
color: #c4dce3;
font-weight: normal;
}
2011-11-28 16:50:33 +01:00
#box2 .function.save { background-position: -5px top; }
#box2 .function.enabled.save { background-position: -5px center; }
#box2 .function.enabled.save:hover { background-position: -5px bottom; }
2011-11-23 17:31:50 +01:00
2011-11-28 16:50:33 +01:00
#box2 .function.new { background-position: -42px top; }
#box2 .function.enabled.new { background-position: -42px center; }
#box2 .function.enabled.new:hover { background-position: -42px bottom; }
2011-11-23 17:31:50 +01:00
2011-11-28 16:50:33 +01:00
#box2 .function.duplicate { background-position: -79px top; }
#box2 .function.enabled.duplicate { background-position: -79px center; }
#box2 .function.enabled.duplicate:hover { background-position: -79px bottom; }
2011-11-23 17:31:50 +01:00
2011-11-28 16:50:33 +01:00
#box2 .function.link { background-position: -116px top; }
#box2 .function.enabled.link { background-position: -116px center; }
#box2 .function.enabled.link:hover { background-position: -116px bottom; }
2011-11-23 17:31:50 +01:00
2011-11-28 16:50:33 +01:00
#box2 .function.twitter { background-position: -153px top; }
#box2 .function.enabled.twitter { background-position: -153px center; }
#box2 .function.enabled.twitter:hover { background-position: -153px bottom; }