2016-10-13 09:22:23 -04:00
|
|
|
@review-panel-width: 230px;
|
|
|
|
|
2016-10-12 12:27:20 -04:00
|
|
|
#review-panel {
|
|
|
|
position: absolute;
|
2016-10-13 09:22:23 -04:00
|
|
|
width: @review-panel-width;
|
2016-10-12 12:27:20 -04:00
|
|
|
top: 0px;
|
|
|
|
bottom: 0px;
|
|
|
|
right: 0px;
|
|
|
|
background-color: #eee;
|
|
|
|
overflow: hidden;
|
2016-10-13 09:22:23 -04:00
|
|
|
display: none;
|
2016-10-12 12:27:20 -04:00
|
|
|
}
|
|
|
|
|
2016-11-08 11:43:01 -05:00
|
|
|
.review-panel-toolbar {
|
|
|
|
height: 32px;
|
|
|
|
padding: 6px;
|
|
|
|
border-bottom: 1px solid grey;
|
|
|
|
background-color: #eee;
|
|
|
|
text-align: center;
|
|
|
|
position: absolute;
|
|
|
|
top: 0;
|
|
|
|
left: 0;
|
|
|
|
right: 0;
|
|
|
|
z-index: 1;
|
|
|
|
}
|
|
|
|
|
2016-10-12 12:27:20 -04:00
|
|
|
.review-panel-scroller {
|
|
|
|
position: absolute;
|
|
|
|
top: 0;
|
|
|
|
bottom: 0;
|
|
|
|
left: 0;
|
2016-10-13 09:25:46 -04:00
|
|
|
// TODO: Use a more cross-browser method of hiding the scroll bar
|
2016-10-12 12:27:20 -04:00
|
|
|
right: -30px; // Hide scroll bar
|
|
|
|
overflow-y: scroll;
|
|
|
|
}
|
|
|
|
|
|
|
|
.review-entry-list {
|
|
|
|
position: relative;
|
2016-10-13 09:22:23 -04:00
|
|
|
width: @review-panel-width;;
|
2016-10-12 12:27:20 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
.review-entry {
|
|
|
|
position: absolute;
|
|
|
|
font-size: 12px;
|
|
|
|
padding: 2px 6px;
|
|
|
|
border: 1px solid #999;
|
|
|
|
margin: 0 6px;
|
|
|
|
background-color: white;
|
|
|
|
max-width: 148px;
|
|
|
|
word-wrap: break-word;
|
|
|
|
}
|
|
|
|
|
2016-10-13 09:22:23 -04:00
|
|
|
.has-review-panel {
|
|
|
|
#editor {
|
|
|
|
right: @review-panel-width;;
|
|
|
|
left: 0px;
|
|
|
|
width: auto;
|
|
|
|
.ace-editor-body {
|
|
|
|
overflow: visible;
|
|
|
|
.ace_scrollbar-v {
|
|
|
|
right: -@review-panel-width;;
|
|
|
|
}
|
2016-10-12 12:27:20 -04:00
|
|
|
}
|
2016-10-11 09:24:01 -04:00
|
|
|
}
|
2016-10-13 09:22:23 -04:00
|
|
|
#review-panel {
|
|
|
|
display: block;
|
|
|
|
}
|
2016-10-11 09:24:01 -04:00
|
|
|
}
|