2012-05-24 18:16:06 +00:00
|
|
|
/* Make the text editor has a nice style */
|
|
|
|
.view {
|
|
|
|
color: #2e3436;
|
2016-05-30 20:07:52 +00:00
|
|
|
font-family: Monospace;
|
2012-05-24 18:16:06 +00:00
|
|
|
background-color: alpha(white, 0.30);
|
|
|
|
}
|
|
|
|
|
|
|
|
.view:selected {
|
|
|
|
color: white;
|
|
|
|
background-color: #4a90d9;
|
|
|
|
}
|
|
|
|
|
2016-02-28 03:39:09 +00:00
|
|
|
scrollbar trough,
|
2012-05-24 18:16:06 +00:00
|
|
|
.scrollbars-junction {
|
|
|
|
background-color: alpha(white, 0.80);
|
|
|
|
}
|
|
|
|
|
2016-02-28 03:39:09 +00:00
|
|
|
scrollbar slider {
|
2012-05-24 18:16:06 +00:00
|
|
|
border-width: 3px;
|
|
|
|
border-style: solid;
|
|
|
|
border-radius: 10px;
|
|
|
|
border-color: transparent;
|
|
|
|
background-clip: padding-box;
|
|
|
|
background-color: #999;
|
|
|
|
}
|
|
|
|
|
2016-02-28 03:39:09 +00:00
|
|
|
scrollbar slider:hover {
|
2012-05-24 18:16:06 +00:00
|
|
|
background-color: #555;
|
|
|
|
}
|
|
|
|
|
2016-02-28 03:39:09 +00:00
|
|
|
paned separator {
|
2012-05-24 18:16:06 +00:00
|
|
|
background-color: alpha(white, 0.80);
|
|
|
|
background-image: linear-gradient(transparent, transparent 1px, #999 1px, #999 4px, transparent 4px);
|
|
|
|
background-size: 40px auto;
|
|
|
|
background-repeat: no-repeat;
|
|
|
|
background-position: center;
|
|
|
|
}
|
|
|
|
|
2016-02-28 03:39:09 +00:00
|
|
|
paned separator:hover {
|
2012-05-24 18:16:06 +00:00
|
|
|
background-image: linear-gradient(transparent, transparent 1px, #555 1px, #555 4px, transparent 4px);
|
|
|
|
}
|