/* * Copyright (C) 2013 Apple Inc. All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * 1. Redistributions of source code must retain the above copyright * notice, this list of conditions and the following disclaimer. * 2. Redistributions in binary form must reproduce the above copyright * notice, this list of conditions and the following disclaimer in the * documentation and/or other materials provided with the distribution. * * THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF * THE POSSIBILITY OF SUCH DAMAGE. */ .source-code.text-editor > .CodeMirror .error { background-color: rgb(255, 220, 208); } .source-code.text-editor > .CodeMirror .warning { background-color: rgb(253, 249, 226); } .popover .debugger-popover-content { font-family: monospace; white-space: pre; } .popover .expandable { min-width: 300px; min-height: 250px; } .popover .debugger-popover-content .title { font-weight: bold; padding-left: 10px; text-overflow: ellipsis; overflow: hidden; white-space: nowrap; } .popover .debugger-popover-content .body { border-top: 1px solid rgb(194, 194, 147); overflow: auto; margin-top: 5px; padding-top: 5px; } .popover .debugger-popover-content.function .body { padding-left: 10px; padding-right: 10px; } /* Custom styling for the hover menu attached to color tokens */ .hover-menu.color { padding-right: 15px; } .hover-menu.color > img { width: 16px; height: 16px; -webkit-transform: translateX(14px); content: -webkit-image-set(url(Images/ColorIcon.png) 1x, url(Images/ColorIcon@2x.png) 2x); }