*
{
	margin: 0;
	padding: 0;
}

*:focus
{
	outline: 0;
}

body
{
	min-width: 550px;
	
	font-size: 12px;
	font-family: Helvetica, sans-serif;
	
	overflow: hidden;
}

h1
{
	font-size: 24px;
	
	white-space: nowrap;
}

h1 a
{
	color: #000;
	text-decoration: none;
}

h2
{
	padding-top: 20px;
}

ul, ol
{
	padding-top: 5px;
	padding-bottom: 5px;
	padding-left: 5px;
	
	list-style-position: inside;
}

ol
{
	counter-reset: item;
}

ol > li
{
	list-style-type: none;
}

ol > li:before
{
	display: block;
	
	float: left;
	
	padding-right: 10px;
	
	counter-increment: item;
	content: counter(item) ".";
}

.golddescription, .externaldescription
{
	display: block;
	
	margin-top: 3px;
	margin-bottom: 3px;
	margin-right: 1px;
	
	padding: 2px;
	padding-left: 5px;
	
	border: solid 0px #c93;
	border-left: solid 3px #c93;
}

.gold
{
	color: #c93;
}

.golddescription
{
	cursor: pointer;
}

.golddescription:hover, .externaldescription:hover
{
	margin-top:	2px;
	margin-bottom: 2px;
	margin-right: 0px;
	
	border: solid 1px #c93;
	border-left: solid 3px #c93;
}

.externaldescription[ontology="archi-st"]
{
	border-color: #000;
}

.externaldescription[ontology="archi-hpsg"]
{
	border-color: #0080ff;
}

.archi-hpsg
{
	color: #0080ff;
}

.externaldescription[ontology="archi-lfg"]
{
	border-color: #008000;
}

.archi-lfg
{
	color: #008000;
}

.externaldescription[ontology="archi-min"]
{
	border-color: #f00;
}

.archi-min
{
	color: #f00;
}

.golddescription a
{
	text-decoration: none;
	
	color: #000;
}

.code
{
	display: block;
	
	margin-top: 5px;
	margin-bottom: 5px;
	padding: 5px;
	
	background-color: #eee;
	
	font-family: 'Courier New', Courier, monospace;
	
	overflow: auto;
}

.down_arrow
{
	position: relative;
	
	top: 10px;
	left: 3px;
	
	width: 0;
	height: 0;
	
	border-color: #000 transparent;
	border-style: solid;
	border-width: 5px 4px 0 4px;
}

.form
{
	position: relative;
}

.input_prompt
{
	position: absolute;
	
	padding-top: 3px;
	padding-left: 6px;
	
	color: #ccc;
	font-style: italic;
}

audio
{
	width: 200px;
}

textarea
{
	width: 100%;
	box-sizing: border-box;
}

/* -- Global classes --------------------------------------------------------*/

.button
{
	display: inline-block;
	*display: inline;
	
	height: 15px;
	
	padding-left: 5px;
	padding-right: 5px;
	
	border-radius: 10px;
	
	background-color: #ccc;
	
	cursor: pointer;
}

.button:hover
{
	background-color: #aaa;
}

.button_pressed
{
	background-color: #ccc;
}

.link
{
	text-decoration: underline;
	cursor: pointer;
}

.class
{
	color: #00f;
}

.instance
{
	color: #0b0;
}

.help
{
	color: #fb0;
}

.list
{
	padding-right: 3px;
}

.list:after
{
	content: ',';
}

.list.link:after
{
	text-decoration: none;
}

.list:last-of-type:after
{
	content: '';
}

.boolean
{
	display: inline-block;
	*display: inline;
	
	padding: 2px;
	
	border-radius: 2px;
	
	color: #fff;
	text-transform: uppercase;
	
	cursor: default;
}

.true
{
	background-color: #0b0;
}

.false
{
	background-color: #f00;
}

.propertyLabel
{
	font-weight: bold;
}

/* -- Page layout -----------------------------------------------------------*/

#content
{
	position: absolute;
	
	width: 100%;
	height: 100%;
}

#treeview_container
{
	float: left;
	
	width: 200px;
	height: 100%;
	
	max-width: 200px;
	max-height: 85%;
	
	padding: 10px;
	
	border-right: solid 2px #ccc;
	
	overflow: auto;
}

#treeview
{
	padding-bottom: 150px;
}

#fdg_container
{
	height: 85%;
	
	overflow: hidden;
}

#classinfo
{
	position: absolute;
	top: 82px;
	left: 222px;
	right: 0;
	bottom: 0;
	
	padding: 10px;
	
	background-color: #fff;
	
	overflow: auto;
	z-index: 101;
}

#classinfo #properties
{
	padding-top: 20px;
	padding-bottom: 160px;
}

#instancepanel_container
{
	position: absolute;
	
	left: 0;
	right: 0;
	bottom: 0;
	height: 150px;
	
	min-height: 20px;
	
	background-color: #fff;
	
	border-top: solid 3px #ccc;
	
	z-index: 200;
}

/* -- Class info ------------------------------------------------------------*/

#classinfo .closebutton
{
	display: none;
}

/* -- Tree view -------------------------------------------------------------*/

#treeview_container #search
{
	display: inline-block;
	*display: inline;
	
	width: 155px;
	height: 15px;
	
	padding: 2px;
	padding-left: 6px;
	
	border: solid 1px #ccc;
	
	border-radius: 10px;
}

/* -- Force Directed Graph --------------------------------------------------*/

#fdg
{
	width: 100%;
	height: 100%;
}

#fdg_container #controls
{
	position: absolute;
	
	right: 20px;
	top: 90px;
	
	z-index: 100;
	cursor: default;
}

#fdg #fdg-canvaswidget
{
	cursor: default;
}

#fdg #fdg-canvaswidget:active
{
	cursor: move;
}

/* -- Header ----------------------------------------------------------------*/

#header
{
	height: 70px;
	
	padding: 10px;
	padding-top: 5px;
	padding-bottom: 5px;
	
	border-bottom: solid 2px #ccc;
	
	z-index: 500;
}

#header #description
{
	padding-top: 5px;
	
	color: #ccc;
}

.header_button
{	
	display: inline-block;
	*display: inline;
	
	padding: 5px;
	
	border: solid 1px transparent;
	
	z-index: 500;
	cursor: pointer;
}

.header_button:hover
{
	border: solid 1px #ccc;
}

#navigation_menu
{
	position: absolute;
	
	top: 55px;
	left: 5px;
	right: 10px;
}

#query_button
{
	position: absolute;
	
	right: 0;
}

/* ---- Ontology selector ---------------------------------------------------*/

#ontology_selector
{
	position: absolute;
	
	left: 0;
	padding: 5px;
	
	border: solid 1px #ccc;
	
	background-color: #fff;
	
	z-index: 600;
}

#ontology_selector ul
{
	padding: 0;
	list-style-type: none;
}

#ontology_selector ul li
{
	padding: 5px;
	
	border: solid 1px transparent;
	
	cursor: pointer;
}

#ontology_selector ul li.selected
{
	font-weight: bold;
	
	cursor: default;
}

#ontology_selector ul li:hover
{
	border: solid 1px #ccc;
}

#ontology_selector ul li.selected:hover
{
	border: solid 1px transparent;
}

/* ---- Query panel ---------------------------------------------------------*/

#querypanel
{	
	position: absolute;
	
	top: 80px;
	right: 10px;
	
	width: 300px;
	max-height: 85%;
	
	padding: 10px;
	
	border: solid 1px #ccc;
	border-left: solid 3px #ccc;
	
	background-color: #fff;
	
	z-index: 500;
}

#query_input_wrapper
{
	position: absolute;
	
	top: 0;
	right: 0;
	
	width: 300px;
	
	z-index: 501;
}

#query_input
{
	width: 270px;
	
	padding: 2px;
	
	border: solid 1px #ccc;
}

#querypanel #query_contents_wrapper
{
	max-height: 500px;
	
	overflow: auto;
}

#querypanel #query_results
{
	padding-bottom: 10px;
}

#querypanel #query_clear
{
	position: absolute;
	
	right: 10px;
	top: 11px;
}

#query_suggestions
{
	position: absolute;
	
	border: solid 1px #ccc;
	
	background-color: #fff;
}

.suggestion
{
	padding: 5px;
	
	background-color: #fff;
	
	text-decoration: none;
	
	cursor: pointer;
}

.suggestion:nth-of-type(even)
{
	background-color: #eee;
}

#query_suggestions .suggestion:hover, #query_suggestions .suggestion.selected
{
	background-color: #ccc;
}

.suggestion .label
{
	font-weight: bold;
}

.suggestion .id
{
	color: #000;
	font-size: 0.8em;
	font-style: italic;
}

/* -- Help window -----------------------------------------------------------*/

#help_window
{
	position: absolute;
	
	left: 20%;
	right: 20%;
	top: 10%;
	max-height: 80%;
	
	background-color: #fff;
	
	box-shadow: 1px 1px 10px #555;
	border: solid 1px #000;
	
	overflow: auto;
	z-index: 1000;
}

#help_window #contents
{	
	margin: 30px;
}

#help_window #closebutton
{
	position: absolute;
	
	right: 20px;
	top: 10px;
	
	background-color: #fff;
	
	z-index: 1001;
}

/* -- Instance panel --------------------------------------------------------*/

#instancepanel
{
	padding-top: 5px;
	padding-left: 10px;
	padding-right: 10px;
	padding-bottom: 5px;
}

#instancepanel #title
{
	padding-bottom: 5px;
	
	font-size: 16px;
	font-weight: bold;
	text-align: center;
}

#instancepanel .separator
{
	position: absolute;
	
	top: 25px;
	bottom: 10px;
	left: 210px;
	
	margin-left: 10px;
	padding-right: 5px;
	
	border-left: solid 1px #ccc;
}

#instancepanel #properties
{
	position: absolute;
	
	top: 25px;
	left: 10px;
	width: 200px;
	bottom: 10px;
	
	overflow: auto;
}

#instancepanel #description
{
	position: absolute;
	
	top: 25px;
	left: 230px;
	right: 10px;
	bottom: 10px;
	
	overflow: auto;
}

/* -- Info window -----------------------------------------------------------*/

.infoWindow
{
	position: absolute;
	
	max-height: 90%;
	
	border: solid 1px #ccc;
	
	background-color: #fff;
	
	box-shadow: 2px 2px 5px #555;
	overflow: visible;
	z-index: 600;
}

.infoWindow #contents_wrapper
{
	width: 100%;
	max-height: 490px;
	
	overflow: auto;
}

.infoWindow #contents
{
	padding: 10px;
	padding-bottom: 0;
}

.infoWindow #properties
{	
	padding: 10px;
}

.infoWindow #expand_button
{
	position: absolute;
	
	top: 50%;
	left: -5px;
	
	width: 10px;
	height: 20px;
	
	margin-top: -10px;
	
	border: solid 1px #ccc;
	
	background-color: #fff;
	
	cursor: pointer;
}

.infoWindow #expand_button:before
{
	font-size: 16px;
	content: "\00AB";
}

.infoWindow #expand_button.contract:before
{
	content: "\00BB";
}

.infoWindow #expand_button:hover
{
	background-color: #ccc;
}

.infoWindow h1
{
	font-size: 16px;
	
	cursor: pointer;
}

.infoWindow h1:hover
{
	text-decoration: underline;
}

.infoWindow .closebutton
{
	float: right;
	
	top: 10px;
	right: 10px;
	
	background-color: #fff;
}

.infoWindow .separator
{
	/*margin-top: 5px;*/
	padding-bottom: 5px;
	
	border-top: solid 1px #ccc;
}

.infoWindow div
{
	padding-top: 2px;
	padding-bottom: 2px;
}

/* -- Semi-transparent overlay to block input -------------------------------*/

#input_block
{
	position: fixed;
	
	top: 0;
	left: 0;
	right: 0;
	bottom: 0;
	
	background-color: #fff;
	
	opacity: 0.5;
	filter: alpha(opacity = 50);
	
	z-index: 10000;
	cursor: progress;
}

/* -- Hidden ontologies -----------------------------------------------------*/

.hidden-ontology
{
	display: none;
}
