plugins/npapi/DevModeOptions/src/com/google/gwt/devmodeoptions/client/resources/DevModeOptions.css

/*
 * Copyright 2010 Google Inc.
 * 
 * Licensed under the Apache License, Version 2.0 (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.apache.org/licenses/LICENSE-2.0
 * 
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
 * License for the specific language governing permissions and limitations under
 * the License.
 */
@def TEXTWIDTH 30em;
.savedHostsHeading {
  font-weight: bold;
}

.savedHosts {
  border: 2px solid silver;
  padding: 2px;
  margin-top: 1.5em;
}

.include {
  color: blue;
}

.exclude {
  color: IndianRed;
}

.errorMessage {
  color: red;
  font-weight: bold;
}

.important {
  font-weight: bold;
}

.header {
  font-size: large;
  font-weight: bold;
}

.textBox {
  width: 15em;
}

.textCol {
  width: TEXTWIDTH;
}

.logo {
  margin-right: 1em;
}

.mainPanel {
  margin-left: 2em;
  margin-top: 2em;
  font-family: sans-serif;
  font-size: small;
  max-width: 50em;
}

.explanation {
  margin-top: 1.5em;
  margin-bottom: 1.5em;
}