michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: :root {
michael@0:   -moz-control-character-visibility: visible;
michael@0: }
michael@0: 
michael@0: /* Force height and width (possibly overflowing) from inline elements.
michael@0:  * This allows long overflows of text or input fields to still be styled with
michael@0:  * the container, rather than the background disappearing when scrolling */
michael@0: #root {
michael@0:   float: left;
michael@0:   min-width: 100%;
michael@0: }
michael@0: 
michael@0: #root-wrapper:after {
michael@0:    content: "";
michael@0:    display: block;
michael@0:    clear: both;
michael@0:    position:relative;
michael@0: }
michael@0: 
michael@0: .html-editor {
michael@0:   display: none;
michael@0:   position: absolute;
michael@0:   z-index: 2;
michael@0: 
michael@0:   /* Use the same margin/padding trick used by .child tags to ensure that
michael@0:    * the editor covers up any content to the left (including expander arrows
michael@0:    * and hover effects). */
michael@0:   margin-left: -1000em;
michael@0:   padding-left: 1000em;
michael@0: }
michael@0: 
michael@0: .html-editor-inner {
michael@0:   border: solid .1px;
michael@0:   flex: 1 1 auto;
michael@0: }
michael@0: 
michael@0: .html-editor iframe {
michael@0:   height: 100%;
michael@0:   width: 100%;
michael@0:   border: none;
michael@0:   margin: 0;
michael@0:   padding: 0;
michael@0: }
michael@0: 
michael@0: .children {
michael@0:   list-style: none;
michael@0:   padding: 0;
michael@0:   margin: 0;
michael@0: }
michael@0: 
michael@0: /* Tags are organized in a UL/LI tree and indented thanks to a left padding.
michael@0:  * A very large padding is used in combination with a slightly smaller margin
michael@0:  * to make sure childs actually span from edge-to-edge. */
michael@0: .child {
michael@0:   margin-left: -1000em;
michael@0:   padding-left: 1001em;
michael@0: }
michael@0: 
michael@0: .tag-line {
michael@0:   min-height: 1.4em;
michael@0:   line-height: 1.4em;
michael@0:   position: relative;
michael@0: }
michael@0: 
michael@0: .html-editor-container {
michael@0:   position: relative;
michael@0:   min-height: 200px;
michael@0: }
michael@0: 
michael@0: /* This extra element placed in each tag is positioned absolutely to cover the
michael@0:  * whole tag line and is used for background styling (when a selection is made
michael@0:  * or when the tag is flashing) */
michael@0: .tag-line .tag-state {
michael@0:   position: absolute;
michael@0:   left: -1000em;
michael@0:   right: 0;
michael@0:   height: 100%;
michael@0:   z-index: -1;
michael@0: }
michael@0: 
michael@0: .expander {
michael@0:   display: inline-block;
michael@0:   margin-left: -14px;
michael@0:   vertical-align: middle;
michael@0: }
michael@0: 
michael@0: .child.collapsed .child {
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: .child > .tag-line:first-child .close {
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: .child.collapsed > .tag-line:first-child .close {
michael@0:   display: inline;
michael@0: }
michael@0: 
michael@0: .child.collapsed > .tag-line ~ .tag-line {
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: .child.collapsed .close {
michael@0:   display: inline;
michael@0: }
michael@0: 
michael@0: .closing-bracket {
michael@0:   pointer-events: none;
michael@0: }
michael@0: 
michael@0: .newattr {
michael@0:   display: inline-block;
michael@0:   width: 1em;
michael@0:   height: 1ex;
michael@0:   margin-right: -1em;
michael@0:   padding: 1px 0;
michael@0: }
michael@0: 
michael@0: .newattr:focus {
michael@0:   margin-right: 0;
michael@0: }
michael@0: 
michael@0: .tag-state.flash-out {
michael@0:   transition: background .5s;
michael@0: }
michael@0: 
michael@0: /* Preview */
michael@0: 
michael@0: #previewbar {
michael@0:   position: fixed;
michael@0:   top: 0;
michael@0:   right: 0;
michael@0:   width: 90px;
michael@0:   background: black;
michael@0:   border-left: 1px solid #333;
michael@0:   border-bottom: 1px solid #333;
michael@0:   overflow: hidden;
michael@0: }
michael@0: 
michael@0: #preview {
michael@0:   position: absolute;
michael@0:   top: 0;
michael@0:   right: 5px;
michael@0:   width: 80px;
michael@0:   height: 100%;
michael@0:   background-image: -moz-element(#root);
michael@0:   background-repeat: no-repeat;
michael@0: }
michael@0: 
michael@0: #previewbar.hide,
michael@0: #previewbar.disabled {
michael@0:   display: none;
michael@0: }
michael@0: 
michael@0: #viewbox {
michael@0:   position: absolute;
michael@0:   top: 0;
michael@0:   right: 5px;
michael@0:   width: 80px;
michael@0:   border: 1px dashed #888;
michael@0:   background: rgba(205,205,255,0.2);
michael@0:   outline: 1px solid transparent;
michael@0: }