@import url("layout.css");
:root
{
	--title_color: DodgerBlue;
	--outline_color: MidnightBlue;
	--subtitle_color: LightBlue;
	--top_adjustment: -40px;
	--masthead_height: 100px;
	--navigation_height: 50px;
	--footer_height: 50px;
}
/*********************************************************************
 *********************************************************************
 **  Fonts
 **
 *********************************************************************
 *********************************************************************/
/*
.playwrite-gb-s 
{
  font-family: "Playwrite GB S", cursive;
  font-optical-sizing: auto;
  font-weight: <weight>;
  font-style: normal;
}
.cherry-bomb-one-regular 
{
  font-family: "Cherry Bomb One", system-ui;
  font-weight: 400;
  font-style: normal;
}
.sniglet-regular 
{
  font-family: "Sniglet", system-ui;
  font-weight: 400;
  font-style: normal;
}
.sniglet-extrabold
{
  font-family: "Sniglet", system-ui;
  font-weight: 800;
  font-style: normal;
}

// <weight>: Use a value from 300 to 700
// <uniquifier>: Use a unique and descriptive class name
.fredoka-<uniquifier>
{
  font-family: "Fredoka", sans-serif;
  font-optical-sizing: auto;
  font-weight: <weight>;
  font-style: normal;
  font-variation-settings:"wdth" 100;
}
*/
/*********************************************************************
 *********************************************************************
 **  Body Styles 
 **
 *********************************************************************
 *********************************************************************/
body 
{
	font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
	background-attachment: fixed;
	background-image: url("../images/MaryboroughPoolEntrance.jpg");
	background-position: center;
	background-repeat: no-repeat;
	background-size: cover;
	overflow: auto;
}
/*********************************************************************
 *********************************************************************
 **  Container Styles 
 **
 *********************************************************************
 *********************************************************************/
.container
{
	width: 100%;
	height: 100%;
	min-height: 100%;
	background-color: transparent;
	overflow: auto;
}
.container table
{
	width: 100%;
	height: 100%;
}
.container td
{
	padding: 10px;
}
/*********************************************************************
 *********************************************************************
 **  Masthead Styles 
 **
 *********************************************************************
 *********************************************************************/
.masthead
{
	width: 100%;
	margin-right: 10px!important;
	margin-left: 10px!important;
	margin-top: 0px;
	margin-bottom: 0px;
	padding: 0px;
	position: relative;
	top: -20px;
	height: var(--masthead_height);
}
.title_font
{
	font-family: "Cherry Bomb One", system-ui;
	font-weight: 400;
	font-style: normal;
}
#life_ring
{
	margin-top: 40px;
}
.main_title
{
	font-size: 74px;
	-webkit-text-stroke: 2px var(--outline_color);
	/*text-shadow: -2px -1px 0 var(--outline_color), 2px -1px 0 var(--outline_color), -2px 2px 0 var(--outline_color), 2px 2px 0 var(--outline_color);*/
	color: var(--title_color);
	line-height: 90px;
		
	margin: 0px!important;
	padding: 0px!important;

	border-style: none;
	border-width: medium;
	border-color: red;
}
.sub_title
{
	font-size: 60px;
	-webkit-text-stroke: 2px var(--outline_color);
	color: var(--subtitle_color);
	line-height: 50px;

	margin: 0px!important;
	padding: 0px!important;
	
	border-style: none;
	border-width: medium;
	border-color: green;
}
/*********************************************************************
 *********************************************************************
 **  Navigation Styles 
 **
 *********************************************************************
 *********************************************************************/
.navigation 
{
	position: relative;
	top: var(--top_adjustment);
	width: 100%;
	margin: 0px;
	padding: 0px;
	overflow: auto;
	height: var(--navigation_height);
}
.navigation ul
{
	display: block;
	list-style-type: none;
	width: auto;
	margin: 0px;
	padding: 0px;
}
.navigation li
{
	float: left;
	vertical-align: middle;
	text-align: center;
	margin: 5px;
}
.navigation a
{
	display: inline-block;
	position: relative;
	height: 20px;
	text-decoration: none;
	color: black;
	display: block;
	margin: 0 1px;
	padding: 10px;
	
	border-style: solid;
	border-width: medium;
	border-color: var(--subtitle_color);
	border-radius: 30px;
	
	/*background-color: var(--title_color);*/
	background-image: url("../images/pool_background.jpg");
	background-repeat: no-repeat;
	background-position: center;
	background-size: cover;
	background-attachment: fixed;
	
/*
	font-family: "Sniglet", system-ui;
	font-weight: 400;
	font-style: normal;
*/

	font-family: "Fredoka", sans-serif;
	font-optical-sizing: auto;
	font-weight: 600;
	font-style: normal;
	font-variation-settings:"wdth" 100;
	font-size: x-large;
	color: var(--subtitle_color);
	text-shadow: -1px -1px 0 var(--outline_color), 1px -1px 0 var(--outline_color), -1px 1px 0 var(--outline_color), 1px 1px 0 var(--outline_color);
}
.navigation a:hover
{
	text-decoration: none;
	border-color: var(--outline_color);
	text-shadow: -1px -1px 0 var(--subtitle_color), 1px -1px 0 var(--subtitle_color), -1px 1px 0 var(--subtitle_color), 1px 1px 0 var(--subtitle_color);
	color: var(--outline_color);
}
/*********************************************************************
 *********************************************************************
 **  Content Styles 
 **
 *********************************************************************
 *********************************************************************/
.page_content
{
	position: relative;
	top: var(--top_adjustment);
	width: 100%;
	overflow: auto;
	height: calc(100dvh - var(--masthead_height) - var(--navigation_height) - var(--footer_height) - 50px);
}
.page_content h1,h2,h3,h4,h5,h6,p,li,td,th,caption,a,pre,
.code_div h1,h2,h3,h4,h5,h6,p,li,td,th,caption,a,pre,
.toc_div h1,h2,h3,h4,h5,h6,p,li,td,th,caption,a,pre
{
/*
	font-family: "Sniglet", system-ui;
	font-weight: 400;
	font-style: normal;
*/

	font-family: "Fredoka", sans-serif;
	font-optical-sizing: auto;
	font-weight: 600;
	font-style: normal;
	font-variation-settings:"wdth" 100;
}
.page_content a
{
	color: var(--outline_color);
	text-decoration-color: var(--outline_color);
}
.page_content h1 a,
.page_content h2 a,
.page_content h3 a,
.page_content h4 a,
.page_content h5 a,
.page_content h6 a
{
	color: var(--subtitle_color);
	text-decoration-color: var(--outline_color);
}
.page_content h1,h2,h3,h4,h5,h6
{
	color: var(--subtitle_color);
	-webkit-text-stroke: 2px var(--outline_color);
	paint-order: stroke fill;
}
.page_content h1
{
	font-size: xx-large;
}
.page_content h2
{
	font-size: x-large;
}
.page_content h3
{
	font-size: large;
}
.page_content h4
{
	font-size: medium;
}
.page_content h5
{
	font-size: small;
}
.page_content h6
{
	font-size: x-small;
}
.page_content a
{
	color: var(--subtitle_color);
	text-decoration-color: black;
	text-decoration-thickness: 2px;
	text-underline-offset: 3px;
}
.page_content h1 a:hover,
.page_content h2 a:hover,
.page_content h3 a:hover,
.page_content h4 a:hover,
.page_content h5 a:hover,
.page_content h6 a:hover
{
	color: var(--title_color);
}
.page_content p
{
	font-size: medium;
	color: black;
}
.page_content img
{
	border-radius: 8px;
	border-style: solid;
	border-width: thick;
	border-color: var(--outline_color);
	padding: 0px;
	margin: 5px;
	display: inline-block;
	position: relative;
}
.text_div,
.code_div,
.toc_div
{
	display: block;
	visibility: visible;
	width: 100%;
	background-color: rgba(255, 255, 255, 0.8);
	padding: 10px;
	border-style: solid;
	border-width: medium;
	border-color: var(--outline_color);
	border-radius: 10px;
	
	overflow: auto;
	
	margin-bottom: 30px;
}
.code_div
{
	display: none;
}
.text_div img
{
	display: block;
	border-width: medium;
	opacity: 1;
	width: 400px;
}
.text_div a,
.code_div a,
.toc_div a
{
	color: var(--outline_color);
	text-decoration-color: var(--outline_color);
}
.text_div a:hover
.code_div a:hover,
.toc_div a:hover
{
	color: var(--title_color);
	text-decoration-color: var(--title_color);	
}
.text_div h1,
.text_div h2,
.text_div h3,
.text_div h4,
.text_div h5,
.text_div h6,
.code_div h1,
.code_div h2,
.code_div h3,
.code_div h4,
.code_div h5,
.code_div h6,
.toc_div h1,
.toc_div h2,
.toc_div h3,
.toc_div h4,
.toc_div h5,
.toc_div h6
{
	color: var(--title_color);
}
/*********************************************************************
 *********************************************************************
 **  Footer Styles 
 **
 *********************************************************************
 *********************************************************************/
.footer
{
	position: relative;
	top: var(--top_adjustment);
	width: 100%;
	height: var(--footer_height);
	margin-right: 0px;
	margin-left: 0px;
	text-align: left;

	font-family: "Fredoka", sans-serif;
	font-optical-sizing: auto;
	font-weight: 600;
	font-style: normal;
	font-variation-settings:"wdth" 100;
	font-size: x-large;
	color: var(--subtitle_color);
	text-shadow: -1px -1px 0 var(--outline_color), 1px -1px 0 var(--outline_color), -1px 1px 0 var(--outline_color), 1px 1px 0 var(--outline_color);
}
.footer_copyright
{
	position: relative;
	float: left;
}
.footer_attribution
{
	position: relative;
	float: right;
}
/*********************************************************************
 *********************************************************************
 **  Footer Styles 
 **
 *********************************************************************
 *********************************************************************/
hr
{
	border: medium var(--outline_color) solid;

	outline-style: solid;
	outline-color: var(--subtitle_color);
	outline-width: thin;

	clear: both;
	
	margin: 0px;
	padding: 0px;
}
.blink
{
	animation: flash 1.5s infinite;
}
@keyframes flash 
{
  0% { opacity: 1; }
  50% { opacity: 0; }
  100% { opacity: 1; }
}

/*********************************************************************
 *********************************************************************
 **  Code Styles 
 **
 *********************************************************************
 *********************************************************************/
.truth_table,
.not_table
{
	table-layout: fixed;
	margin: 0px;
}
.truth_table
{
	max-width: 330px;
	width: 330px;
}
.not_table
{
	max-width: 180px;
	width: 180px;
}
.table
{
	display: table;
	table-layout: fixed;
	width: 95%;
}
.variable_table
{
	display: table;
	table-layout: fixed;
	width: 160px;
	max-width: 160px;
	margin-top: 0px;
	margin-bottom: 0px;
}
.maths_table
{
	display: table;
	table-layout: fixed;
	width: 100%;
	max-width: 100%;
	margin-top: 0px;
	margin-bottom: 0px;
	text-align: left;
}
.table td,
.table th,
.truth_table td,
.truth_table th,
.not_table td,
.not_table th
{
	white-space: nowrap;
	word-wrap: break-word;
	overflow: auto;
	vertical-align: middle;
}
.truth_table td,
.truth_table th,
.not_table td,
.not_table th
{
	text-align: center;
}
.maths_table td,
.table td,
.table th
{
	text-align: left;
}
.table th,
.truth_table th,
.not_table th
{
	font-weight: bold;
	background-color: silver;
}
.table span
{
	font-weight: normal;
}
.truth_table th,
.truth_table td
{
	width: 90px;
}
.not_table th,
.not_table td
{
	width: 70px;
}
#green_div,
.green_div
{
	background-color: green;
	border-style: solid;
	border-color: red;
	border-width: thick;
}

.big_white_text
{
	color: white;
	font-size: xx-large;
}
.span
{
	background-color: green;
	border-style: solid;
	border-color: red;
	border-width: thick;
	color: white;
	font-size: xx-large;
}

.div2,
.div3,
.div4
{
	background-color: navy;
	visibility: visible;
	color: white;
	font-weight: bold;
	width: 100px;
	height: 100px;
}
.div2:hover
{
	background-color: blue;
}
.div3:hover
{
	visibility: hidden;
}
.div4:hover
{
	cursor: crosshair;
}
li
{
	line-height: 20px;
}