nav {
	display: inline-block;
	background-color: rgba(255, 255, 255, 0.5);
	border-radius: 0.5em;
	box-shadow: 0px 3px 8px 0 rgba(0, 0, 0, 0.5);
	font-size: 75%;
	padding-left: 1em;
	padding-right: 1em;
  margin-top: 0.5em;
  margin-bottom: 1em;
}

nav h2 {
	text-align: center;
	font-style: bold;
	font-size: 125%;
}

nav ol {
	padding-left: 0px;
	list-style-type: none;
}

dt {
	font-weight: bold;
}

dd {
	margin-bottom: 0.66em;
}

code {
  white-space: pre;
  font-family: monospace;
}

code.code-block {
	display: inline-block;
  overflow: auto;
	background-color: rgba(255, 255, 255, 0.5);
	border-radius: 0.5em;
	box-shadow: inset 0px 3px 8px 0 rgba(0, 0, 0, 0.5);
	padding: 1em;
  margin-top: 0.5em;
  margin-bottom: 1em;
	margin-left: 0.5em;
  tab-size: 4;
	max-width: 95%;
}

code span.keyword {
  color: #A90D91;
}

code span.comment {
  color: #007400;
}

code span.string {
  color: #C41A15;
}

code span.character {
  color: #1C00CE;
}

code span.number {
  color: #1C00CE;
}

code span.preprocessor {
  color: #63381F;
}

div.tutorial-diagram-center {
	margin-top: 1em;
	margin-bottom: 1em;
  text-align: center;
  clear: right;
}

div.tutorial-diagram-center img {
	margin-left: 1em;
	margin-right: 1em;
	vertical-align: middle;
}

div.tutorial-diagram-side {
  text-align: center;
  text-indent: 0px;
  font-size: 80%;
  clear: right;
  float: right;
  margin: 5px;
  margin-left: 2em;
}

div.tutorial-diagram-side img {
	display: block;
	break-after: always;
}

.new-term {
  font-style: italic;
}

em {
  font-style: normal;
  font-weight: bold;
}

.asterisk-explanation {
	font-size: 75%;
	margin-left: 2em;
	margin-right: 2em;
}

ul.source-file-list {
	list-style-type: none;
	line-height: 1.25em;
	padding-left: 1em;
	padding-right: 1em;
	margin-top: 0.25em;
	margin-bottom: 0em;
}

div.float-hack {
	margin: 0px;
}

table {
  border-collapse: separate;
  border-spacing: 0.375em 0.375em;
}

table td {
	background-color: rgba(255, 255, 255, 0.5);
	box-shadow: inset 0px 2px 4px 0 rgba(0, 0, 0, 0.5);
}

table tbody tr:first-child td:first-child {
  border-top-left-radius: 0.375em;
}

table tbody tr:first-child td:last-child {
  border-top-right-radius: 0.375em;
}

table tbody tr:last-child td:first-child {
  border-bottom-left-radius: 0.375em;
}

table tbody tr:last-child td:last-child {
  border-bottom-right-radius: 0.375em;
}

table.matrix-4x4 {
  margin-left: auto;
  margin-right: auto;
  font-family: monospace;
  font-weight: bold;
  text-indent: 0px;
  border-spacing: 0.25em 0.25em;
}

table.matrix-4x4 td {
  background-color: #FFFFFF;
  text-align: center;
  padding: 0.375em;
}

table.matrix-4x4 td.highlight, table.matrix-4x4 td.magnitude, table.matrix-4x4 td.scale {
  background-color: #BBFFFF;
}

table.matrix-4x4 td.x-axis {
  background-color: #FFBBBB;
}

table.matrix-4x4 td.y-axis {
  background-color: #BBFFBB;
}

table.matrix-4x4 td.z-axis {
  background-color: #BBBBFF;
}

table.matrix-4x4 td.perspective {
  background-color: #FFBBFF;
}

table.matrix-4x4 td.translation, table.matrix-4x4 td.multTarget, table.matrix-4x4 td.shear {
  background-color: #FFFFBB;
}

table.api-list {
  font-size: 90%;
}

table.api-list th {
  padding-left: 0.5em;
  font-size: 90%;
}

table.api-list td {
  padding-left: 0.5em;
  padding-right: 0.5em;
  padding-top: 0.375em;
  padding-bottom: 0.375em;
}