normalStyle.css   normalStyle.css 
skipping to change at line 131 skipping to change at line 131
border-color: rgb(8, 31, 37); border-color: rgb(8, 31, 37);
} }
QToolTip { QToolTip {
color: rgb(4, 5, 9); color: rgb(4, 5, 9);
font-size: 13px; font-size: 13px;
padding: 2px; padding: 2px;
background: rgb(143, 143, 143); background: rgb(143, 143, 143);
} }
QTextBrowser { QLineEdit {
background: rgba(0, 0, 0, 0%); border: 1px solid rgb(0, 0, 0);
color: rgb(3, 3, 3); border-radius: 0px;
} padding: 0 8px;
background: rgb(30, 30, 31);
QTextBrowser#helpBrowser,QTextBrowser#aboutBrowser { selection-background-color: rgb(253, 216, 134);
margin-left:11px; color: rgb(170, 173, 164);
font-size: 12px;
} }
QLineEdit { QTextEdit {
border: 1px solid rgb(0, 0, 0); border: 1px solid rgb(0, 0, 0);
border-radius: 0px; border-radius: 0px;
padding: 0 8px; padding: 0 8px;
background: rgb(30, 30, 31); background: rgb(30, 30, 31);
selection-background-color: rgb(253, 216, 134); selection-background-color: rgb(253, 216, 134);
color: rgb(170, 173, 164); color: rgb(170, 173, 164);
font-size: 12px; font-size: 12px;
} }
QTextBrowser {
border: 0px solid rgb(0, 0, 0);
background: rgba(0, 0, 0, 0%);
color: rgb(3, 3, 3);
}
QTextBrowser#helpBrowser,QTextBrowser#aboutBrowser {
margin-left:11px;
}
/***************************************************SearchDialog*********** *********************************************/ /***************************************************SearchDialog*********** *********************************************/
QFrame#horizontalSearchLayout { QFrame#horizontalSearchLayout {
background: none; background: none;
border: none; border: none;
padding: 20px; padding: 20px;
padding-bottom: 0px; padding-bottom: 0px;
} }
QLineEdit#lineEditSearchSkyObject { QLineEdit#lineEditSearchSkyObject {
skipping to change at line 367 skipping to change at line 378
background-color: rgba(149, 150, 152, 20%); background-color: rgba(149, 150, 152, 20%);
border: 1px solid rgba(0, 0, 0, 10%); border: 1px solid rgba(0, 0, 0, 10%);
border-style: inset; border-style: inset;
font-weight: bold; font-weight: bold;
border-radius: 10px; border-radius: 10px;
} }
QGroupBox::title { QGroupBox::title {
subcontrol-position: top left; subcontrol-position: top left;
subcontrol-origin: margin; subcontrol-origin: margin;
color: rgb(0, 0, 0); color: rgb(0, 0, 0);
left: 27px; left: 27px;
top: 20px; top: 20px;
} }
/********************************************TabWidget********************* ********************************/ /********************************************TabWidget********************* ********************************/
QTabWidget { QTabWidget {
background: rgba(0, 0, 0, 0%); background: rgba(0, 0, 0, 0%);
} }
skipping to change at line 397 skipping to change at line 408
} }
QTabBar { QTabBar {
background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb(31, 33, 36), stop: 1 rgb(0, 0, 0)); background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb(31, 33, 36), stop: 1 rgb(0, 0, 0));
} }
QTabBar::tab { QTabBar::tab {
font: bold; font: bold;
background: rgba(0, 0, 0, 0%); background: rgba(0, 0, 0, 0%);
border: 1px solid rgba(0, 0, 0, 0%); border: 1px solid rgba(0, 0, 0, 0%);
border-bottom: 0px; border-top: none;
border-top: 0px; border-bottom: none;
min-width: 10ex; min-width: 10ex;
min-height: 56px; min-height: 56px;
padding: 6px 0px 0px 0px; padding: 1px 5px 1px -3px;
color: rgb(174, 174, 175); color: rgb(174, 174, 175);
font-size: 12px; font-size: 12px;
margin-left: 5px; margin-left: 5px;
margin-right: 5px; margin-right: 5px;
} }
/*QTabWidget::left-corner { /*QTabWidget::left-corner {
}*/ }*/
skipping to change at line 478 skipping to change at line 489
}*/ }*/
QListView#citiesListView { QListView#citiesListView {
font-size: 12px; font-size: 12px;
} }
QListView#citiesListView::item { QListView#citiesListView::item {
padding: 2px 0px; padding: 2px 0px;
} }
QListView#stackListWidget {
font-weight: bold;
}
QListView::item:selected#stackListWidget {
border-top-left-radius: 10px;
border-top-right-radius: 10px;
background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop:
0 rgb(68, 69, 72), stop: 1 rgb(86, 87, 90));
color: rgb(220, 223, 214);
}
QListView::item#stackListWidget {
margin: 0px;
padding-top: 0px;
padding-bottom: 5px;
padding-left: 8px;
padding-right: 8px;
}
QCheckBox { QCheckBox {
background: none; background: none;
} }
QCheckBox::indicator { QCheckBox::indicator {
width: 16px; width: 16px;
height: 16px; height: 16px;
margin: 0px; margin: 0px;
background: none; background: none;
} }
skipping to change at line 562 skipping to change at line 592
}*/ }*/
QSpinBox,QTimeEdit,QDateTimeEdit,QDoubleSpinBox,QComboBox,AngleSpinBox { QSpinBox,QTimeEdit,QDateTimeEdit,QDoubleSpinBox,QComboBox,AngleSpinBox {
padding-right: 0px; padding-right: 0px;
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgba (180, 180, 183, 100%), stop: 1 rgba(93, 95, 98, 100%)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgba (180, 180, 183, 100%), stop: 1 rgba(93, 95, 98, 100%));
border: 1px solid rgb(0, 0, 0); border: 1px solid rgb(0, 0, 0);
color: rgb(31, 31, 31); color: rgb(31, 31, 31);
min-height: 22px; min-height: 22px;
} }
QSpinBox::up-button,QTimeEdit::up-button,QDoubleSpinBox::up-button,AngleSpi nBox::up-button { QSpinBox::up-button,QTimeEdit::up-button,QDoubleSpinBox::up-button,AngleSpi nBox::up-button,QDateTimeEdit::up-button {
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: top right; subcontrol-position: top right;
width: 20px; width: 20px;
border: 1px solid rgba(0, 0, 0, 0%); border: 1px solid rgba(0, 0, 0, 0%);
border-top: 1px solid rgb(0, 0, 0); border-top: 1px solid rgb(0, 0, 0);
border-right: 1px solid rgb(0, 0, 0); border-right: 1px solid rgb(0, 0, 0);
image: url(:/graphicGui/gui/spinup.png); image: url(:/graphicGui/gui/spinup.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 97, 97, 92), stop: 1 rgb(74, 74, 75)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 97, 97, 92), stop: 1 rgb(74, 74, 75));
} }
QSpinBox::down-button,QTimeEdit::down-button,QDoubleSpinBox::down-button,An gleSpinBox::down-button { QSpinBox::down-button,QTimeEdit::down-button,QDoubleSpinBox::down-button,An gleSpinBox::down-button,QDateTimeEdit::down-button {
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: bottom right; subcontrol-position: bottom right;
width: 20px; width: 20px;
border: 1px solid rgba(0, 0, 0, 0%); border: 1px solid rgba(0, 0, 0, 0%);
border-right: 1px solid rgb(0, 0, 0); border-right: 1px solid rgb(0, 0, 0);
border-bottom: 1px solid rgb(0, 0, 0); border-bottom: 1px solid rgb(0, 0, 0);
image: url(:/graphicGui/gui/spindown.png); image: url(:/graphicGui/gui/spindown.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 68, 69), stop: 1 rgb(40, 40, 40)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 68, 69), stop: 1 rgb(40, 40, 40));
} }
QSpinBox::down-button:pressed,QTimeEdit::down-button:pressed,QDoubleSpinBox ::down-button:pressed,AngleSpinBox::down-button:pressed { QSpinBox::down-button:pressed,QTimeEdit::down-button:pressed,QDoubleSpinBox ::down-button:pressed,AngleSpinBox::down-button:pressed {
image: url(:/graphicGui/gui/spindown-pressed.png); image: url(:/graphicGui/gui/spindown-pressed.png);
} }
QSpinBox::up-button:pressed,QTimeEdit::up-button:pressed,QDoubleSpinBox::up -button:pressed,AngleSpinBox::up-button:pressed { QSpinBox::up-button:pressed,QTimeEdit::up-button:pressed,QDoubleSpinBox::up -button:pressed,AngleSpinBox::up-button:pressed {
image: url(:/graphicGui/gui/spinup-pressed.png); image: url(:/graphicGui/gui/spinup-pressed.png);
} }
QComboBox::drop-down, .QDateTimeEdit::drop-down { QComboBox::drop-down, .QDateTimeEdit::drop-down {
subcontrol-origin: padding; subcontrol-origin: padding;
subcontrol-position: center right; subcontrol-position: center right;
width: 20px; width: 20px;
border: none; border: none;
} }
QComboBox::down-arrow, .QDateTimeEdit::down-arrow { QComboBox::down-arrow, .QDateTimeEdit::down-arrow {
skipping to change at line 652 skipping to change at line 682
QMainWindow::separator { QMainWindow::separator {
border: 0px; border: 0px;
} }
QMainWindow::separator:hover { QMainWindow::separator:hover {
background: rgb(106, 107, 110); background: rgb(106, 107, 110);
} }
QDockWidget { QDockWidget {
background-color: qlineargradient(x1:0, y1:0, x2:0, y2:1, stop:0 rgb (41, 47, 50), stop:1 rgb(31, 33, 36)); background-color: rgb(31, 33, 36);
color: rgb(194, 194, 195); /* Dock widget title text color */ color: rgb(194, 194, 195); /* Dock widget title text color */
font: bold; font: bold;
border: 0px; border: 0px;
} }
QDockWidget::title { QDockWidget::title {
margin-left: 24px; margin-left: 24px;
font-size: 14px; font-size: 14px;
background: transparent; background: transparent;
} }
QTextBrowser#selectedLineInfo {
background-color: rgb(76, 77, 80);
}
QTreeView { QTreeView {
background-color: rgb(76, 77, 80); background-color: rgb(76, 77, 80);
alternate-background-color: rgb(76, 80, 87); color: rgb(238, 238, 238);
color: rgb(143, 143, 143);
font-size: 12px; font-size: 12px;
} }
QListView#listViewVoResources { QListView#listViewVoResources {
background-color: rgb(76, 77, 80); background-color: rgb(76, 77, 80);
alternate-background-color: rgb(76, 80, 87);
color: rgb(143, 143, 143); color: rgb(143, 143, 143);
font-size: 12px; font-size: 12px;
} }
QTreeView#mainVoObjectTable {
background-color: rgb(76, 77, 80);
selection-background-color: rgb(253, 216, 134);
alternate-background-color: rgb(94, 96, 101);
}
QTreeView::item:selected#mainVoObjectTable {
background-color: rgb(59, 144, 235);
color: rgb(255,255,255);
}
QTreeView#shoppingBasketTreeView {
background-color: rgb(76, 77, 80);
selection-background-color: rgb(253, 216, 134);
alternate-background-color: rgb(94, 96, 101);
}
QTreeView::item:selected#shoppingBasketTreeView {
background-color: rgb(59, 144, 235);
color: rgb(255,255,255);
}
QTreeView::item:selected#treeView {
background-color: rgb(59, 144, 235);
color: rgb(255,255,255);
}
QTreeView::item:!enabled#treeView {
color : rgb(58,59,62);
}
QHeaderView::section {
background-color: rgb(31, 31, 31);
border: 1px solid rgb(76,77,80);
font: bold;
}
QDateEdit { QDateEdit {
padding-right: 20px; /* make room for the arrows */ padding-right: 20px; /* make room for the arrows */
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 68, 69), stop: 1 rgb(40, 40, 40));
border: 1px solid rgb(0, 0, 0); border: 1px solid rgb(0, 0, 0);
background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb(200, 201, 202), stop: 1 rgb(104, 106, 107));
color: rgb(31, 31, 31); color: rgb(31, 31, 31);
font-size: 12px; font-size: 12px;
padding: 0px; padding: 0px;
border-radius: 0px; border-radius: 0px;
} }
QDateEdit::up-button { QDateEdit::up-button {
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: top right; /* position at the top right corner */ subcontrol-position: top right; /* position at the top right corner */
width: 20px; /* 16 + 2*1px border-width = 15px padding + 3px parent border */ width: 20px; /* 16 + 2*1px border-width = 15px padding + 3px parent border */
border: solid 1px rgb(0, 0, 0); border: solid 1px rgb(0, 0, 0);
image: url(:/graphicGui/gui/spinup.png); image: url(:/graphicGui/gui/spinup.png);
border-width: 1px; border-width: 1px;
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 97, 97, 92), stop: 1 rgb(74, 74, 75));
} }
QDateEdit::down-button { QDateEdit::down-button {
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: bottom right; /* position at the bottom right c orner */ subcontrol-position: bottom right; /* position at the bottom right c orner */
width: 20px; /* 16 + 2*1px border-width = 15px padding + 3px parent border */ width: 20px; /* 16 + 2*1px border-width = 15px padding + 3px parent border */
border: solid 1px rgb(0, 0, 0); border: solid 1px rgb(0, 0, 0);
image: url(:/graphicGui/gui/spindown.png); image: url(:/graphicGui/gui/spindown.png);
border-width: 1px; border-width: 1px;
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 68, 69), stop: 1 rgb(40, 40, 40));
} }
QMenu { QMenu {
background-color: rgb(86, 87, 90); /* sets background of the menu */ background-color: rgb(86, 87, 90); /* sets background of the menu */
border: 1px solid rgb(0, 0, 0); border: 1px solid rgb(0, 0, 0);
color: rgb(222, 222, 222); color: rgb(222, 222, 222);
} }
QMenu::item { QMenu::item {
/* sets background of menu item. set this to something non-transpare nt /* sets background of menu item. set this to something non-transpare nt
skipping to change at line 730 skipping to change at line 797
QMenu::item:selected { /* when user selects item using mouse or keyboard */ QMenu::item:selected { /* when user selects item using mouse or keyboard */
background-color: rgb(101, 99, 33); background-color: rgb(101, 99, 33);
} }
QMainWindow > QDialog { QMainWindow > QDialog {
background: rgb(48, 49, 52); background: rgb(48, 49, 52);
} }
QHeaderView::section { QHeaderView::section {
background-color: qlineargradient(x1:0, y1:0, x2:0, y2:1, stop:0 rgb (97, 97, 97), stop: 0.5 rgb(80, 80, 80),stop: 0.6 rgb(67, 67, 67), stop:1 r gb(101, 101, 101));
color: rgb(255, 255, 255); color: rgb(255, 255, 255);
font-size: 12px; font-size: 12px;
padding-left: 4px; padding-left: 4px;
border: 1px solid rgb(108, 108, 108); border: 1px solid rgb(108, 108, 108);
} }
QFileDialog { QFileDialog {
background: rgb(48, 49, 52); background: rgb(48, 49, 52);
} }
QWidget#sourcesList
{
background: rgb(31, 31, 31);
}
QWidget#fileLoading
{
background-color:transparent;
}
QWidget#fileDownLoading
{
background-color:transparent;
}
QWidget#resourceDescriptionEdition
{
background-color:transparent;
}
QWidget#resourceInformationView
{
background-color:transparent;
}
QWidget#sourceInformationInput
{
background-color:transparent;
}
QWidget#resourceInformationEdition
{
background-color: transparent;
}
QWidget#simbadSearch
{
background-color: transparent;
}
QWidget#viewMode {
background-color: rgb(76, 77, 80);
padding-left: 0px;
}
QWidget#dataSourcesListGroupBox
{
background-color: rgb(31,33,36);
}
QTextEdit#editResourceDescription {
border: 1px solid rgb(0, 0, 0);
border-radius: 0px;
padding: 0px;
background: rgb(30, 30, 31);
selection-background-color: rgb(253, 216, 134);
color: rgb(170, 173, 164);
font-size: 12px;
}
QGroupBox#dataSourcesListGroupBox {
margin-right: 11px;
margin-left: 11px;
margin-top: 11px;
margin-bottom: 11px;
background-color: rgba(149, 150, 152, 30%);
}
QWidget#listManagerWidget {
background-color: rgb(31, 31, 31);
}
QGraphicsWidget#observationListView QLabel {
font-size: 40px;
}
 End of changes. 22 change blocks. 
25 lines changed or deleted 92 lines changed or added

This html diff was produced by rfcdiff 1.41. The latest version is available from http://tools.ietf.org/tools/rfcdiff/