tweaks for making devtools look nicer

[themes.git] / LCARStrek / global / findBar.css

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

.findbar-closebutton {
  list-style-image: url("chrome://global/skin/icons/close-button.gif");
}

.findbar-closebutton:hover {
  list-style-image: url("chrome://global/skin/icons/close-button-hover.gif");
}

findbar {
  border-top: 3px solid #000000;
  border-bottom: none;
  min-width: 1px;
  transition-property: margin-bottom, opacity, visibility;
  transition-duration: 150ms, 150ms, 0s;
  transition-timing-function: ease-in-out, ease-in-out, linear;
}

findbar[hidden] {
  /* Override display:none to make the transition work. */
  display: -moz-box;
  visibility: collapse;
  margin-bottom: -1em;
  opacity: 0;
  transition-delay: 0s, 0s, 150ms;
}

/* find-next button */

.findbar-find-next {
  list-style-image: url("chrome://global/skin/icons/find.png");
  -moz-image-region: rect(0px 16px 16px 0px);
}

.findbar-find-next[disabled="true"] {
  -moz-image-region: rect(16px 16px 32px 0px);
}

/* find-previous button */

.findbar-find-previous {
  list-style-image: url("chrome://global/skin/icons/find.png");
  -moz-image-region: rect(0px 32px 16px 16px);
}

.findbar-find-previous[disabled="true"] {
  -moz-image-region: rect(16px 32px 32px 16px);
}

/* highlight button */

.findbar-highlight {
  list-style-image: url("chrome://global/skin/icons/find.png");
  -moz-image-region: rect(0px 48px 16px 32px);
}

.findbar-higlight[disabled="true"] {
  -moz-image-region: rect(16px 48px 32px 32px);
}

.find-status-icon {
  list-style-image: none;
  margin-top: 0px;
  margin-bottom: 0px;
  -moz-margin-start: 12px;
  -moz-margin-end: 0px;
  width: 16px;
  height: 16px;
}

.findbar-find-status {
  margin: 0 !important;
  -moz-margin-start: 3px !important;
  padding: 2px !important;
}

.find-status-icon[status="notfound"] {
  list-style-image: url("chrome://global/skin/icons/information-16.png");
}

.findbar-textbox[status="notfound"] {
  box-shadow: 0 0 0 1em #FF0000 inset;
  color: #000000;
}

.findbar-textbox[flash="true"] {
  box-shadow: 0 0 0 1em #FFCF00 inset;
  color: #000000;
}

.find-status-icon[status="wrapped"] {
  list-style-image: url("chrome://global/skin/icons/wrap.png");
}

.find-status-icon[status="pending"] {
  list-style-image: url("chrome://global/skin/icons/loading.gif");
}