blob: aca27de51156b07520a550ebe5092c00596ac2ea [file] [log] [blame]
.xmlLabel {
font-family: monospace;
}
.notes{
font: serif;
color:003300;
font-size: larger;
}
/**Stolen from I18N*/
h1 {
color: green;
}
body {
color: black;
font-family: arial, sans-serif;
font-size: smaller;
margin: 20px 20px 20px 20px;
}
code {
font-size: small;
}
a {
color: darkblue;
}
a:visited {
color: darkblue;
}
.detailedExplanation {
font-weight: lighter;
color: black;
font-family: monospace;
}
.messagesTable {
margin: 20px;
font-size: x-small;
}
.userTable {
margin: 20px;
}
.userTable td {
padding-right: 10px;
white-space: nowrap;
text-align: center;
}
.userTableLabel {
color: green;
}
.messagesArgumentType {
font: x-small;
color: green;
}
.gwt-BorderedPanel {
}
.gwt-Button {
}
.gwt-Canvas {
}
.gwt-CheckBox {
font-size: smaller;
}
.gwt-DialogBox {
sborder: 8px solid #c3d9ff;
border: 2px outset;
background-color: white;
}
.gwt-DialogBox .Caption {
background-color: #c3d9ff;
padding: 3px;
margin: 2px;
font-weight: bold;
cursor: default;
}
.gwt-FileUpload {
}
.gwt-Frame {
}
.gwt-HorizontalSplitter .Bar {
width: 8px;
background-color: #c3d9ff;
}
.gwt-VerticalSplitter .Bar {
height: 8px;
background-color: #c3d9ff;
}
.gwt-HTML {
font-size: smaller;
}
.gwt-Hyperlink {
}
.gwt-Image {
}
.gwt-Label {
}
.gwt-ListBox {
}
.gwt-MenuBar {
background-color: #c3d9ff;
border: 1px solid #87b3ff;
cursor: default;
}
.gwt-MenuBar .gwt-MenuItem {
padding: 1px 4px 1px 4px;
font-size: smaller;
cursor: default;
}
.gwt-MenuBar .gwt-MenuItem-selected {
background-color: #e8eef7;
}
.gwt-PasswordTextBox {
}
.gwt-RadioButton {
font-size: smaller;
}
.gwt-TabPanel {
}
.gwt-TabPanelBottom {
border: 1px solid #87b3ff;
padding: 10px
}
.gwt-TabBar {
background-color: #c3d9ff;
font-size: smaller;
}
.gwt-TabBar .gwt-TabBarFirst {
height: 100%;
border-bottom: 1px solid #87b3ff;
padding-left: 3px;
}
.gwt-TabBar .gwt-TabBarRest {
border-bottom: 1px solid #87b3ff;
padding-right: 3px;
}
.gwt-TabBar .gwt-TabBarItem {
border-top: 1px solid #87b3ff;
border-bottom: 1px solid #87b3ff;
padding: 2px;
cursor: pointer;
cursor: hand;
white-space: nowrap;
border-left: 1px solid #87b3ff;
border-right: 1px solid #87b3ff;
}
.gwt-TabBar .gwt-TabBarItem-selected {
font-weight: bold;
background-color: #e8eef7;
border-top: 1px solid #87b3ff;
border-left: 1px solid #87b3ff;
border-right: 1px solid #87b3ff;
border-bottom: 1px solid #e8eef7;
padding: 2px;
cursor: default;
white-space: nowrap;
}