/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

/* ==== editor.css ==========================================================
   == Styles shared throughout the Editor application.
   ========================================================================== */

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

#content-frame {
  min-width: 10px;
  min-height: 10px;
  height: 400px;
}

.source-editor,
.source-editor:focus {
  margin-top: 0px;
  margin-bottom: 5px;
  margin-inline-start: 0px;
  margin-inline-end: 5px;
  border: 0px;
  /* Scroll bars are in content,
     so we can't use right and bottom padding! */
  padding-top: 5px;
  padding-bottom: 0px;
  padding-inline-start: 5px;
  padding-inline-end: 0px;
}

/* Multiline textarea for HTML source editing */
#content-source,
#doctype-text {
  font-family: -moz-fixed;
  font-size: initial;
}

#appcontent {
  border-left: 1px solid ThreeDShadow;
  border-top: 1px solid ThreeDDarkShadow;
  border-right: 1px solid ThreeDHighlight;
}

#ContentWindowDeck {
  border-left: 1px solid ThreeDDarkShadow;
  border-right: 1px solid ThreeDLightShadow;
}
