/********************************************************************************
 * dbedit.css - by Jakob Kruse <kruse@kruse-net.dk>
 *
 * Stylesheet for dbedit class
 *
 * $Id: dbedit.css,v 1.3 2002/08/19 08:38:50 kruse Exp $
 ********************************************************************************/

.highlight-off {
  padding-top: 1px;
  padding-bottom: 2px;
}
.highlight-off-first {
  padding-left: 2px;
}
.highlight-off-last {
  padding-right: 2px;
}

.highlight-on {
  padding-top: 0px;
  padding-bottom: 1px;
  border-top: 1px outset;
  border-bottom: 1px outset;
  background: #D0D0D0;
}
.highlight-on-first {
  padding-left: 1px;
  border-left: 1px outset;
}
.highlight-on-last {
  padding-right: 1px;
  border-right: 1px outset;
}

.highlight-lock {
  padding-top: 0px;
  padding-bottom: 1px;
  border-top: 1px inset;
  border-bottom: 1px inset;
  background: #D0D0D0;
}
.highlight-lock-first {
  padding-left: 1px;
  border-left: 1px inset;
}
.highlight-lock-last {
  padding-right: 1px;
  border-right: 1px inset;
}

.edit {
  padding-top: 1px;
  padding-bottom: 2px;
}
.edit-first {
  padding-left: 2px;
}
.edit-last {
  padding-right: 2px;
}

.winbutton {
  padding: 1px 5px 2px 5px;
  cursor: default;
  font-weight: bold;
}

.marlett {
  font-family: Marlett;
  /*color: blue;*/
}