mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-28 00:50:33 +00:00
c91e62b74f
There isn't much in it yet, but it's a start. Also needs a patch in WikiEditor, which is forcing some elements to be visible for no apparent reason. Change-Id: I6b57e5c11066a104a89bef3b7c8efd2129a80a8f
53 lines
1 KiB
CSS
53 lines
1 KiB
CSS
.group-codeeditor-tools,
|
|
.codeEditor-ui-toolbar .group-insert,
|
|
.codeEditor-ui-toolbar .group-format,
|
|
.codeEditor-ui-toolbar .tabs span.tab-advanced,
|
|
.codeEditor-ui-toolbar .tabs span.tab-characters,
|
|
.codeEditor-ui-toolbar .tabs span.tab-help,
|
|
.codeEditor-ui-toolbar .sections {
|
|
display: none;
|
|
}
|
|
|
|
.codeEditor-ui-toolbar .group-codeeditor-tools {
|
|
display: block;
|
|
}
|
|
|
|
.codeEditor-status {
|
|
clear: both;
|
|
width: 100%;
|
|
background-color: #F0F0F0;
|
|
border-top: 1px solid silver;
|
|
display: table;
|
|
}
|
|
|
|
.codeEditor-status .codeEditor-status-worker-cell.ace_gutter-cell {
|
|
background-position: 0 center;
|
|
}
|
|
|
|
.codeEditor-status-worker {
|
|
padding: 0 0.3em;
|
|
cursor: pointer;
|
|
display: table-cell;
|
|
*float: left;
|
|
*width: 10em;
|
|
}
|
|
|
|
.codeEditor-status-message {
|
|
border-left: 1px solid silver;
|
|
border-right: 1px solid silver;
|
|
padding: 0 0.3em;
|
|
width: 100%;
|
|
display: table-cell;
|
|
*float: left;
|
|
*width: auto;
|
|
}
|
|
|
|
.codeEditor-status-line {
|
|
padding: 0 0.3em;
|
|
text-align: right;
|
|
white-space: nowrap;
|
|
display: table-cell;
|
|
*float: right;
|
|
*width: 4em;
|
|
}
|