@charset "UTF-8"; /* Updated 20210312; http://WWW.sabi.co.UK/ */

/* Order of sides: top right bottom left. (why? :->) */
/* List of names colors: aqua, black, blue, fuchsia, gray, green, lime,
   maroon, navy, olive, purple, red, silver, teal, white, and yellow. */

/* At equal priority, later definition overrides earlier definitions. */

body			{ margin: 0% 0% 0% 0%;
			  padding: 0% 3% 0% 3%;
			  font-size: 11pt;
			  color: black; background: #F7F7EE; }

body			{ font-family: "Verdana", "Helvetica", "Arial",
				       "Georgia", "Times", sans-serif; }
h1, h2, h3, h4,
.h, caption		{ font-family: "Verdana", "Helvetica", "Arial",
				       "Georgia", "Times", sans-serif; }

/* For "invisible" drafts */
.n			{ display: none; }

h1, h2, h3, h4,
caption			{ color: #001177; text-align: center;
			  margin-left: 15%; margin-right: 15%;
			  font-weight: bolder; }
.h			{ background: #AACCDD;
			  font-weight: bolder; }

/* Here it should be 'margin-', not 'padding-'. */
h1, caption.h1		{ font-size: 200%;
			  padding-top: 6ex; padding-bottom: 2.2ex; }
h2, caption.h2		{ font-size: 180%;
			  padding-top: 4ex; padding-bottom: 1.5ex; }
h3, caption.h3		{ font-size: 120%;
			  padding-top: 2.5ex; padding-bottom: 1ex; }
h4, caption.h4		{ font-size: 100%;
			  padding-top: 1.5ex; padding-bottom: 0.7ex; }
caption			{ font-size: 90%;
			  padding-top: 1ex; padding-bottom: 0.5ex; }

@media print
{
/*
  h1, .h1		{ page-break-before: always }
*/
  h1, h2, h3, h4, .h,
  .h1, .h2, .h3, .h4 	{ page-break-after: avoid }
  ul, ol, dl		{ page-break-before: avoid }
}

br			{ margin-top: 0.3ex; margin-bottom: 0ex; }
p			{ margin-top: 0.3ex; margin-bottom: 0ex; }

table   		{ margin-left: 5%; margin-right: 5%; }
tr.head			{ background: #EEEEEE; }
tr.odd			{ background: #FFFFEE; }
tr.even			{ background: #EEFFFF; }

/*
    Uh, the indent of a list marker is the left padding of the 'ul'
    element, while the indent of the 'dd' element is its 'margin-left'.
*/

ul			{ margin-top: 0ex; margin-bottom: 0ex;
			  margin-left: 0em; padding-left: 1em; }

ol			{ margin-top: 0ex; margin-bottom: 0ex;
			  margin-left: 0em; padding-left: 2em; }

dl			{ margin-top: 0ex; margin-bottom: 0ex;
			  margin-left: 0em; padding-left: 0em; }

li>ul			{ margin-top: 0ex; margin-bottom: 0ex; }
li>dl			{ margin-top: 0ex; margin-bottom: 0ex; }
dd>ul			{ margin-top: 0ex; margin-bottom: 0ex; }
dd>dl			{ margin-top: 0ex; margin-bottom: 0ex; }

li			{ margin-top: 0.3ex; margin-bottom: 0ex;
			  margin-left: 0.5em; padding-left: 0em; }

dt			{ margin-top: 0.5ex; margin-bottom: 0ex;
			  margin-left: 0.5em; padding-left: 0em;
			  font-weight: bolder; }

dd			{ margin-top: 0ex; margin-bottom: 0ex;
			  margin-left: 1.5em; padding-left: 0em; }

/*
  The pseudo classes are discussed here:

    http://WWW.W3.org/TR/REC-CSS2/selector.html#x33

  and they should be listed in the ':link', ':visited', ':hover',
  ':active' order. Also note that the pseudo classes can be used on
  elements other than 'a' in recent versions of CSS and browsers.
*/

a:link			{ color: navy;
			  text-decoration: underline;
			  background: inherit; }
a:visited		{ color: purple;
			  text-decoration: underline;
			  background: inherit; }
/*
  Does not work that well in IE, especially for background.
  Background gets stuck. Uhm.
*/
a:link:hover		{ color: teal;
			  text-decoration: underline;
			  /* background: yellow; */ }
a:visited:hover		{ color: purple;
			  text-decoration: underline;
			  /* background: yellow; */ }

img[border="0"]		{ border: thin solid navy !important; }

img.picture		{ display: block; margin: auto;
			   max-width: 90%; max-height: 90%; }

/*
  Table of quotation marks from:

     http://WWW.W3.org/TR/CSS21/generate.html#quotes-specify

  Proper use of quotation marks in Unicode:

     http://WWW.CL.Cam.ac.UK/~mgk25/ucs/quotes.html

  "	"	0022	QUOTATION MARK [the ASCII double quotation mark]
  '	'	0027	APOSTROPHE [the ASCII single quotation mark]

  <	<	2039	SINGLE LEFT-POINTING ANGLE QUOTATION MARK
  >	>	203A	SINGLE RIGHT-POINTING ANGLE QUOTATION MARK

  «	«	00AB	LEFT-POINTING DOUBLE ANGLE QUOTATION MARK
  »	»	00BB	RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK

  '	`	2018	LEFT SINGLE QUOTATION MARK [single high-6]
  '	'	2019	RIGHT SINGLE QUOTATION MARK [single high-9]

  "	``	201C	LEFT DOUBLE QUOTATION MARK [double high-6]
  "	''	201D	RIGHT DOUBLE QUOTATION MARK [double high-9]
  "	,,	201E	DOUBLE LOW-9 QUOTATION MARK [double low-9]
*/

/*
  Different kinds of quoting; the default is to assume a literal quotation.
  Other types are fuzzy/nonliteral/figurative quotations, foreign or
  special purpose language (terms of art) quotations.

  Important note: 'blockquote' is for long quotes, and 'q' for short
  quotes, but 'cite' is for _citations_, that is for proper names,
  in particular metadata (title, author, ...) about documents.
*/

body					{ quotes:
					    "\00AB" "\00BB"
					    "\2039" "\203A"; }

.t-a-l					{ text-align: left; }
.t-a-c					{ text-align: center; }
.t-a-r					{ text-align: right; }

# foreign language, non literal quote, term of art
.fl					{ quotes: "\201C" "\201C"; }
.nlq					{ quotes: "\2018" "\2019"; }
.toa					{ quotes: "\201C" "\201D"; }

q, blockquote				{ font-size: 90%;
					  font-style: italic; }

blockquote				{ margin-left: 4%;
					  margin-right: 4%;
					  border-top: thin solid;
					  border-bottom: thin solid; }

q:before				{ content: open-quote; }
q:after					{ content: close-quote; }

/*
  http://WWW.Mozilla.org/newlayout/testcases/layout/phrasal.html
  http://WWW.W3.org/TR/REC-html40/struct/text.html#h-9.2.1

  Part of speech elements:
    EM, STRONG, DFN, CODE, SAMP, KBD, VAR, CITE, ABBR, and ACRONYM
*/

var, .v			{ background: #EEEEFF; font-size: 90%; }

dfn:before		{ content: "\201C"; }
dfn:after		{ content: "\201D"; }

abbr, acronym		{ font-size: 100%; }


/*
  Cite is used to surround proper names. I distinguish by class
  between people's names (no class), names of corporate entities
  (class 'corp'), names of things (class 'thing') and names of
  books and other documents (classes 'title', 'part', 'author',
  'publ', 'date')
*/

cite			{ font-style: italic; }
cite.corp		{ font-style: normal; font-weight: bold; }
cite.thing		{ font-style: italic; }
cite.place		{ font-style: normal; }
cite.uom		{ font-style: italic; } /* unit of measure */

/*
  http://WWW.CS.TUT.FI/~jkorpela/www/windows-chars.html
*/

cite.sm:before		{ content: none; }
cite.sm:after		{ content: "\2120"; }

cite.tm:before		{ content: none; }
cite.tm:after		{ content: "\2122"; }

cite.reg:before		{ content: none; }
cite.reg:after		{ content: "\00AE"; }

/*
  Many citations styles, links in
    http://WWW.EngrLib.UC.edu/instruction/classes/cite.html
*/

cite.author		{ font-style: normal; font-size: 90%; }

cite.title:before	{ content: "\201C"; }
cite.title		{ font-style: italic; font-size: 90%; }
cite.title:after	{ content: "\201D"; }

/* For collections, title of the article */
cite.part:before	{ content: "\2018"; }
cite.part		{ font-style: normal; font-size: 90%; }
cite.part:after		{ content: "\2019"; }

/* Which issue or edition */
cite.which:before	{ content: "["; }
cite.which		{ font-style: normal; font-size: 90%; }
cite.which:after	{ content: "]"; }

/* Publisher */
cite.publ		{ font-style: normal; font-size: 90%; }

cite.date:before	{ content: "("; }
cite.date		{ font-style: normal; font-size: 90%; }
cite.date:after		{ content: ")" }

/*
  Computer parts of speech.
*/

tt			{ font-family: "Andale Mono", "Courier New", "Courier",
					"fixed", monospace;
                          font-size: 100%; }

code, .c		{ font-family: "Andale Mono", "Courier New", "Courier",
					"fixed", monospace;
                          font-size: 100%; background: #EEEEEE; }

pre			{ font-family: "Andale Mono", "Courier New", "Courier",
					"fixed", monospace;
                          font-size: 80%; background: #EEEEEE;
			  margin-top: 0.5ex; margin-bottom: 0.5ex;
                          border: thin ridge; }

samp			{ font-style: italic; }

/*
  A menu is something that has a heading followed by a list of entries,
  each entry can be data or a menu group.

  A menu can be either a 'div' with the heading being a 'p', or a 'ul'
  with the heading being the beginning of its first 'li'. The entry list
  is in all cases a 'ul'.

  In practice most browsers will only behave nicely if the menu is a 'ul',
  especially if the menu is also of class 'popup'.
*/

.menu, .menuh,
ul.menul, ul.menul>li	{ list-style-type: none; text-indent: 0mm; 
			  margin-top: 0mm; margin-bottom: 0mm;
			  margin-left: 0mm; margin-right: 0mm;
			  padding-top: 0mm; padding-bottom: 0mm;
			  padding-left: 0mm; padding-right: 0mm; }

ul.menul		{ margin-left: 1em; /* border-left: thin solid; */
			  text-decoration: none; }

ul.menul>li:first-child	{ border-top: none; }
ul.menul>li		{ border-top: thin dotted; }

.paper			{ }

.mark			{ display: block; margin-left: 5%; margin-right: 5%;
			  font-size: 90%; text-indent: -5%; text-align: right; }

.note			{ display: block; margin-left: 5%; margin-right: 5%;
			  font-size: 90%; text-indent: -5%; }

.todo			{ font-style: italic; text-align: right;
			  background: #EEEEFF; }

#dates			{ text-align: right;
			  font-size: smaller;
			  font-style: italic; }

#license		{ text-align: right;
			  font-size: smaller;
			  font-weight: bolder; }

#draft			{ text-align: center;
			  margin-top: 1ex; margin-bottom: 1ex;
			  font-size: larger; font-style: italic; }

@media screen
{
  /*
    Inspired by: http://WWW.MeyerWeb.com/eric/css/edge/menus/demo.html

    As written here a popup is single level only. Multiple level popups
    should be possible, but they are too fiddly.
  */

  /*
    In Mozilla 1.7 a bare class with a pseudo class don't work.
  */
  .menu.popup>p.menuh+ul.menul		{ display: none; }
  .menu.popup>li.menuh>ul.menul		{ display: none; }

  /*
    If these two lines are active, menus dont pop up.
  */
  .menu.popup>p.menuh+ul.menul		{ display: block; position: relative; }
  .menu.popup>li.menuh>ul.menul		{ display: block; position: relative; }

  /*
    In Mozilla 1.7 positioning sometimes 'absolute' is a bit too fiddly, so
    perhaps override with 'relative'.
  */
  .menu.popup>p.menuh:hover+ul.menul	{ display: block; position: relative; }
  .menu.popup>li.menuh:hover>ul.menul	{ display: block; position: relative; }
}

@media screen
{
  /*
    Inspired by:  http://WWW.W3.org/Style/Examples/007/menus.html

    This should be 'position: fixed' but is it is 'absolute' instead
    with an override later because of an IE[45] bug. Since IE [45]
    does not know about '>', it will ignore the latter.
  */

  body#withtoc				{ margin-right: 20%; }
  body#withtoc div#topright		{ display: block; position: absolute;
					  width: 19%; top: 1%; right: 1%; }
  body#withtoc>div#topright		{ display: block; position: fixed; }

  body#withtoc div.scroll#topright	{ display: block; position: absolute;
					  width: 19%; top: 1%; right: 1%; }

  body.noside#withtoc			{ margin-right: 0%; }
  body.noside#withtoc div#topright	{ display: block; position: static;
					  width: 60%; top: 0%; right: 0%;
					  margin-left: 20%; margin-right: 20%;}

  /*
    Special cases for the TOC and styles menus
  */

  .menu#toc>.menuh,
  .menu#styles>.menuh	{ color: #000000; background: #AABBEE;
			  font-weight: bold; font-size: medium; }
  .menu#toc .menul,
  .menu#styles .menul	{ color: #000000; background: #DDEEFF;
			  font-weight: normal; font-size: 85%; }

  ul#toc a, ul#styles a	{ text-decoration: none; }
}

@media print
{
  ul#styles		{ display: none; }
}

/*
@page
{
  @top-right		{ content: "***"; }
  @bottom-right		{ content: "+++"; }
}
*/