body {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 16px;
	color: black;
	padding: 0;
	margin: 0;
	height: 100%;
	background-color: white;
}

.ws-panel-top {
	padding: 0.25em;
	background: #005AB5;
	color: white;
	margin-bottom:.2em;
}

.ws-panel-left {
	padding: 0.25em;
	background: #005AB5;
	color: white;
	float: left;
	/*height:100vh;*/
	width: 15%;
	margin-right: .5em;
}

.ws-clearfix {
	/*width: 15%;*/
  /*content: "";
  clear: both;
  display: table;*/
}

.ws-banner {
	padding: 0.25em;
	font-size: 2.5em;
	font-weight: bold;
}

.ws-last-mod {
	background-color: Gainsboro;
	color: darkblue;
	font-size: .8em;
	float: right;
	top:0;
}

.ws-trail {
	padding: 0.3em;
	color: yellow;
}

.ws-trail-href,
.ws-trail-href:active,
.ws-trail-href:visited {
	color: yellow !important;
	margin: .1em .3em;
}

.ws-kids,
.ws-siblings {
	padding: 0.3em;
	margin: .5em .5em;
	line-height: 1.5em;
}

.ws-kids-href,
.ws-kids-href:active,
.ws-kids-href:visited {
	color: yellow !important;
}

.ws-siblings-href,
.ws-siblings-href:active,
.ws-siblings-href:visited {
	color: white !important;
}

.ws-content {
	float:right;
	width:83%
	/*the class of the main div in each page */
}

.ti-indent {
	padding-left: 2em;
	margin-bottom: 1.5em;
}

.ti-indentcode {
	padding-left:50px;
	color:darkblue;
}

.ti-code {
	padding-left:20px;
	color:darkblue;
}

.ti-extra-margin {
	margin-bottom: 1.5em;
}


.ti-xml,
.ti-xml-elem,
.ti-xml-attr,
.ti-xml-value,
.ti-xml-text {
	font-family: Consolas, Monaco, 'Andale Mono', 'Ubuntu Mono', monospace;
	font-weight: 400;
	background-color: rgb(245, 242, 240);
}

.ti-xml-elem {
	color: #905;
}

.ti-xml-attr {
	color: darkgreen;
}

.ti-xml-value {
	color: darkslateblue;
}

.ti-hash-value {
	color: blue;
	font-style:italic;
}

.ti-table-example {
	border: 1px solid darkgray;
	border-collapse: collapse;
	font-family:Consolas, monospace;
	width: 80%;
	text-align: center;
	margin-top: 1em;
	margin-bottom: 1em;
}

.ti-table-example td {
	border: 1px solid darkgray;
	border-collapse: collapse;
	text-align: center;
	padding: .5em;
}

.ti-table-example-header {
	color: darkblue;
	font-weight:bold;
}


.ti-info-box {
	border: 2px solid darkblue;
	margin: .25em 10vw;
	padding: 1em;
}

.ti-warning-box {
	border: 2px solid red;
	text-align: center;
	margin: .25em 10vw;
	padding: 1em;
}