2017-03-10 04:33:35 +03:00
.repository.file.editor .tab[data-tab="write"] {
2020-08-25 22:48:53 +03:00
padding: 0 !important;
2017-03-10 04:33:35 +03:00
}
2019-05-13 09:26:32 +03:00
2017-03-10 04:33:35 +03:00
.repository.file.editor .tab[data-tab="write"] .editor-toolbar {
2020-08-25 22:48:53 +03:00
border: 0 !important;
2017-03-10 04:33:35 +03:00
}
2019-05-13 09:26:32 +03:00
2017-03-10 04:33:35 +03:00
.repository.file.editor .tab[data-tab="write"] .CodeMirror {
2020-08-25 22:48:53 +03:00
border-left: 0;
border-right: 0;
border-bottom: 0;
2017-03-10 04:33:35 +03:00
}
2020-02-23 07:32:15 +03:00
.editor-toolbar {
2020-08-25 22:48:53 +03:00
opacity: 1 !important;
2020-11-30 00:39:36 +03:00
border-color: var(--color-secondary);
2020-02-23 07:32:15 +03:00
}
2021-12-20 23:07:49 +03:00
.editor-toolbar.fullscreen {
background: var(--color-body);
}
2020-12-04 14:18:37 +03:00
.editor-toolbar button {
border: none !important;
color: var(--color-text-light);
}
2020-11-10 22:16:30 +03:00
.editor-toolbar button:not(:hover) {
2020-08-25 22:48:53 +03:00
background-color: transparent !important;
2020-05-23 14:59:40 +03:00
}
2020-02-23 07:32:15 +03:00
.editor-toolbar i.separator {
2020-08-25 22:48:53 +03:00
border-left: none;
2020-12-04 14:18:37 +03:00
border-right-color: var(--color-secondary);
}
.editor-toolbar button:hover {
background: var(--color-hover);
}
.editor-toolbar button.active {
background: var(--color-active);
2020-02-23 07:32:15 +03:00
}
2020-05-14 19:06:01 +03:00
2021-12-20 23:07:49 +03:00
/* hide preview button, we have the preview tab for this */
.editor-toolbar:not(.fullscreen) .preview {
display: none;
}
/* hide revert button in fullscreen, it breaks the page */
.editor-toolbar.fullscreen .revert-to-textarea {
display: none;
}
.editor-preview {
background-color: var(--color-body);
}
.editor-preview-side {
border-color: var(--color-secondary);
}
2021-05-16 23:18:18 +03:00
.editor-statusbar {
color: var(--color-text-light);
}
2020-05-14 19:06:01 +03:00
.editor-loading {
2020-08-25 22:48:53 +03:00
padding: 1rem;
text-align: center;
2020-05-14 19:06:01 +03:00
}
.edit-diff {
2020-08-25 22:48:53 +03:00
padding: 0 !important;
2020-05-14 19:06:01 +03:00
}
.edit-diff > div > .ui.table {
2020-08-25 22:48:53 +03:00
border-top: none !important;
border-bottom: none !important;
2020-11-01 23:04:26 +03:00
border-left: 1px solid var(--color-secondary) !important;
border-right: 1px solid var(--color-secondary) !important;
2020-05-14 19:06:01 +03:00
}