@charset "UTF-8"; /* Updated 20240726 -*- css -*- vim:set ft=css: */

/* 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		{ font-size: 18pt;
		  left-margin: 40pt; right-margin: 40pt;
		  font-family: Verdana, Times, serif;
		  color: black; }

h1		{ font-size: 200%; font-weight: bold;
		  font-family: Arial, Helvetica, sans-serif;
		  color: #007711; text-align: center; }
h2		{ font-size: 160%; font-weight: bold;
		  font-family: Arial, Helvetica, sans-serif;
		  color: #445511; text-align: center; }
h3		{ font-size: 140%; font-weight: bold;
		  font-family: Arial, Helvetica, sans-serif;
		  color: #445511; text-align: center; }

table		{ width: 80%; align: center; }

li ul		{ margin-top: 5pt; margin-bottom: 0ex; }
li ol		{ margin-top: 5pt; margin-bottom: 0ex; }
li dd		{ margin-top: 5pt; margin-bottom: 0ex; }

ul		{ margin-top: 20pt; margin-bottom: 0ex; }
ol		{ margin-top: 20pt; margin-bottom: 0ex; }

dl		{ margin-top: 20pt; margin-bottom: 0ex; }
dt		{ margin-top: 20pt; margin-bottom: 0ex; }

li		{ margin-top: 30pt; margin-bottom: 0ex; }

caption		{ font-size: 140%; font-weight: bold;
		  font-family: Arial, Helvetica, sans-serif; }

pre		{ font-size: 90%;
		  font-family: Courier New, Courier, monospace; }
code		{
		  font-family: Courier New, Courier, monospace; }

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

.c		{ font-size: 90%;
		  font-family: Courier New, Courier, monospace; }

.h		{ font-weight: bold;
		  font-family: Arial, Helvetica, sans-serif; }

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

.paper		{ }

h1.subject	{ margin-top: 20%; margin-bottom: 20%; }

h2.subject	{ color: #991100; }

div.slide	{ margin-top: 25%; margin-bottom: 25%; }

/*
  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; }

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

@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; position: absolute; }
  .menu.popup>li.menuh>ul.menul		{ display: none; position: absolute; }

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

@media screen
{
  /* The padding here must be synchronized with the left margin below */
  #withtoc		{ padding-right: 20%; }

  /*
    Inspired by:  http://WWW.W3C.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.
  */

  div#topright		{ display: block; position: absolute;
			  top: 1%; left: 81%; bottom: auto; right: 1%; }
  body>div#topright	{ display: block; position: fixed; }

  div#midright		{ display: block; position: absolute;
			  top: auto%; left: 81%; bottom: auto; right: 1%; }
  body>div#midright	{ display: block; position: fixed; }

  div#botright		{ display: block; position: absolute;
			  top: auto%; left: 81%; bottom: 1%; right: 1%; }
  body>div#botright	{ display: block; position: fixed; }

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

  .menu#toc>.menuh,
  .menu#styles>.menuh	{ color: #000000; background: #BBBBEE;
			  font-weight: bold; font-size: normal; }
  .menu#toc .menul,
  .menu#styles .menul	{ color: #000000; background: #CCCCFF;
			  font-weight: normal; font-size: smaller; }

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

@media print
{
  div.slide		{ display: block;
                          break-before: always;
                          page-break-before: always; }
  ul#styles		{ display: none; }
}