You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
107 lines
1.6 KiB
107 lines
1.6 KiB
.repl-container {
|
|
padding: 0 10px;
|
|
}
|
|
|
|
.repl-text {
|
|
cursor: pointer;
|
|
display: inline-block;
|
|
font-family: monospace;
|
|
white-space: pre;
|
|
tab-size: 4;
|
|
-moz-tab-size: 4;
|
|
-o-tab-size: 4;
|
|
word-wrap: break-word;
|
|
}
|
|
.repl-field {
|
|
display: inline-block;
|
|
}
|
|
.repl-error {
|
|
color: #D00;
|
|
}
|
|
.repl-text_line:hover {
|
|
background-color: #E5E5E5;
|
|
}
|
|
|
|
.re-eval_line_button {
|
|
cursor: pointer;
|
|
float: right;
|
|
text-align: center;
|
|
width: 15px;
|
|
color: #808080;
|
|
}
|
|
.erase_line_button {
|
|
cursor: pointer;
|
|
float: right;
|
|
text-align: center;
|
|
width: 15px;
|
|
color: #808080;
|
|
}
|
|
.re-eval_line_button:hover {
|
|
color: #000000;
|
|
}
|
|
.erase_line_button:hover {
|
|
color: #000000;
|
|
}
|
|
|
|
.unselectable {
|
|
-webkit-touch-callout: none;
|
|
-webkit-user-select: none;
|
|
-khtml-user-select: none;
|
|
-moz-user-select: none;
|
|
-ms-user-select: none;
|
|
user-select: none;
|
|
}
|
|
|
|
.pointer_group {
|
|
cursor: pointer;
|
|
display: inline-block;
|
|
width: 25px;
|
|
}
|
|
.pointer {
|
|
font-family: monospace;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.repl-newline {
|
|
font-family: monospace;
|
|
font-weight: bold;
|
|
padding: 2px 10px 15px 10px;
|
|
}
|
|
|
|
.repl-cursor_editor {
|
|
display: inline;
|
|
}
|
|
.repl-text_editor {
|
|
position: absolute;
|
|
padding: 2px 0 0 0;
|
|
min-width: 10px;
|
|
min-height: 100%;
|
|
width: 100%;
|
|
height: 100%;
|
|
border: none;
|
|
resize: none;
|
|
box-shadow: none;
|
|
outline: none;
|
|
background: transparent;
|
|
z-index: 10;
|
|
overflow: hidden;
|
|
}
|
|
|
|
.repl-content_measure {
|
|
position: absolute;
|
|
left: 0;
|
|
top: 0;
|
|
padding-top: 2px;
|
|
padding-right: 1em;
|
|
border: none;
|
|
visibility: hidden;
|
|
overflow: visible;
|
|
}
|
|
|
|
.formula-text {
|
|
font-family: monospace;
|
|
tab-size: 4;
|
|
-moz-tab-size: 4;
|
|
-o-tab-size: 4;
|
|
}
|