Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Branch: master
Fetching contributors…

Cannot retrieve contributors at this time

175 lines (151 sloc) 2.507 kB
.IDE {
margin-top: 5px;
> ul {
margin-bottom: 0;
li:first-child {
margin-left: 5px;
}
}
.drag-handle {
height: 5px;
background: #ccc;
}
.REPL {
.replCol {
width: 32%;
.output {
width: 98%;
}
.input {
width: 100%;
}
margin-right: 1%;
text-align: right;
}
.env, .state {
margin-right: 1%;
width: 32%;
border: 1px solid #ccc;
height: 100%;
}
}
}
.popover-inner { width: 180px; }
.popover-inner h3 { display: none; }
.popover-content { border-radius: 3px; }
.browser {
background: #fefefe;
overflow: hidden;
padding: 10px;
height: 300px;
.packageList, .classList, .slotList {
margin-right: 10px;
float: left;
height: 90%;
.buttons {
margin-bottom: 5px;
.btn { margin-right: 5px;}
}
h2 { line-height: 33px; }
> ul, .tab-content > ul {
min-width: 150px;
margin: 0;
height: 100%;
background: #fff;
list-style-type: none;
padding: 0;
float: left;
width: 100%;
overflow: auto;
overflow-x: none;
li {
cursor: pointer;
margin: 0;
padding: 5px;
padding-left: 1em;
}
li.protocol {
font-weight: bold;
cursor: default;
padding-left: 5px;
}
li.active {
background: #0000ff;
color: #fff;
}
}
}
.packageList, .classList {
> ul {
border: 1px solid #ccc;
margin-right: 10px;
}
}
.classList {
.parentGrouping {
font-weight: bold;
cursor: default;
padding-left: 5px;
}
li {
padding-left: 1em;
}
}
.slotList {
.tabbable {
height: 100%;
}
.tab-content {
background: #fff;
height: 85%;
margin-right: 10px;
border: 1px solid #ccc;
border-bottom: 0;
}
.nav-tabs {
margin-right: 10px;
a { cursor: pointer; }
}
}
pre.output {
border-radius: 0;
float: right;
width: 500px;
margin-left: 10px;
overflow: auto;
margin-bottom: 10px;
}
.slotEditor {
height: 94%;
pre.output.error {
border: 1px solid #ff0000;
}
pre.output.collapsed {
width: 0px;
color: whiteSmoke;
overflow: hidden;
}
.buttons {
margin-bottom: 5px;
.btn { margin-right: 5px;}
}
.CodeMirror-scroll {
//background: #fff;
border: 1px solid #ccc;
}
input.slotName {
border: 1px solid #ccc;
border-radius: 3px;
font-size: 13px;
padding: 4px;
line-height: 18px;
margin-right: 5px;
}
}
z-index: 999;
}
pre.TODO {
background: #fefefe;
border-top: 0;
border-radius: 0;
}
Jump to Line
Something went wrong with that request. Please try again.