/* Generic stylesheet for Saxon generated Clavister end-user web documentation. Author: COMU */

:root {
  --bs-font-sans-serif: system-ui, -apple-system, 'Segoe UI', Roboto, 'Helvetica Neue', Arial,
'Noto Sans', 'Liberation Sans', sans-serif, 'Apple Color Emoji', 'Segoe UI Emoji',
'Segoe UI Symbol', 'Noto Color Emoji'; --bs-font-monospace: SFMono-Regular, Menlo, Monaco,
Consolas, 'Liberation Mono', 'Courier New', monospace;
}

@media (min-width: 1200px) {
	.container-xl {
		max-width: 1140px
	}
}

@media (min-width: 1400px) {
	.container-xl {
		max-width: 1320px
	}
}

body
{
	margin: 8px;
	color: #000000;
	font-size: 13pt;
	padding-left: 0px;
	width: 90%;
	margin-left: auto;
    	margin-right: auto;
   	font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif; 
}

div.mediaobject {
	text-align: center;
}

div.variablelist dl {

}

div.variablelist dt {

}

div.variablelist dd {
	padding-bottom: 1rem;
}

div.toc dd {
	margin-left: 14px;
}

span.guilabel, span.term {
	font-weight: bold;
}

a:link {
  text-decoration: none;
  color: 215D83
}

a:visited {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

div.book h1
{
	font-size: 13pt;
	padding: 0px;
	margin-bottom: 10px;
}

pre
{
	background: #F0F0F0;
	font-family: "Courier New" , Courier , monospace;
	padding-left: 2px;
	padding-top: 4px;
	padding-bottom: 4px;
	margin-top: 6px;
	margin-bottom: 6px;
	font-size: 12pt;
}

p.title-sep
{
	line-height: 0.1;
	font-size: 1pt;
}

div.navheader td
{
  	font-size: 12pt;
}

div.navfooter td
{
  	font-size: 12pt;
}

div.informaltable
{
  /* display: flex; */
  justify-content: center;
}

table {
  border-collapse: collapse;
  width: 100%;
}

th {
  padding: 6px;
}

td {
  padding: 6px;
}

#hardware_specs td { /* for hardware specs table in GSG appendix */
  width: 50%;
  padding: 6px;
}

div.informaltable tr:nth-child(even) {
	background-color: #EBEBEB;
}

div.informaltable th {
  padding: 6px;
  text-align: left;
  background-color: #A0A0A0;
  color: white;
}

div.informaltable td {
  padding: 6px;
  text-align: left;
}

h1
{
	margin-left: 0px;
	margin-bottom: 20px;
	margin-top: 20px;
	font-weight: bold;
	border-top-width: 0px;
	font-size: 30pt;
	padding-top: 20px;
	padding-bottom: 30px;
}

div.chapter h2
{
	margin-left: 0px;
	margin-bottom: 20px;
	margin-top: 12px;
	font-weight: bold;
	border-top-width: 0px;
	font-size: 22pt;
	padding-top: 15px;
	padding-bottom: 15px;
}


div.section h2
{
	margin-left: 0px;
	padding-bottom: 10px;
	margin-top: 16px;
	padding-top: 10px;
	margin-bottom: 12px;
	font-size: 18pt;
	font-weight: bold;
}

h3
{
	margin-left: 0px;
	padding-bottom: 10px;
	margin-top: 16px;
	padding-top: 10px;
	font-size: 16pt;
	font-weight: bold;
	border-top-style: solid;
	border-top-color: #000000;
	border-top-width: 0.1pt;
}

h4
{
	margin-left: 0px;
	padding-bottom: 10px;
	margin-top: 16px;
	padding-top: 10px;
	font-size: 14pt;
	font-weight: bold;
	border-top-style: solid;
	border-top-color: #000000;
	border-top-width: 0.1pt;
}

h6
{
	font-size: 11pt;
	font-weight: bold;
	margin-bottom: 10px;
	margin-top: 20px;
	padding-bottom: 5px;
	text-align: left;
}

div.note
{
	border-bottom-style: solid;
	border-top-style: solid;
	border-top-color: #000000;
	border-top-width: 0.1pt;
	border-bottom-color: #000000;
	border-bottom-width: 0.1pt;
	margin-top: 20px;
	margin-bottom: 20px;
	padding-bottom: 10px;
	padding-top: 10px;
	padding-left: 40px;
	padding-right: 15px;
}

div.note *
{
	font-style: italic;
}

div.important
{
	border-bottom-style: solid;
	border-top-style: solid;
	border-top-color: #000000;
	border-top-width: 0.1pt;
	border-bottom-color: #000000;
	border-bottom-width: 0.1pt;
	margin-top: 20px;
	margin-bottom: 20px;
	padding-bottom: 10px;
	padding-top: 10px;
	padding-left: 40px;
	padding-right: 15px;
}


div.important *
{
	font-style: italic;
}

div.tip
{
	border-bottom-style: solid;
	border-top-style: solid;
	border-top-color: #000000;
	border-top-width: 0.1pt;
	border-bottom-color: #000000;
	border-bottom-width: 0.1pt;
	margin-top: 20px;
	margin-bottom: 20px;
	padding-bottom: 10px;
	padding-top: 10px;
	padding-left: 40px;
	padding-right: 15px;
}

div.tip *
{
	font-style: italic;
}

div.caution
{
	border-bottom-style: solid;
	border-top-style: solid;
	border-top-color: #000000;
	border-top-width: 0.1pt;
	border-bottom-color: #000000;
	border-bottom-width: 0.1pt;
	margin-top: 20px;
	margin-bottom: 20px;
	padding-bottom: 10px;
	padding-top: 10px;
	padding-left: 40px;
	padding-right: 15px;
}

div.caution *
{
	font-style: italic;
}

div.warning
{
	border-bottom-style: solid;
	border-top-style: solid;
	border-top-color: #000000;
	border-top-width: 0.1pt;
	border-bottom-color: #000000;
	border-bottom-width: 0.1pt;
	margin-top: 20px;
	margin-bottom: 20px;
	padding-bottom: 10px;
	padding-top: 10px;
	padding-left: 40px;
	padding-right: 15px;
}

div.warning *
{
	font-style: italic;
}

div.figure
{
	text-align: center;
}

div.example
{
	border: solid 0.1pt;
	background-color: #F6F6F6;
	text-align: left;
	padding-left: 6px;
	padding-right: 6px;
	margin-top: 4px;
	margin-bottom: 1.5rem;
}