normalStyle.css   normalStyle.css 
/************************************************************************** **************************************************/ /************************************************************************** **************************************************/
QLabel { QLabel {
color: rgb(3, 3, 3); color: rgb(3, 3, 3);
font-size: 13px; font-size: 13px;
background: none; background: none;
} }
QLabel:disabled {
color: rgb(50, 50, 50);
}
QLabel#stelWindowTitle { QLabel#stelWindowTitle {
margin-left: 24px; margin-left: 24px;
font-size: 14px; font-size: 14px;
color: rgb(194, 194, 195); color: rgb(194, 194, 195);
font: bold; font: bold;
background: none; background: none;
} }
QDockWidget { QDockWidget {
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 86, 87, 90), stop: 1 rgb(48, 49, 52)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 86, 87, 90), stop: 1 rgb(48, 49, 52));
skipping to change at line 128 skipping to change at line 132
DialogFrame { DialogFrame {
border-width: 1px; border-width: 1px;
border-style: solid; border-style: solid;
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);
} }
QLineEdit { QLineEdit {
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;
skipping to change at line 724 skipping to change at line 728
color: rgb(111, 111, 127); color: rgb(111, 111, 127);
font-size: 12px; font-size: 12px;
} }
QProgressBar::chunk { QProgressBar::chunk {
background-color: rgba(68, 68, 109, 50%); background-color: rgba(68, 68, 109, 50%);
width: 10px; width: 10px;
margin: 0.5px; margin: 0.5px;
} }
/************************************** The following are used for VirGO ** /**** The following are used for Satellites ****/
*************************************/ QListWidget#satellitesList, QListWidget#sourceList {
font-size: 8pt;
QMainWindow {
background: rgb(31, 33, 36);
}
QMainWindow::separator {
border: 0px;
}
QMainWindow::separator:hover {
background: rgb(106, 107, 110);
}
QDockWidget {
background-color: rgb(31, 33, 36);
color: rgb(194, 194, 195); /* Dock widget title text color */
font: bold;
border: 0px;
}
QDockWidget::title {
margin-left: 24px;
font-size: 14px;
background: transparent;
}
QTextBrowser#selectedLineInfo {
background-color: rgb(76, 77, 80);
} }
QTreeView { QTreeView {
background-color: rgb(76, 77, 80); background-color: rgb(76, 77, 80);
color: rgb(238, 238, 238); color: rgb(238, 238, 238);
font-size: 12px; font-size: 12px;
}
QListView#listViewVoResources {
background-color: rgb(76, 77, 80);
color: rgb(143, 143, 143);
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 { QTreeView::item:selected#treeView {
background-color: rgb(59, 144, 235); background-color: rgb(59, 144, 235);
color: rgb(255,255,255); color: rgb(255,255,255);
} }
QTreeView::item:!enabled#treeView { QTreeView::item:!enabled#treeView {
color : rgb(58,59,62); color : rgb(58,59,62);
}
QTreeView::branch:has-children:!has-siblings:closed,
QTreeView::branch:closed:has-children:has-siblings {
border-image: none;
image: url(:/graphicGui/spinright.png);
}
QTreeView::branch:open:has-children:!has-siblings,
QTreeView::branch:open:has-children:has-siblings {
border-image: none;
image: url(:/graphicGui/spindown.png);
}
QHeaderView::section {
background-color: rgb(31, 31, 31);
border: 1px solid rgb(76,77,80);
font: bold;
}
QDateEdit {
padding-right: 20px; /* make room for the arrows */
border: 1px solid rgb(0, 0, 0);
color: rgb(31, 31, 31);
font-size: 12px;
padding: 0px;
border-radius: 0px;
}
QDateEdit::up-button {
subcontrol-origin: border;
subcontrol-position: top right; /* position at the top right corner
*/
width: 20px; /* 16 + 2*1px border-width = 15px padding + 3px parent
border */
border: solid 1px rgb(0, 0, 0);
image: url(:/graphicGui/spinup.png);
border-width: 1px;
} }
QDateEdit::down-button { QTextBrowser#selectedLineInfo {
subcontrol-origin: border; background-color: rgb(76, 77, 80);
subcontrol-position: bottom right; /* position at the bottom right c
orner */
width: 20px; /* 16 + 2*1px border-width = 15px padding + 3px parent
border */
border: solid 1px rgb(0, 0, 0);
image: url(:/graphicGui/spindown.png);
border-width: 1px;
}
QMenu {
background-color: rgb(86, 87, 90); /* sets background of the menu */
border: 1px solid rgb(0, 0, 0);
color: rgb(222, 222, 222);
}
QMenu::item {
/* sets background of menu item. set this to something non-transpare
nt
if you want menu color and menu item color to be different */
background-color: rgb(66, 67, 70);
}
QMenu::item:selected { /* when user selects item using mouse or keyboard */
background-color: rgb(101, 99, 33);
}
QMainWindow > QDialog {
background: rgb(48, 49, 52);
} }
QHeaderView::section { QHeaderView::section {
color: rgb(255, 255, 255); background-color: rgb(31, 31, 31);
font-size: 12px; font: bold;
padding-left: 4px; color: rgb(255, 255, 255);
border: 1px solid rgb(108, 108, 108); font-size: 12px;
} padding-left: 4px;
border: 1px solid rgb(108, 108, 108);
QFileDialog {
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;
} }
#configurationDialogForm QPushButton#screenshotBrowseButton, QPushButton#pu shButtonPickExecutablesDirectory { #configurationDialogForm QPushButton#screenshotBrowseButton, QPushButton#pu shButtonPickExecutablesDirectory {
image: url(:/graphicGui/folder.png); image: url(:/graphicGui/folder.png);
} }
#configurationDialogForm QPushButton#getStarsButton { #configurationDialogForm QPushButton#getStarsButton {
image: url(:/graphicGui/btTimeRealtime-off.png); image: url(:/graphicGui/btTimeRealtime-off.png);
} }
QLineEdit#lineEditSearch {
margin: 0px 0px 4px 0px;
padding: 4px;
padding-left: 32px;
background-image: url(:/graphicGui/searchBoxBackground.png);
background-repeat: none;
background-position: center left;
border: none;
}
/**** The following are used for Satellites ****/
QListWidget#satellitesList, QListWidget#sourceList {
font-size: 8pt;
}
 End of changes. 9 change blocks. 
220 lines changed or deleted 22 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/