Eberhard Graether
05ff92fdea
* no outline style for push buttons * show error when not using Sourcetrail.sh script in console instead of message box, which won't load
44 lines
960 B
CSS
44 lines
960 B
CSS
QToolTip {
|
|
background-color: #E0E0E0;
|
|
color: black;
|
|
font-size: <setting:font_size>px;
|
|
}
|
|
|
|
QPushButton {
|
|
outline: none;
|
|
}
|
|
|
|
QMainWindow::separator {
|
|
background: <color:window/separator>;
|
|
width: 1px;
|
|
}
|
|
|
|
QDockWidget {
|
|
color: <color:window/dock/text>;
|
|
font-size: 10pt;
|
|
titlebar-close-icon: url(<setting:gui_path>main/images/close_<color:window/dock/icon_type>.png);
|
|
titlebar-normal-icon: url(<setting:gui_path>main/images/float_<color:window/dock/icon_type>.png);
|
|
}
|
|
|
|
QDockWidget::title {
|
|
border-bottom: 1px solid <color:window/dock/line>;
|
|
background: <color:window/dock/background>;
|
|
text-align: center;
|
|
padding-top: 1px;
|
|
}
|
|
|
|
QDockWidget::close-button, QDockWidget::float-button {
|
|
background: transparent;
|
|
border: <platform_wml:0|0|1>px solid transparent;
|
|
icon-size: 12px;
|
|
margin-top: <platform_wml:0|2|2>px;
|
|
}
|
|
|
|
QDockWidget::close-button {
|
|
margin-left: <platform_wml:0|2|0>px;
|
|
}
|
|
|
|
QDockWidget::float-button {
|
|
margin-right: <platform_wml:0|2|0>px;
|
|
}
|