Using leo_dark theme 0, this is the console output from the
'print-style-sheet' command:
Git repo info: branch = master, commit = 203fc8e10b05
Python 3.6.0, PyQt version 5.8.0
Windows 10 AMD64 (build 10.0.14393) SP0
style sheet for: <leo.plugins.qt_frame.LeoTabbedTopLevel object at
0x0000019624954C18>...
/* ===== From qt-gui-plugin-style-sheet ===== */
/*
@language css
*/
/* ===== active pane highlighting ===== */
QTextEdit#log-widget, LeoQTreeWidget#treeWidget, QTextEdit#richTextEdit {
border-color: white;
border-style: solid;
border-width: 3px;
}
QTextEdit:focus#log-widget, LeoQTreeWidget:focus#treeWidget,
QTextEdit:focus#richTextEdit {
border-color: blue;
}
QTextEdit:hover#log-widget, LeoQTreeWidget:hover#treeWidget,
QTextEdit:hover#richTextEdit {
border-color: @focused-border-hover-color;
}
/* ===== The body pane ===== */
QTextEdit#richTextEdit {
font-family: DejaVu Sans Mono; /* font-family: Courier New; */
font-size: 16pt;
font-weight: normal; /* normal,bold,100,..,900 */
font-style: normal; /* normal,italic,oblique */
background-color: #002b36;
color: #839496; /* bodytextforegroundcolor; */
selection-color: #002b36;
selection-background-color: #b58900;
}
/* ===== bookmarks plugin styling ===== */
#show_bookmarks QPushButton {
margin: 0; padding: 1; border: none;
font-size: 11pt;
color: #839496;
font-weight: regular;
text-decoration: @bookmarks_base_decoration;
}
#show_bookmarks QPushButton[style_class~='bookmark_children'] {
font-size: ignore;
color: #839496;
font-weight: ignore;
text-decoration: underline;
}
#show_bookmarks QPushButton[style_class~='bookmark_expanded'] {
font-size: ignore;
color: #839496;
font-weight: bold;
text-decoration: underline;
}
#show_bookmarks QPushButton[style_class~='bookmark_current'] {
font-size: ignore;
color: #cb4b16;
font-weight: bold;
text-decoration: ignore;
}
/* ===== Buttons ===== */
QPushButton {
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #073642,
stop:0.4 #002b36, stop:0.6 #002b36, stop:0.9 #073642);
color: #839496;
}
QPushButton:hover {
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #657b83,
stop:0.4 #839496, stop:0.6 #839496, stop:0.9 #657b83);
color: #002b36;
}
/* ===== Log panes ===== */
QTextEdit#log-widget {
background-color: #073642; /* solarized dark */
color: #93a1a1; /* solarized dark */
font-family: DejaVu Sans Mono; /* font-family: Courier New; */
font-size: 16pt;
font-style: normal; /* normal, italic,oblique */
font-weight: normal; /* normal,bold,100,..,900 */
selection-background-color: blue;
selection-color: white;
}
/* ===== Menues ===== */
QMenu {
color: #eee8d5;
}
QMenu::item:selected {
color: #002b36;
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #657b83,
stop:0.4 #839496, stop:0.6 #839496, stop:0.9 #657b83);
}
QMenuBar::item {
color: #839496;
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #073642,
stop:0.4 #002b36, stop:0.6 #002b36, stop:0.9 #073642);
}
QMenuBar::item:selected {
color: #002b36;
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #657b83,
stop:0.4 #839496, stop:0.6 #839496, stop:0.9 #657b83);
}
QMenuBar::item:pressed {
color: #eee8d5;
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #073642,
stop:0.4 #002b36, stop:0.6 #002b36, stop:0.9 #073642);
}
/* ===== Mini-buffer ===== */
QLineEdit#lineEdit {
color: #b58900;
background-color: #002b36;
font-family: DejaVu Sans Mono;
font-size: 12px;
font-weight: normal; /* normal,bold,100,..,900 */
font-style: normal; /* normal,italic,oblique */
selection-color: red;
selection-background-color: lightgrey;
}
QLabel#minibufferLabel {
color: #6c71c4;
}
QLineEdit#lineEdit[style_class ~= 'minibuffer_warning'] {
background-color: #073642;
}
QLineEdit#lineEdit[style_class ~= 'minibuffer_error'] {
color: #dc322f;
background-color: #073642;
}
/* ===== Status line ===== */
QLineEdit#status1 {
background-color: #002b36;
border-color: #073642;
border-style: solid;
border-width: 1px;
}
QLineEdit#status2 {
background-color: #002b36;
border-color: #073642;
border-width: 1px;
border-style: solid;
}
/* ===== Scroll bars ===== */
QScrollBar::horizontal {
height: 7px;
}
QScrollBar::vertical {
width: 7px;
}
QScrollBar::add-page, QScrollBar::sub-page {
background: #002b36;
}
QScrollBar::handle {
background: #586e75;
color: #586e75;
}
QScrollBar::handle:hover {
background: #839496;
color: #839496;
}
/* to make these show up, remove the ::handle style above... bug? */
QScrollBar::add-line, QScrollBar::sub-line {
background: #586e75;
color: #586e75;
}
/* ===== Splitters ===== */
QSplitter::handle {
background-color: #586e75;
}
QSplitter::handle:hover {
background-color: #6c71c4;
}
/* ===== Tab bar ===== */
QTabBar::tab {
margin-right: 5px;
padding: 2px;
}
QTabBar::tab {
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #073642,
stop:0.4 #002b36, stop:0.6 #002b36, stop:0.9 #073642);
color: #839496;
margin-right: 5px;
padding: 2px;
}
QTabBar::tab:selected {
color: #859900;
}
QTabBar::tab:hover {
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #657b83,
stop:0.4 #839496, stop:0.6 #839496, stop:0.9 #657b83);
color: #002b36;
}
/* ===== Tree Widgets ===== */
QTreeWidget {
/* These apply to the selected item, but not to editing items.*/
/* font-family: SansSerif; */
font-family: DejaVu Sans Mono;
font-size: 16pt;
font-weight: normal; /* normal,bold,100,..,900 */
font-style: normal; /* normal, italic,oblique */
}
/* Headline edit widgets */
QTreeWidget QLineEdit {
font-family: DejaVu Sans Mono;
font-size: 16pt;
font-weight: normal; /* normal,bold,100,..,900 */
font-style: normal; /* normal, italic,oblique */
}
QTreeView {
/* These apply to the selected item, but not to editing items.*/
background-color: #002b36;
color: #839496;
selection-color: #cb4b16;
selection-background-color: #002b36;
show-decoration-selected: 0;
}
QTreeWidget::selected {
background: #859900; color: #002b36;
}
QTreeWidget::active:selected {
background: #b58900; color: #002b36;
}
QTreeView::item:selected {
background: #859900; color: #002b36;
}
QTreeView::item:active:selected {
background: #b58900; color: #002b36;
}
/* Headline edit widgets */
QTreeView QLineEdit {
color: #002b36;
background-color: #b58900;
selection-color: #fdf6e3;
selection-background-color: #268bd2;
}
/* ===== widgets ===== */
QLabel {
color: #93a1a1;
}
QLineEdit {
border: none;
padding: 3px;
}
QPushButton, QDoubleSpinBox, QSpinBox, QDateEdit, QTimeEdit {
border: none;
margin-right: 5px;
padding: 3px;
}
QWidget {
background-color: #002b36;
border-color: #93a1a1;
color: #93a1a1;
font-size: 16px;
}
QWidget#body-text-renderer {
background-color: white;
color: black;
}
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
