зеркало из https://github.com/mozilla/gecko-dev.git
176 строки
2.7 KiB
CSS
176 строки
2.7 KiB
CSS
/*
|
|
* The contents of this file are subject to the Mozilla Public
|
|
* License Version 1.1 (the "License"); you may not use this file
|
|
* except in compliance with the License. You may obtain a copy of
|
|
* the License at http://www.mozilla.org/MPL/
|
|
*
|
|
* Software distributed under the License is distributed on an "AS
|
|
* IS" basis, WITHOUT WARRANTY OF ANY KIND, either express or
|
|
* implied. See the License for the specific language governing
|
|
* rights and limitations under the License.
|
|
*
|
|
* The Original Code is Mozilla JSIRC Library.
|
|
*
|
|
* The Initial Developer of the Original Code is New Dimensions Consulting,
|
|
* Inc. Portions created by New Dimensions Consulting, Inc. are
|
|
* Copyright (C) 1999 New Dimenstions Consulting, Inc. All
|
|
* Rights Reserved.
|
|
*
|
|
* Contributor(s):
|
|
*
|
|
*
|
|
* Contributor(s):
|
|
* Robert Ginda, rginda@ndcico.com, original author
|
|
*
|
|
* Styles for UI, See test3-output-default.css for output window styles
|
|
*
|
|
*/
|
|
|
|
@import url(chrome://global/skin/global.css);
|
|
|
|
window {
|
|
|
|
font-size: 12px;
|
|
background: url(xtal.jpg);
|
|
|
|
}
|
|
|
|
menubar, menu, menuitem, menupopup {
|
|
|
|
background: silver;
|
|
|
|
}
|
|
|
|
#outer-box {
|
|
|
|
margin: 5px;
|
|
|
|
}
|
|
|
|
#main-splitter {
|
|
|
|
border: thin silver outset;
|
|
margin-left: 2px;
|
|
margin-right: 2px;
|
|
background: silver;
|
|
|
|
}
|
|
|
|
.status-table {
|
|
|
|
width: 100%;
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
#status-bar {
|
|
|
|
border: thin silver double;
|
|
background: #dddddd;
|
|
|
|
}
|
|
|
|
toolbar {
|
|
|
|
background: #dddddd;
|
|
border: silver double;
|
|
|
|
}
|
|
|
|
.activity-button {
|
|
|
|
background: #dddddd;
|
|
padding-top: 1px;
|
|
padding-left: 2px;
|
|
padding-right: 2px;
|
|
padding-bottom: 0px;
|
|
margin: 1px;
|
|
border: groove 2px;
|
|
|
|
}
|
|
|
|
.activity-button:hover {
|
|
|
|
background: #eeeeee;
|
|
padding-top: 0px;
|
|
padding-left: 1px;
|
|
padding-right: 3px;
|
|
padding-bottom: 1px;
|
|
border: 2px grey outset;
|
|
|
|
}
|
|
|
|
.activity-button:active {
|
|
|
|
background: #cccccc;
|
|
padding-top: 1px;
|
|
padding-left: 2px;
|
|
padding-right: 2px;
|
|
padding-bottom: 0px;
|
|
border: 2px grey inset;
|
|
|
|
}
|
|
|
|
.status-label {
|
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
.status-data {
|
|
|
|
text-align: left;
|
|
color: darkslategrey;
|
|
|
|
}
|
|
|
|
/* Activity indicator buttons */
|
|
.activity-button {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
/* input textbox */
|
|
/*
|
|
.input-window {
|
|
|
|
overflow: clip;
|
|
width: 100%;
|
|
|
|
}
|
|
*/
|
|
|
|
.output-container {
|
|
|
|
border: thin silver inset;
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
/* Listbox on left of UI (aka QuickList) */
|
|
.quick-list {
|
|
|
|
border: thin silver inset;
|
|
overflow: auto;
|
|
background: #dddddd;
|
|
|
|
}
|
|
|
|
/* common container for individual quicklist items */
|
|
.list-option {
|
|
|
|
margin: 2px;
|
|
|
|
}
|
|
|
|
/* text in the quicklist */
|
|
.option-text {
|
|
font-weight: bold;
|
|
align: right;
|
|
}
|
|
|
|
/* graphic in the quicklist */
|
|
.option-graphic {
|
|
}
|