nightStyle.css   nightStyle.css 
skipping to change at line 93 skipping to change at line 93
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: top center; subcontrol-position: top center;
margin: 0; margin: 0;
width: 32px; width: 32px;
border: none; border: none;
background: none; background: none;
image: none; image: none;
} }
#dateTimeDialogForm QSpinBox::up-arrow { #dateTimeDialogForm QSpinBox::up-arrow {
image: url(:/graphicGui/gui/nv_spinup.png); image: url(:/graphicGui/nv_spinup.png);
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: bottom center; subcontrol-position: bottom center;
padding-bottom: 20px; padding-bottom: 20px;
} }
#dateTimeDialogForm QSpinBox::down-button { #dateTimeDialogForm QSpinBox::down-button {
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: bottom center; subcontrol-position: bottom center;
margin: 0; margin: 0;
border: none; border: none;
width: 32px; width: 32px;
background: none; background: none;
image: none; image: none;
} }
#dateTimeDialogForm QSpinBox::down-arrow { #dateTimeDialogForm QSpinBox::down-arrow {
image: url(:/graphicGui/gui/nv_spindown.png); image: url(:/graphicGui/nv_spindown.png);
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: top center; subcontrol-position: top center;
padding-top: 20px; padding-top: 20px;
} }
/************************************************************************** ***********************************/ /************************************************************************** ***********************************/
DialogFrame { DialogFrame {
border-width: 1px; border-width: 1px;
border-style: solid; border-style: solid;
skipping to change at line 216 skipping to change at line 216
} }
QPushButton:flat { QPushButton:flat {
border: none; /* no border for a flat push button */ border: none; /* no border for a flat push button */
background: transparent; background: transparent;
} }
QPushButton#closeStelWindow { QPushButton#closeStelWindow {
border: 0px; border: 0px;
background: none; background: none;
background-image: url(:/graphicGui/gui/closeButton.png); background-image: url(:/graphicGui/closeButton.png);
} }
QPushButton:hover#closeStelWindow { QPushButton:hover#closeStelWindow {
background-image: url(:/graphicGui/gui/closeButton-hover.png); background-image: url(:/graphicGui/closeButton-hover.png);
} }
/**********************************************LocationDialog************** *****************************************/ /**********************************************LocationDialog************** *****************************************/
QLineEdit#citySearchLineEdit { QLineEdit#citySearchLineEdit {
margin: 0px 0px 4px 0px; margin: 0px 0px 4px 0px;
padding: 4px; padding: 4px;
padding-left: 32px; padding-left: 32px;
background-image: url(:/graphicGui/gui/searchBoxBackground.png); background-image: url(:/graphicGui/searchBoxBackground.png);
background-repeat: none; background-repeat: none;
background-position: center left; background-position: center left;
border: none; border: none;
} }
/********************************************** QScrollBar:vertical ******* *****************************************/ /********************************************** QScrollBar:vertical ******* *****************************************/
QScrollBar:vertical { QScrollBar:vertical {
border: 0px solid rgb(82, 0, 0); border: 0px solid rgb(82, 0, 0);
background: rgb(35, 0, 0); background: rgb(35, 0, 0);
skipping to change at line 273 skipping to change at line 273
QScrollBar::add-page:vertical, QScrollBar::sub-page:vertical { QScrollBar::add-page:vertical, QScrollBar::sub-page:vertical {
background: qlineargradient(x1:0, y1:0, x2:1, y2:0, stop:0 rgb(57, 0 , 0), stop:1 rgb(82, 0, 0)); background: qlineargradient(x1:0, y1:0, x2:1, y2:0, stop:0 rgb(57, 0 , 0), stop:1 rgb(82, 0, 0));
} }
QScrollBar::up-arrow { QScrollBar::up-arrow {
subcontrol-origin: padding; subcontrol-origin: padding;
subcontrol-position: top; /* position at the top right corner */ subcontrol-position: top; /* position at the top right corner */
width: 16px; width: 16px;
height: 20px; height: 20px;
image: url(:/graphicGui/gui/nv_spinup.png); image: url(:/graphicGui/nv_spinup.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 38, 0, 0), stop: 1 rgb(24, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 38, 0, 0), stop: 1 rgb(24, 0, 0));
} }
QScrollBar::down-arrow { QScrollBar::down-arrow {
subcontrol-origin: padding; subcontrol-origin: padding;
subcontrol-position: bottom; /* position at the bottom right corner */ subcontrol-position: bottom; /* position at the bottom right corner */
width: 16px; width: 16px;
height: 20px; height: 20px;
image: url(:/graphicGui/gui/nv_spindown.png); image: url(:/graphicGui/nv_spindown.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 38, 0, 0), stop: 1 rgb(24, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 38, 0, 0), stop: 1 rgb(24, 0, 0));
} }
/************************************* QScrollBar:horizontal ************** *****************************/ /************************************* QScrollBar:horizontal ************** *****************************/
QScrollBar:horizontal { QScrollBar:horizontal {
border: 0px solid rgb(82, 0, 0); border: 0px solid rgb(82, 0, 0);
background: rgb(35, 0, 0); background: rgb(35, 0, 0);
height: 16px; height: 16px;
margin: 0px 20px 0px 20px; margin: 0px 20px 0px 20px;
skipping to change at line 324 skipping to change at line 324
QScrollBar::add-page:horizontal, QScrollBar::sub-page:horizontal { QScrollBar::add-page:horizontal, QScrollBar::sub-page:horizontal {
background: qlineargradient(x1:0, y1:0, x2:0, y2:1, stop:0 rgb(57, 0 , 0), stop:1 rgb(82, 0, 0)); background: qlineargradient(x1:0, y1:0, x2:0, y2:1, stop:0 rgb(57, 0 , 0), stop:1 rgb(82, 0, 0));
} }
QScrollBar::right-arrow { QScrollBar::right-arrow {
subcontrol-origin: padding; subcontrol-origin: padding;
subcontrol-position: left; /* position at the top right corner */ subcontrol-position: left; /* position at the top right corner */
height: 16px; height: 16px;
width: 20px; width: 20px;
image: url(:/graphicGui/gui/nv_spinleft.png); image: url(:/graphicGui/nv_spinleft.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 38, 0, 0), stop: 1 rgb(24, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 38, 0, 0), stop: 1 rgb(24, 0, 0));
} }
QScrollBar::left-arrow { QScrollBar::left-arrow {
subcontrol-origin: padding; subcontrol-origin: padding;
subcontrol-position: right; /* position at the bottom right corner * / subcontrol-position: right; /* position at the bottom right corner * /
height: 16px; height: 16px;
width: 20px; width: 20px;
image: url(:/graphicGui/gui/nv_spinright.png); image: url(:/graphicGui/nv_spinright.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 38, 0, 0), stop: 1 rgb(24, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 38, 0, 0), stop: 1 rgb(24, 0, 0));
} }
/****************************************** QSlider:horizontal ************ *****************************/ /****************************************** QSlider:horizontal ************ *****************************/
QSlider { QSlider {
background: none; background: none;
} }
QSlider::groove:horizontal { QSlider::groove:horizontal {
skipping to change at line 408 skipping to change at line 408
} }
QTabBar { QTabBar {
background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb(23, 0, 0), stop: 1 rgb(0, 0, 0)); background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb(23, 0, 0), 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: 6px 0px 0px 0px;
color: rgb(122, 0, 0); color: rgb(122, 0, 0);
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 507 skipping to change at line 507
QListView::item:selected#stackListWidget { QListView::item:selected#stackListWidget {
border-top-left-radius: 10px; border-top-left-radius: 10px;
border-top-right-radius: 10px; border-top-right-radius: 10px;
background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb(68, 0, 0), stop: 1 rgb(86, 0, 0)); background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb(68, 0, 0), stop: 1 rgb(86, 0, 0));
color: rgb(220, 0, 0); color: rgb(220, 0, 0);
} }
QListView::item#stackListWidget { QListView::item#stackListWidget {
margin: 0px; margin: 0px;
padding-top: 0px; padding-top: 0px;
padding-bottom: 3px; padding-bottom: 5px;
padding-left: 8px; padding-left: 8px;
padding-right: 8px; padding-right: 8px;
} }
QCheckBox { QCheckBox {
color: rgb(3, 3, 3);
background: none; background: none;
} }
QCheckBox::indicator { QCheckBox::indicator {
width: 16px; width: 16px;
height: 16px; height: 16px;
margin: 0px; margin: 0px;
background: none; background: none;
} }
QCheckBox::indicator:checked { QCheckBox::indicator:checked {
image: url(:/graphicGui/gui/nv_checkbox-checked.png); image: url(:/graphicGui/nv_checkbox-checked.png);
} }
QCheckBox::indicator:unchecked { QCheckBox::indicator:unchecked {
image: url(:/graphicGui/gui/nv_checkbox-unchecked.png); image: url(:/graphicGui/nv_checkbox-unchecked.png);
} }
/*QCheckBox:disabled { /*QCheckBox:disabled {
color: rgb(210, 0, 0); color: rgb(210, 0, 0);
font-weight: 500; font-weight: 500;
}*/ }*/
QRadioButton { QRadioButton {
color: rgb(3, 3, 3);
background: none; background: none;
} }
QRadioButton::indicator { QRadioButton::indicator {
width: 16px; width: 16px;
height: 16px; height: 16px;
margin-left: 4px; margin-left: 4px;
} }
QRadioButton::indicator:checked { QRadioButton::indicator:checked {
image: url(:/graphicGui/gui/nv_radio-checked.png); image: url(:/graphicGui/nv_radio-checked.png);
} }
QRadioButton::indicator:unchecked { QRadioButton::indicator:unchecked {
image: url(:/graphicGui/gui/nv_radio-unchecked.png); image: url(:/graphicGui/nv_radio-unchecked.png);
} }
/*AngleSpinBox { /*AngleSpinBox {
padding-right: 20px; padding-right: 20px;
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 48, 0, 0), stop: 1 rgb(28, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 48, 0, 0), stop: 1 rgb(28, 0, 0));
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(140, 0, 0), stop: 1 rgb(74, 0, 0)); background-color: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb(140, 0, 0), stop: 1 rgb(74, 0, 0));
color: rgb(22, 0, 0); color: rgb(22, 0, 0);
padding: 0px; padding: 0px;
border-radius: 0px; border-radius: 0px;
} }
AngleSpinBox::up-button { AngleSpinBox::up-button {
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: top right; subcontrol-position: top right;
width: 20px; width: 20px;
border: solid 1px; border: solid 1px;
border-right-color: rgb(0, 0, 0); border-right-color: rgb(0, 0, 0);
border-top-color: rgb(0, 0, 0); border-top-color: rgb(0, 0, 0);
image: url(:/graphicGui/gui/nv_spinup.png); image: url(:/graphicGui/nv_spinup.png);
border-width: 1px; border-width: 1px;
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 0, 0), stop: 1 rgb(52, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 0, 0), stop: 1 rgb(52, 0, 0));
} }
AngleSpinBox::down-button { AngleSpinBox::down-button {
subcontrol-origin: border; subcontrol-origin: border;
subcontrol-position: bottom right; subcontrol-position: bottom right;
width: 20px; width: 20px;
border: solid 1px; border: solid 1px;
border-right-color: rgb(0, 0, 0); border-right-color: rgb(0, 0, 0);
border-bottom-color: rgb(0, 0, 0); border-bottom-color: rgb(0, 0, 0);
image: url(:/graphicGui/gui/nv_spindown.png); image: url(:/graphicGui/nv_spindown.png);
border-width: 1px; border-width: 1px;
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 48, 0, 0), stop: 1 rgb(28, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 48, 0, 0), stop: 1 rgb(28, 0, 0));
}*/ }*/
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 rgb( 126, 0, 0), stop: 1 rgb(66, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 126, 0, 0), stop: 1 rgb(66, 0, 0));
border: 1px solid rgb(0, 0, 0); border: 1px solid rgb(0, 0, 0);
color: rgb(22, 0, 0); color: rgb(22, 0, 0);
min-height: 22px; min-height: 22px;
} }
QSpinBox::up-button, QTimeEdit::up-button, QDoubleSpinBox::up-button, Angle SpinBox::up-button { QSpinBox::up-button, QTimeEdit::up-button, QDoubleSpinBox::up-button, Angle SpinBox::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/nv_spinup.png); image: url(:/graphicGui/nv_spinup.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 0, 0), stop: 1 rgb(52, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 0, 0), stop: 1 rgb(52, 0, 0));
} }
QSpinBox::down-button, QTimeEdit::down-button, QDoubleSpinBox::down-button, AngleSpinBox::down-button { QSpinBox::down-button, QTimeEdit::down-button, QDoubleSpinBox::down-button, AngleSpinBox::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/nv_spindown.png); image: url(:/graphicGui/nv_spindown.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 48, 0, 0), stop: 1 rgb(28, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 48, 0, 0), stop: 1 rgb(28, 0, 0));
} }
QSpinBox::down-button:pressed, QTimeEdit::down-button:pressed, QDoubleSpinB ox::down-button:pressed, AngleSpinBox::down-button:pressed { QSpinBox::down-button:pressed, QTimeEdit::down-button:pressed, QDoubleSpinB ox::down-button:pressed, AngleSpinBox::down-button:pressed {
image: url(:/graphicGui/gui/spindown-pressed.png); image: url(:/graphicGui/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/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 {
width: 20px; width: 20px;
height: 22px; height: 22px;
image: url(:/graphicGui/gui/nv_spindown.png); image: url(:/graphicGui/nv_spindown.png);
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 0, 0), stop: 1 rgb(28, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 0, 0), stop: 1 rgb(28, 0, 0));
} }
QComboBox::down-arrow:on, .QDateTimeEdit::down-arrow:pressed { QComboBox::down-arrow:on, .QDateTimeEdit::down-arrow:pressed {
image: url(:/graphicGui/gui/spindown-pressed.png); image: url(:/graphicGui/spindown-pressed.png);
} }
QComboBox QAbstractItemView { QComboBox QAbstractItemView {
color: rgb(22, 0, 0); color: rgb(22, 0, 0);
border: 1px solid rgb(0, 0, 0); border: 1px solid rgb(0, 0, 0);
border-bottom: 1px solid rgb(0, 0, 0); border-bottom: 1px solid rgb(0, 0, 0);
border-top: none; border-top: none;
background: rgb(66, 0, 0); background: rgb(66, 0, 0);
} }
skipping to change at line 728 skipping to change at line 730
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/nv_spinup.png); image: url(:/graphicGui/nv_spinup.png);
border-width: 1px; border-width: 1px;
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 0, 0), stop: 1 rgb(52, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 68, 0, 0), stop: 1 rgb(52, 0, 0));
} }
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/nv_spindown.png); image: url(:/graphicGui/nv_spindown.png);
border-width: 1px; border-width: 1px;
background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 48, 0, 0), stop: 1 rgb(28, 0, 0)); background: qlineargradient(x1: 0, y1: 0, x2: 0, y2: 1, stop: 0 rgb( 48, 0, 0), stop: 1 rgb(28, 0, 0));
} }
QMenu { QMenu {
background-color: rgb(61, 0, 0); /* sets background of the menu */ background-color: rgb(61, 0, 0); /* sets background of the menu */
border: 1px solid rgb(0, 0, 0); border: 1px solid rgb(0, 0, 0);
color: rgb(156, 0, 0); color: rgb(156, 0, 0);
} }
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
if you want menu color and menu item color to be different */ if you want menu color and menu item color to be different */
background-color: rgb(47, 0, 0); background-color: rgb(47, 0, 0);
} }
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(65, 0, 0); background-color: rgb(65, 0, 0);
} }
QMenu::item:disabled {
background-color: rgb(47, 0, 0); /* sets background of the menu */
color: rgb(65, 0, 0);
/* FIXME: how can we set the shadowcolor of disabled items?!
* http://bugreports.qt.nokia.com/browse/QTBUG-10322
*/
}
QMenu::separator {
background-color: rgb(61, 0, 0);
}
QMainWindow > QDialog { QMainWindow > QDialog {
background: rgb(35, 0, 0); background: rgb(35, 0, 0);
} }
QHeaderView::section { QHeaderView::section {
background-color: qlineargradient(x1:0, y1:0, x2:0, y2:1, stop:0 rgb (68, 0, 0), stop: 0.5 rgb(56, 0, 0),stop: 0.6 rgb(47, 0, 0), stop:1 rgb(71, 0, 0)); background-color: qlineargradient(x1:0, y1:0, x2:0, y2:1, stop:0 rgb (68, 0, 0), stop: 0.5 rgb(56, 0, 0),stop: 0.6 rgb(47, 0, 0), stop:1 rgb(71, 0, 0));
color: rgb(178, 0, 0); color: rgb(178, 0, 0);
font-size: 12px; font-size: 12px;
padding-left: 4px; padding-left: 4px;
border: 1px solid rgb(76, 0, 0); border: 1px solid rgb(76, 0, 0);
 End of changes. 28 change blocks. 
26 lines changed or deleted 40 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/