/* 
	If a style is useful, move it to style.css
	If you modify a style, move it to style.css. Do not add new styles to this file.
	If a style is redundant, move it to removed.css
*/



.ui-dialog-titlebar-close {
  visibility: hidden;
}

html, body, div, img, input[type="checkbox"], input[type="radio"]{
	
	margin: 0;
	padding: 0;
	border: 0;
	font-size: 100%;
	font: inherit;
	vertical-align: baseline;
}

body, html {
	overflow:hidden;
	color: #707070;
	font-size: 12px;
	font-family: verdana;
}

input, textarea, select, button {
	font: inherit;
}

button:disabled {
	color: #aaa;
	cursor: default;
}

a {
	text-decoration: none;
}

button, input, label:has(input) {
	cursor: pointer;
}

button {
	font-family: Verdana;
	color: #333;
}
button[disabled="disabled"] {
	color: #aaa;
}
input[type="checkbox"], input[type="radio"] {
    width: 13px;
    height: 13px;
    vertical-align: middle;
    position: relative;
    top: -1px;
    *overflow: hidden;
}
.tinyButtons *{
	font-size:inherit;
}

.hideable {
	display:none;
}

.panelCloseButton {
    position: absolute;
    right: 0px;
    border: thin solid #96B796;
    cursor: pointer;
    color: #8FA98F;
    width: 19px;
    text-align: center;
    vertical-align: middle;
    line-height: 11px;
    height: 13px;
    /* font-weight: bold; */
    margin-top: -6px;
    font-size: 13px;

}

#searchInput {
	border: thin solid #aaa;
}

/* Moved to style.css - conflicts with new layout */

#searchResults {
	max-width: 800px;
	max-height: 650px;
	overflow: auto;
	user-select: text;
}

#searchResultWindow p {
	cursor: pointer;
	padding: 2px 4px;
}
#searchResultWindow p:hover {
	background-color: #e8f0fe;
}
#searchResults .searchResultName {
	color: #444444;
}
#searchResults .searchResultTreeName {
	color: #888;
	font-size: 0.85em;
	font-style: italic;
}
#searchResults span {
	display: inline-block;
}

/* Old ribbon styles moved to removed.css */

#canvas {
	border: thin solid #888;
}

/* Moved to style.css - conflicts with new layout */

textarea {
	color: #444;
	width: 100%;
	height: 100%;
}

.errormessage {
	font-size: 12px;
	margin-left: 20px;
}

#aboutContent {
	font-size: 14px;
}

#debugdiv {
	color: #000;
	border: thin solid #700;
	padding: 5px;
	user-select: text;
	-webkit-user-select: text;
	-moz-user-select: text;
	-ms-user-select: text;
}
#letmeknow {
	color: #555;
	font-size: 10px;
}
