mirror of https://gitee.com/bigwinds/arangodb
124 lines
2.1 KiB
CSS
124 lines
2.1 KiB
CSS
/* REPL SHELL */
|
|
/* REPL SHELL */
|
|
|
|
.shellul {
|
|
border-bottom: 20px solid rgba(0, 0, 0, 0.00);
|
|
padding-bottom: 20px;
|
|
background-color: black;
|
|
}
|
|
|
|
#shell_workspace {
|
|
width: 900px;
|
|
margin-top: 30px;
|
|
margin-left: 20px;
|
|
margin-bottom: -20px;
|
|
height: 500px;
|
|
background-color: black;
|
|
}
|
|
|
|
#editor {
|
|
float:left;
|
|
width: 300px;
|
|
height: 400px;
|
|
background-color:white;
|
|
overflow: hidden;
|
|
border: 1px solid black;
|
|
}
|
|
|
|
.vsplitbar {
|
|
border: 0;
|
|
width: 10px;
|
|
background-color: black;
|
|
border-bottom: 1px solid black;
|
|
border-top: 1px solid black;
|
|
}
|
|
|
|
/* REPL SHELL */
|
|
/* REPL SHELL */
|
|
/* REPL SHELL */
|
|
#replShell {
|
|
float:left;
|
|
min-width: 100px;
|
|
width: 600px;
|
|
background-color: white;
|
|
position: relative;
|
|
height: 400px;
|
|
border-bottom: 2px solid black !important;
|
|
}
|
|
/* The inner console element. */
|
|
.jqconsole {
|
|
background-color: black;
|
|
padding: 10px;
|
|
border-radius: 0;
|
|
}
|
|
.jqconsole-header {
|
|
color: white;
|
|
}
|
|
|
|
.jserror {
|
|
color: #FF0066;
|
|
margin-left: -10px;
|
|
}
|
|
|
|
.jssuccess {
|
|
color: #66FF00;
|
|
}
|
|
|
|
|
|
/* The cursor. */
|
|
.jqconsole-cursor {
|
|
background-color: gray;
|
|
}
|
|
/* The cursor color when the console looses focus. */
|
|
.jqconsole-blurred .jqconsole-header .jqconsole-cursor {
|
|
color: #C4CCCC;
|
|
}
|
|
/* The current prompt text color */
|
|
.jqconsole-prompt {
|
|
color: #BB9911;
|
|
}
|
|
/* The command history */
|
|
.jqconsole-old-prompt {
|
|
color: #FF6600;
|
|
font-weight: normal;
|
|
}
|
|
/* The text color when in input mode. */
|
|
.jqconsole-input {
|
|
color: #dd0;
|
|
}
|
|
/* Previously entered input. */
|
|
.jqconsole-old-input {
|
|
color: #bb0;
|
|
font-weight: normal;
|
|
}
|
|
/* The text color of the output. */
|
|
.jqconsole-output {
|
|
color: white;
|
|
}
|
|
|
|
#editor-run:hover {
|
|
opacity: 0.6;
|
|
}
|
|
|
|
#editor-run {
|
|
cursor: pointer !important;
|
|
position: absolute;
|
|
z-index: 5;
|
|
top: 4px;
|
|
right: 30px;
|
|
width: 20px;
|
|
height: 20px;
|
|
background-color: #8AA051;
|
|
opacity: 0.2;
|
|
padding-left: 6px;
|
|
padding-top: 2px;
|
|
padding-bottom: 2px;
|
|
border: 1px solid black;
|
|
height: 20px !important;
|
|
}
|
|
|
|
.jqconsole-blurred .jqconsole-header, .jqconsole-blurred .jssuccess, .jqconsole-blurred .jserror,
|
|
.jqconsole-blurred .jqconsole-prompt, .jqconsole-blurred .jqconsole-old-prompt{
|
|
opacity: 0.7;
|
|
}
|