@charset "utf-8";
/*

  G E N E R A L   S T Y L E S





*/


@font-face { font-family: DejaVuSans; src: url('../zzFonts/DejaVu/DejaVuSans.ttf'); }
@font-face { font-family: DejaVuSans; src: url('../zzFonts/DejaVu/DejaVuSans-Bold.ttf'); font-weight: bold; }
@font-face { font-family: DejaVuSans; src: url('../zzFonts/DejaVu/DejaVuSans-Oblique.ttf'); font-style: italic; }
@font-face { font-family: DejaVuSans; src: url('../zzFonts/DejaVu/DejaVuSans-BoldOblique.ttf'); font-weight: bold; font-style: italic; }

@font-face { font-family: DejaVuSansCondensed; src: url('../zzFonts/DejaVu/DejaVuSansCondensed.ttf'); }
@font-face { font-family: DejaVuSansCondensed; src: url('../zzFonts/DejaVu/DejaVuSansCondensed-Bold.ttf'); font-weight: bold; }
@font-face { font-family: DejaVuSansCondensed; src: url('../zzFonts/DejaVu/DejaVuSansCondensed-Oblique.ttf'); font-style: italic; }
@font-face { font-family: DejaVuSansCondensed; src: url('../zzFonts/DejaVu/DejaVuSansCondensed-BoldOblique.ttf'); font-weight: bold; font-style: italic; }

@font-face { font-family: DejaVuSansMono; src: url('../zzFonts/DejaVu/DejaVuSansMono.ttf'); }
@font-face { font-family: DejaVuSansMono; src: url('../zzFonts/DejaVu/DejaVuSansMono-Bold.ttf'); font-weight: bold; }
@font-face { font-family: DejaVuSansMono; src: url('../zzFonts/DejaVu/DejaVuSansMono-Oblique.ttf'); font-style: italic; }
@font-face { font-family: DejaVuSansMono; src: url('../zzFonts/DejaVu/DejaVuSansMono-BoldOblique.ttf'); font-weight: bold; font-style: italic; }

@font-face { font-family: DejaVuSerif; src: url('../zzFonts/DejaVu/DejaVuSerif.ttf'); }
@font-face { font-family: DejaVuSerif; src: url('../zzFonts/DejaVu/DejaVuSerif-Bold.ttf'); font-weight: bold; }
@font-face { font-family: DejaVuSerif; src: url('../zzFonts/DejaVu/DejaVuSerif-Italic.ttf'); font-style: italic; }
@font-face { font-family: DejaVuSerif; src: url('../zzFonts/DejaVu/DejaVuSerif-BoldItalic.ttf'); font-weight: bold; font-style: italic; }

@font-face { font-family: DejaVuSerifCondensed; src: url('../zzFonts/DejaVu/DejaVuSerifCondensed.ttf'); }
@font-face { font-family: DejaVuSerifCondensed; src: url('../zzFonts/DejaVu/DejaVuSerifCondensed-Bold.ttf'); font-weight: bold; }
@font-face { font-family: DejaVuSerifCondensed; src: url('../zzFonts/DejaVu/DejaVuSerifCondensed-Italic.ttf'); font-style: italic; }
@font-face { font-family: DejaVuSerifCondensed; src: url('../zzFonts/DejaVu/DejaVuSerifCondensed-BoldItalic.ttf'); font-weight: bold; font-style: italic; }









/*  B O D Y  */


body	{
	font-family: DejaVuSansCondensed, sans-serif;
	margin: 0; padding: 6.0em 0 70.0em 0;
	background-color: rgb(100%,100%,100%);
	counter-reset: h1count;
	}







/*  P A G E   H E A D E R  */


body > header {
	position: fixed; top: 0; width: 100%; z-index: 10;
	background-color: rgb(80%,80%,80%);
	}

body > header > h2 {								/*  no subtitle  */
	font-size: 1.5em; text-align: center;
	margin: 0; padding: 0.45em 0.0em 0.45em 0.0em;
	border-top: solid 0.3em rgb(59%,59%,59%); border-bottom: solid 0.2em rgb(59%,59%,59%);
	background-color: rgb(80%,80%,80%);
	}

body > header > h2:before { content: ""; counter-increment: h2count -1; }

body > header > h2:nth-last-of-type(2) {			/*  title if there is a subtitle  */
	font-size: 1.3em; text-align: center;
	margin: 0; padding: 0.2em 0.0em 0.0em 0.0em;
	border-top: solid 0.15em rgb(59%,59%,59%); border-bottom: none;
	}

body > header > h2:nth-of-type(2) {					/*  subtitle if there is one  */
	font-size: 1.1em; text-align: center;
	margin: 0; padding: 0.2em 0.0em 0.2em 0.0em;
	border-top: none; border-bottom: solid 0.1em rgb(59%,59%,59%);
	}







/*  N A V  */


nav	{
	position: relative;
	padding: 0.2em 0 0.2em 1em;
	border-bottom: solid 0.1em rgb(55%,55%,55%);
	background-color: rgb(96%,96%,96%) ;
	}

nav p {	font-size: 0.7em;
	margin: 0; padding: 0;
	}







/*  P A G E   C O N T E N T  */


article.PagePreamble > h1	{ display: none; counter-increment: h1count -1; }		/*  preambles do need an h1, but it serves no purpose.  */







/*  P A G E   F O O T E R  */


body > footer {
	position: fixed; bottom: 0; z-index: 9; width: 100%;
	border-top: solid 0.1em rgb(40%,40%,40%);
	background-color: rgb(88%,88%,88%);
	}

body > footer p {
	font-size: 0.6em; font-style: italic; text-align: right; color: black;
	margin-bottom: 0.0em; margin-right: 0.5em;
	padding-bottom: 0.4em;
	}
	
	
	







/*  H 1 - H 6   P A R A G R A P H  */


h1	{ clear: both;
	font-family: DejaVuSans; font-size: 1.15em; font-weight: normal; color: rgb(0%,0%,0%);
	margin: 2.0em 0.0em 0.0em 0.0em ; padding: 0.2em 0.0em 0.25em 2.1739em;
	border-top: solid 0.08em rgb(65%,65%,65%);  border-bottom: none;
	background-color: rgb(85%,85%,85%);
	counter-increment: h1count; counter-reset: h2count h3count h4count;
	}

	h1:before { content: counter(h1count)".  "; }

	h1.NoNumber:before { content: ""; counter-increment: h1count -1; }



h2	{ clear: both;
	font-family: DejaVuSans; font-size: 1.1em; font-weight: normal; color: rgb(0%,0%,0%);
	margin: 1.8em 0 0.0em 2.2727em; padding: 0.2em 1.0em 0.2em 0.0em;
	border-top: solid 0.08em rgb(66%,66%,66%);
	background-color: rgb(85%,85%,85%);
	counter-increment: h2count; counter-reset: h3count h4count;
	}

	h2:before { content: counter(h1count)"."counter(h2count)".  "; }

	h2.NoNumber:before { content: ""; counter-increment: h2count -1; }



h3	{ clear: both;
	font-family: DejaVuSans; font-size: 1.0em; font-weight: normal; color: rgb(0%,0%,0%);
	margin: 1.5em 0 0.0em 2.5em; padding: 0.2em 1.0em 0.2em 0.5em;
	border: none;
	background-color: rgb(85%,85%,85%);
	counter-increment: h3count; counter-reset: h4count;
	}

	h3:before { content: counter(h1count)"."counter(h2count)"."counter(h3count)".  "; }

	h3.NoNumber:before { content: ""; counter-increment: h3count -1; }


h4	{ clear: both;
	font-family: DejaVuSans; font-size: 1.0em; font-weight: normal; font-style: italic; color: rgb(0%,0%,0%);
	margin: 1.0em 0 0.0em 2.5em; padding: 0.2em 1.0em 0.2em 0.5em;
	border: none;
	background-color: transparent;
	counter-increment: h4count;
	}

	h4:before { content: counter(h1count)"."counter(h2count)"."counter(h3count)"."counter(h4count)".  "; }

	h4.NoNumber:before { content: ""; counter-increment: h4count -1; }



p	{ text-align: justify; margin: 0.5em 1.5em 0.0em 2.5em; }


p.Bold		{ font-weight: bold; margin: 0.5em 1.5em 0.0em 2.5em; }
p.Code		{ white-space: pre; font-family: DejaVuSansMono, monospace; font-size: 0.9em; margin: 0.5em 1.5em 0.0em 2.5em; color: rgb(0%,47%,0%); border: dotted 1px rgb(60%,84%,60%); background-color: rgb(90%,100%,90%); }
p.Emphasis	{ font-family: DejaVuSerif, serif; font-style: italic; color: rgb(60%,27%,0%); margin: 0.5em 1.5em 0.0em 2.5em; }
p.Italic	{ font-style: italic; margin: 0.5em 1.5em 0.0em 2.5em; }

p.Author	{ font-size: 0.9em; font-style: italic; text-align: right; margin-right: 2.5em; }
p.Date		{ font-size: 0.9em; font-style: italic; text-align: right; margin-right: 2.5em; }

p.Explanation { font-family: DejaVuSerifCondensed; font-style: italic; font-size: 0.9em; color: rgb(45%,25%,0%); margin-left: 2.7778em; margin-right: 3em; }

h1.Explanation {  clear: both;
	font-family: DejaVuSans; font-size: 1.2em; font-style: italic; font-weight: bold; color: rgb(45%,25%,0%);
	margin: 2.0em 0.0em 0.0em 0.0em ; padding: 0.5em 0.0em 0.5em 2.0833em;
	border-top: solid 0.08em rgb(65%,65%,65%);  border-bottom: none;
	background-color: rgb(100%,80%,50%);
	}
	h1.Explanation:before { content: ""; counter-increment: h1count -1; }












/*  W I D T H S   B O R D E R S   A L I G N M E N T S  */

/* Widths in percent */
.W05	{ width:   5%; }
.W10	{ width:  10%; }
.W15	{ width:  15%; }
.W20	{ width:  20%; }
.W25	{ width:  25%; }
.W30	{ width:  30%; }
.W35	{ width:  35%; }
.W40	{ width:  40%; }
.W45	{ width:  45%; }
.W50	{ width:  50%; }
.W55	{ width:  55%; }
.W60	{ width:  60%; }
.W65	{ width:  65%; }
.W70	{ width:  70%; }
.W75	{ width:  75%; }
.W80	{ width:  80%; }
.W85	{ width:  85%; }
.W90	{ width:  90%; }
.W95	{ width:  95%; }
.W100	{ width: 100%; }

/* Widths in em */
.We02	{ width:   2em; }
.We03	{ width:   3em; }
.We04	{ width:   4em; }
.We06	{ width:   6em; }
.We10	{ width:  10em; }
.We15	{ width:  15em; }
.We20	{ width:  20em; }
.We25	{ width:  25em; }
.We30	{ width:  30em; }
.We40	{ width:  40em; }
.We50	{ width:  50em; }

/* .Hddd : dummy classes for indicating desired height in % of window width, as interpreted and set by script. */

/* Borders */
.Bt	{ border-top:		solid 0.1em rgb(53%,53%,53%); }
.Br	{ border-right:		solid 0.1em rgb(53%,53%,53%); }
.Bb	{ border-bottom:	solid 0.1em rgb(53%,53%,53%); }
.Bl	{ border-left:		solid 0.1em rgb(53%,53%,53%); }
.Ba	{ border:			solid 0.1em rgb(53%,53%,53%); }
.Bn	{ border:			none; }

/* Background colours (Highlights) */
.Hb { background-color: rgb(78%,86%,100%); }
.Hy { background-color: rgb(100%,100%,76%); }
.Hr { background-color: rgb(100%,86%,78%); }
.Hg { background-color: rgb(84%,100%,77%); }

/* Alignments */
.At	{ vertical-align:	top;		}
.Am	{ vertical-align:	middle;		}
.Ab	{ vertical-align:	bottom;		}
.Al	{ text-align:		left;		}
.Ac	{ text-align:		center;		}
.Ar	{ text-align:		right;		}
.Aj	{ text-align:		justify;	}
.An	{ white-space:		nowrap;		}
.Aw	{ white-space:		normal;		}
.Ap	{ white-space:		pre;		}

table.Al { margin-left: 0; }
img.Al { margin-left: 0; }
img.Am { margin-top: auto; margin-bottom: auto; }

/* Floats */
.Fr { float: right; }
.Fl { float: left; }








/*  T A B L E S  */

	
/* by default table is transparent and centred, cells have no borders no textwrap and moderate padding.
	To allow overflow on tablets, tables must be wrapped in a div element. */


table	{
	clear: both;
	margin: 0 auto 0 auto;
	border-collapse: collapse; border: none;
	}

thead	{
	}

th	{
	font-weight: normal; vertical-align: middle; text-align: center; white-space: nowrap;
	padding: 0.2em 0.5em 0.2em 0.5em;
	border-collapse: collapse; border: none;
	background-color: rgb(96%,96%,70%);
	}

tbody	{
	}

td	{
	vertical-align: top; white-space: nowrap;
	padding: 0.2em 0.5em 0.2em 0.5em;
	border-collapse: collapse; border: none;
	background-color: transparent;
	}

tfoot	{
	font-weight: normal; vertical-align: middle; text-align: center; white-space: nowrap;
	padding: 0.2em 0.5em 0.2em 0.5em;
	border-collapse: collapse; border: none;
	background-color: rgb(86%,100%,100%);
	}

caption		{ caption-side: bottom; font-style: italic; padding-top: 0.8em; text-align: center; }
caption.Dt	{ caption-side: top; font-style: italic; padding-bottom: 0.8em; text-align: center; }
caption.Db	{ caption-side: bottom; font-style: italic; padding-top: 0.8em; text-align: center; }


td > p	{ white-space: normal; margin: 0.5em 0.0em 0.0em 0.0em; padding: 0; }

/* columns cannot generally have style properties inherited from a col element; using nth-child also fails if there are colspan cells in the row */
table.Ar td { text-align: right; }
table.Ar1 td:nth-child(1) { text-align: right; }
table.Ar2 td:nth-child(2) { text-align: right; }
table.Ar3 td:nth-child(3) { text-align: right; }
table.Ar4 td:nth-child(4) { text-align: right; }
table.Ar5 td:nth-child(5) { text-align: right; }
table.Ar6 td:nth-child(6) { text-align: right; }
table.Ar7 td:nth-child(7) { text-align: right; }
table.Ar8 td:nth-child(8) { text-align: right; }
table.Ar9 td:nth-child(9) { text-align: right; }
table.Ar10 td:nth-child(10) { text-align: right; }

table.Ac td { text-align: center; }
table.Ac1 td:nth-child(1) { text-align: center; }
table.Ac2 td:nth-child(2) { text-align: center; }
table.Ac3 td:nth-child(3) { text-align: center; }
table.Ac4 td:nth-child(4) { text-align: center; }
table.Ac5 td:nth-child(5) { text-align: center; }
table.Ac6 td:nth-child(6) { text-align: center; }
table.Ac7 td:nth-child(7) { text-align: center; }
table.Ac8 td:nth-child(8) { text-align: center; }
table.Ac9 td:nth-child(9) { text-align: center; }
table.Ac10 td:nth-child(10) { text-align: center; }

table.Aw td	{ white-space: normal; }
table.Aw1 td:nth-child(1) { white-space: normal; }
table.Aw2 td:nth-child(2) { white-space: normal; }
table.Aw3 td:nth-child(3) { white-space: normal; }
table.Aw4 td:nth-child(4) { white-space: normal; }
table.Aw5 td:nth-child(5) { white-space: normal; }
table.Aw6 td:nth-child(6) { white-space: normal; }
table.Aw7 td:nth-child(7) { white-space: normal; }
table.Aw8 td:nth-child(8) { white-space: normal; }
table.Aw9 td:nth-child(9) { white-space: normal; }
table.Aw10 td:nth-child(10) { white-space: normal; }

table.Ap td	{ white-space: pre; }
table.Ap1 td:nth-child(1) { white-space: pre; }
table.Ap2 td:nth-child(2) { white-space: pre; }
table.Ap3 td:nth-child(3) { white-space: pre; }
table.Ap4 td:nth-child(4) { white-space: pre; }
table.Ap5 td:nth-child(5) { white-space: pre; }
table.Ap6 td:nth-child(6) { white-space: pre; }
table.Ap7 td:nth-child(7) { white-space: pre; }
table.Ap8 td:nth-child(8) { white-space: pre; }
table.Ap9 td:nth-child(9) { white-space: pre; }
table.Ap10 td:nth-child(10) { white-space: pre; }


table.Simple th		{ border: solid 0.1em rgb(53%,53%,53%); }
table.Simple th.Bn	{ border: none; background-color: transparent; }
table.Simple td		{ border: solid 0.1em rgb(53%,53%,53%); }
table.Simple td.Bn	{ border: none; background-color: transparent; }
table.LeftHeadings tr > td:first-child { background-color: rgb(96%,96%,70%); }









/*  L I S T S  */

ul			{ margin: 0.5em 1.5em 1.5em 4.5em; padding: 0; list-style-type: disc; }
	li > ul	{ margin: 0.0em 0.0em 0.5em 1.5em; }

ol			{ margin: 0.5em 1.5em 1.5em 4.9em; padding: 0; list-style-type: decimal; }
	li > ol	{ margin: 0.0em 0.0em 0.5em 1.5em; }

li			{ margin: 0.0em 1.5em 0.0em 1em; text-align: left; }

ul.Loose			{ margin-top: 1.0em; }
	ul.Loose > li	{ margin-top: 0.7em; }

ol.Loose			{ margin-top: 1.0em; }
	ol.Loose > li	{ margin-top: 0.7em; }


ul.WithImage	{ list-style-type: none; margin-left: 4em; }
ul.WithImage li { margin: 0.5em 1.5em 0.0em 0.0em; text-align: left; padding-left: 1.3em; list-style-type: none;
		background-image: url("Bullet.png"); background-repeat: no-repeat;
		background-position: 0.0em 0.25em; background-size: 0.8em 0.8em;
		}

ul.WithSVG	{ list-style-type: none; margin-left: 4em; }
ul.WithSVG li { margin: 0.5em 1.5em 0.0em 0.0em; text-align: left; padding-left: 1.5em; list-style-type: none;
		background-image: url("Bullet.svg"); background-repeat: no-repeat;
		background-position: 0.0em 0.1em; background-size: 1em 1em;
		}


ol.NestedNumbering				{ counter-reset: olnestcount; list-style-type: none; margin-left: 3.5em; }
li > ol.NestedNumbering	{ margin-left: 1.5em; }
ol.NestedNumbering li:before	{ content: counters(olnestcount,".")".  " ; font-size: 1.0em; vertical-align: 0; counter-increment: olnestcount; }


/* for definitions to float right of their term, the dd margin-left must be greater than the dt width,
and the dt and dd margin-top must be equal too. */

dl	{ clear: both; margin: 1.0em 4.0em 1.5em 4.5em; padding: 0em; border: solid 1px transparent; }
dt	{ margin-top: 0.5em; display: block; font-family: DejaVuSansCondensed; }
dd	{ margin-top: 0.2em; display: block; text-align: left; }
dd p	{ margin-left: 0; margin-right: 0; }

dl.Dw6 dt	{ clear: both; width: 6.0em; float: left; }
dl.Dw6 dd	{ margin-left: 7.0em; margin-top: 0.5em; }

dl.Dw8 dt	{ clear: both; width: 8.0em; float: left; }
dl.Dw8 dd	{ margin-left: 9.0em; margin-top: 0.5em; }

dl.Dw10 dt	{ clear: both; width: 10.0em; float: left; }
dl.Dw10 dd	{ margin-left: 11.0em; margin-top: 0.5em; }

dl.Dw6r dt	{ clear: both; width: 6.0em; float: left; text-align: right; }
dl.Dw6r dd	{ margin-left: 7.0em; margin-top: 0.5em; }

dl.Dw8r dt	{ clear: both; width: 8.0em; float: left; text-align: right; }
dl.Dw8r dd	{ margin-left: 9.0em; margin-top: 0.5em; }

dl.Dw10r dt	{ clear: both; width: 10.0em; float: left; text-align: right; }
dl.Dw10r dd	{ margin-left: 11.0em; margin-top: 0.5em; }








/*  R U L E R S  */
/*
background-color is the colour of the line, height is the thickness of the line,
border specifications apply to a border around the line, they are normally reduced to border: none.
*/

hr			{ background-color: rgb(59%,59%,59%); margin-top: 0.2em; margin-bottom: 0.1em; width: 100%; height: 0.1em; border-width: 0; }
hr.PageEnd	{ background-color: rgb(59%,59%,59%); margin-top: 2.0em; margin-bottom: 0.1em; width:  30%; height: 0.2em; border-width: 0; } /* do not remove */
body > hr	{ background-color: rgb(59%,59%,59%); margin-top: 2.0em; margin-bottom: 0.1em; width:  30%; height: 0.2em; border-width: 0; } /* end of page */
hr.Footnote	{ background-color: black; margin: 2.0em auto 0.0em 2.5em; width: 10em; height: 0.1em; } /* above "footnotes" */
p.Footnote	{ font-size: 0.9em; margin-left: 2.7778em; font-style: italic; }








/*  A N C H O R S  */

/* the sequence MUST be link-visited-hover-active ! */

a:link		{  }
a:visited	{  }
a:hover		{  }
a:active	{  }

/*	Target anchors, for going to a place inside a page.  The page header would otherwise obscure the first part.
	The syntax for a target anchor is:
	<a id="TheIdOfThePlace" class="InPage">&nbsp;</a>
	The content must not be null, use an absolute space.  The top position and the margin must adapt to the size of the page header.
*/
a.InPage		{ position: relative; top: -7.0em; padding: 0; margin: 0; font-size: 0.01em; }








/*  I M A G E S   D R A W I N G S   A N D   F I G U R E S  */

/* by default images have their native width and height and are centred in the containing element */


img			{ display: block; margin: 1.0em auto 1.0em auto; }
img.Il		{ display: inline; margin: 1.0em auto 1.0em auto; }

svg			{ display: block; margin: 1.0em auto 1.0em auto; }


figure		{ margin: 1.5em auto 1.5em auto; }
figcaption	{ text-align: center; font-style: oblique; font-size: 0.9em; margin: 0.5em auto 0.5em auto; white-space: nowrap; }
figure.Ba	{ padding: 0.0em 1.0em 0.0em 1.0em; border: solid 0.1em rgb(59%,59%,59%); }
figure.Fl	{ margin: 0.5em 1.5em 1.5em 2.5em; }
figure.Fr	{ margin: 0.0em 1.5em 1.5em 1.5em; }

figcaption .SVG	{ font-size: 0.6em; color: red; margin-left: 1.0em; text-decoration: none; }

video		{ display: block; margin: 1.0em auto 1.0em auto; }








/*  T E X T   S T Y L E S  */

/* semantic and presentation mixed, in alphabetical order: */
.Bold			{ font-weight: bold; }
.Code			{ white-space: pre; font-family: DejaVuSansMono, monospace; font-size: 0.9em; color: rgb(0%,47%,0%); margin: 0.0em 0.2em 0.0em 0.2em; padding: 0.0em 0.3em 0.0em 0.3em; border: dotted 1px rgb(60%,84%,60%); background-color: rgb(90%,100%,90%); }
.Definition		{ font-style: italic; color: rgb(47%,0%,39%); margin-right: 0.2em; }
.Emphasis		{ font-family: DejaVuSerif, serif; font-style: italic; color: rgb(60%,27%,0%); margin-right: 0.08em; }
.Example		{ font-family: DejaVuSansMono, monospace; color: rgb(33%,53%,0%); margin: 0 0.2em 0 0.2em; }
.Formula		{ margin: 0.5em 2.0em 0.5em 2.0em; padding: 0.5em 1.0em 0.5em 1.0em; border: solid 0.1em rgb(67%,67%,67%); }
.Intonate		{ font-style: italic; margin-right: 0.1em; }
.Italic			{ font-style: italic; margin-right: 0.2em; }
.Math			{ white-space: pre; font-family: DejaVuSerif, serif; font-style: italic; letter-spacing: 0.1em; color: rgb(0%,0%,77%); margin: 0.0em 0.2em 0.0em 0.2em; }
.MonospacePre	{ white-space: pre; font-family: DejaVuSansMono, monospace; color: rgb(0%,0%,0%); margin: 0.0em 0.2em 0.0em 0.2em; }
.Quote			{ font-family: DejaVuSerifCondensed, serif; font-style: italic; color: rgb(0%,0%,20%); margin-left: 0.2em; margin-right: 0.2em; }
	.Quote:before	{ content: "“"; }
	.Quote:after	{ content: "”"; }
sub				{ font-size: 0.8em; font-style: italic; vertical-align: sub; margin-left: 0.0em; margin-right: 0.1em; letter-spacing: 0.2em; }
sup				{ font-size: 0.6em; vertical-align: super; }
.Smaller		{ font-size: 0.7em; }
.Snbs			{ font-size: 0.5em; } /* small non-breaking space */
.Term			{ color: rgb(47%,0%,33%); }
.TextRed		{ color: red; }
.TextGreen		{ color: green; }
.TextBlue		{ color: blue; }
.Tiny			{ font-size: 0.2em; }








/*  B L O C K S  */

.Ofa	{ overflow: auto; }
.Ofh	{ overflow: hidden; }

div	{
	display: block; overflow: auto;
	margin: 1em auto 1em auto;
	}



div.Framed	{
	margin: 1.2em 1.5em 1.0em 2.5em; padding: 0.5em 0.0em 1.0em 0.0em;
	border: solid 0.1em rgb(0%,0%,0%);
	}

div.Quote {
	font-family: DejaVuSerifCondensed; font-style: italic; color: rgb(0%,0%,20%);
	margin: 1.2em 1.5em 1.0em 2.5em;
	}
	div.Quote:before { content: ""; }
	div.Quote:after { content: ""; }

div.QuoteFramed	{
	font-family: DejaVuSerifCondensed; font-style: italic; color: rgb(20%,20%,50%);
	margin: 1.2em 1.5em 1.0em 2.5em; padding: 0.5em 0.0em 1.0em 0.0em;
	background-color: rgb(97%,97%,100%);
	border: solid 0.1em rgb(67%,67%,67%);
	}
	div.QuoteFramed p { font-family: DejaVuSerifCondensed, serif; }
	div.QuoteFramed p.Author { font-weight: bold; text-align: right; margin-right: 4.0em; }
	div.QuoteFramed li { font-family: DejaVuSerifCondensed, serif; margin: 0.2em; }



div.Concept {
	margin: 1.2em 1.5em 1.0em 1.0em;
	}

div.ConceptFramed	{
	margin: 1.2em 3em 1.0em 5em; padding: 0.5em 0.0em 1.0em 0.0em;
	background-color: rgb(100%,100%,90%);
	border: solid 0.1em rgb(67%,67%,67%);
	}



div.Example {
	margin: 1.2em 1.5em 1.0em 2.5em;
	}

div.ExampleFramed {
	font-family: DejaVuSansMono, monospace; color: rgb(33%,53%,0%);
	margin: 1.2em 1.5em 1.0em 2.5em; padding: 0.0em 0.0em 1.0em 0.0em;
	background-color: rgb(100%,94%,94%);
	border: solid 0.1em rgb(94%,63%,63%);
	}
	div.ExampleFramed p { margin: 0.5em 1.0em 0.0em 1.0em; }



div.Slogan {
	margin: 1.2em 1.5em 1.0em 2.5em;
	}
	div.Slogan p { font-family: DejaVuSans; font-size: 1.5em; text-align: center; }

div.SloganFramed	{
	margin: 1.2em 1.5em 1.0em 2.5em; padding: 0.0em 0.0em 1.0em 0.0em;
	background-color: rgb(100%,90%,90%);
	border: solid 1.0em rgb(100%,63%,63%);
	}
	div.SloganFramed p { font-family: DejaVuSans; font-size: 1.5em; text-align: center; color: rgb(70%,0%,0%)}








/*   M A T H E M A T I C S   A N D   P R O G R A M M I N G  */


math					{ font-family: DejaVuSerif, serif; color: rgb(0%,0%,77%); margin-left: 0.2em; margin-right: 0.2em; }
mo						{ margin-left: 0.2em; margin-right: 0.2em; }
msup > mn				{ font-size: 0.8em; }
msubsup > mn			{ font-size: 0.8em; }
msubsup mn:nth-child(3)	{ font-size: 0.6em; }
msubsup mi:nth-child(2)	{ font-size: 0.6em; }
msub mi:nth-child(2)	{ font-size: 0.6em; vertical-align: -0.6em; }
msup mn:nth-child(2)	{ font-size: 0.6em; }
msqrt					{ margin-top: 0.1em; }

div.Math {
	display: block; overflow: auto;
	font-family: DejaVuSerif, serif;
	margin: 1.5em 1.0em 2.0em 2.5em;
	}

	div.Math > p {
		font-style: italic; color: rgb(0%,0%,77%);
		margin: 0.2em 0.1em 0.0em 0.1em; padding: 0;
		}
	
div.MathFramed {
	display: block; overflow: auto;
	font-family: DejaVuSerif, serif;
	margin: 1.5em 1.5em 1.0em 2.5em; padding: 0.8em 1.5em 1.0em 1.0em;
	border: solid 0.1em rgb(63%,63%,80%);
	background-color: rgb(100%,100%,100%);
	}

	div.MathFramed > p {
		font-style: italic; color: rgb(0%,0%,77%);
		margin: 0.2em 0.1em 0.0em 0.1em; padding: 0;
		}
		
		
/*
syntax highlighting (colouring) for examples of code is done independent of the
language, by providing only a choice of colours and text styles, all of whose names
begin with S (for "syntax"), followed by a single letter:

Su	light blue
SU	dark blue
Sg	light green
SG	dark green
SY	dark yellow
Sp	pink
Sb	bold
Si	italic

*/

span.Su { color: rgb(0%,62%,75%); }
span.SU { color: rgb(0%,0%,62%); }
span.Sg { color: rgb(40%,100%,40%); }
span.SG { color: rgb(0%,62%,0%); }
span.SY { color: rgb(62%,56%,0%); }
span.Sp { color: rgb(62%,0%,62%); }
span.Sb { font-weight: bold; }
span.Si { font-style: italic; }


div.Code {
	display: block; overflow: auto;
	font-family: DejaVuSansMono, monospace; color: rgb(0%,47%,0%); white-space: pre;
	margin: 2.0em 1.5em 3.0em 2.5em;
	}
	
div.CodeFramed {
	display: block; overflow: auto;
	font-family: DejaVuSansMono, monospace;
	margin: 1.5em 1.5em 1.0em 2.5em; padding: 0.5em 1.5em 1.0em 1.5em;
	background-color: rgb(100%,94%,94%);
	border: solid 0.1em rgb(60%,33%,33%);
	}

	div.CodeFramed > p {
		font-family: DejaVuSansMono, monospace; font-size: 0.8em; color: rgb(0%,47%,0%); white-space: pre;
		margin: 0.1em 0.1em 0.0em 0.1em; padding: 0;
		}
	div.CodeFramed > p.CodeComment {
		font-family: DejaVuSansMono, monospace; font-style: italic; font-size: 0.8em; color: rgb(0%,47%,0%); white-space: normal;
		margin: 0.5em 0.1em 0.5em 2.1em; padding: 0; text-indent: -2em;
		}
	div.CodeFramed > p.CodeAssertion {
		font-family: DejaVuSansMono, monospace; font-style: italic; font-size: 0.8em; color: rgb(0%,47%,0%); white-space: normal;
		margin: 0.5em 0.1em 0.5em 2.1em; padding: 0; text-indent: -2em;
		}







/* LiveCode code  --  as generated by the Livecode-to-HTML stack.*/

div.LCCodeBox {
	display: block; overflow: auto;
	background-color: rgb(100%,100%,94%); border: solid 0.1em rgb(60%,60%,40%);
	padding: 0.5em 0 0.8em 0.5em; margin: 2.5em;
	}

	div.LCCodeBox p {
		font-family: DejaVuSansMono, monospace; color: rgb(0%,0%,0%); white-space: pre;
		margin: 0.2em 0.1em 0.0em 0.5em; padding: 0;
		}

.LCCode				{ color: rgb(0%,0%,0%); white-space: pre; }
.LCFunction			{ color: rgb(56%,13%,56%); }
.LCKeyword			{ font-weight: bold; font-size: 0.92em; }
.LCBlockComment		{ color: rgb(0%,56%,0%); white-space: pre; font-style: italic; }
.LCLineComment		{ color: rgb(0%,56%,0%); white-space: pre; font-weight: bold; font-size: 0.92em; }
.LCComment			{ color: rgb(0%,56%,0%); white-space: pre; font-weight: bold; }
.LCCommentLine		{ color: rgb(0%,56%,0%); white-space: pre; font-weight: bold; }
.LCCommand			{ color: rgb(56%,56%,0%); }
.LCProperty			{ color: rgb(27%,65%,67%); }
.LCLiteral			{ color: rgb(0%,0%,56%); }
.LCControlStructure	{ color: rgb(60%,2%,9%); }
.LCBold				{ font-weight: bold; }
.LCItalic			{ font-style: oblique; padding-right: 0.2em; }
.LCLineNumber		{ margin-right: 1em;}

/* END OF STYLE SHEET */