/*   Styles for presentations
     ------------------------

Pages contain "points" made to the audience by displaying them successively.
Each point is assigned to a DIV element which is originally hidden, then displayed
by a click on a small button.  DIVs have an identifier of the form 'ptn'
where n is a number between 1 and 20.

There are many bulleted lists, but few normal text paragraphs; therefore it is more
efficient to declare a normal P to have no margins and to declare a class main text
(mt) that does have margins.

Borders and padding cannot be negative, but margins can.

For 1024:  point sizes of normal page are:  H1:55, H2:42, H3:36, P:33.

*/

BODY    {font-family: Helvetica,sans-serif; font-size: 24pt; background-color: white}

H1      {text-align: center; font-size: 45pt; font-family: Helvetica,sans-serif; margin: 0em; color: #950}
H2      {text-align: center; font-size: 36pt; font-family: Helvetica,sans-serif; margin-top: 0em; margin-bottom: 1em}
H3      {margin-left: 3em; margin-right: 3em; font-family: Helvetica,sans-serif; font-size: 30pt}
P       {margin: 0em; font-family: Helvetica,sans-serif; font-size: 28pt}
.point  {margin: 0em; font-family: Helvetica,sans-serif; font-size: 33pt}          /*normal*/
.tt     {margin: 0em; font-family: Helvetica,sans-serif; font-size: 30pt}          /*tight*/
.st     {margin-top: 0.35em; font-family: Helvetica,sans-serif; font-size: 30pt}   /*smaller*/
.stt    {margin-top: -0.2em; margin-bottom: -0.2em; font-family: Helvetica,sans-serif; font-size: 24pt}   /*smaller*/
.vt     {margin-top: 0.35em; font-family: Helvetica,sans-serif; font-size: 18pt}   /*very small*/
.mt     {margin-top:  0.5em; font-family: Helvetica,sans-serif; font-size: 33pt}   /*main*/
.lt     {margin-top:  0.8em; font-family: Helvetica,sans-serif; font-size: 38pt}   /*larger*/

UL      {margin-left: 3em}
LI      {color: #0c0; font-size: 24pt; margin-top: 0.5em}

PRE     {font-family: Courier; font-size: 22pt; margin: 0em}
BLOCKQUOTE {margin-left: 2em}

/* Contents of a chapter is a tight bulleted list in a smaller size: */
.ContentsHR  {margin-left: 111em; margin-top: 5em} /* a trick! */
.ContentsUL  {margin-left: 1em; margin-top: +5em}
.ContentsLI  {color: green; font-size: 18pt; margin-top: 0em}
.ContentsP   {font-size: 18pt; margin-top: 0em}

/* in-line text coloring: */
.TXGR {color: #090}
.TXRD {color: #F00}
.TXDB {color: #A90}

.SCREAM {color: yellow; background-color: red;
         padding: 0.5em; width: 80%; float: center;
         font-family: Helvetica,sans-serif;
         font-size: 55pt; font-weight: bold; text-align: center}

/* Exceptions: */
.ex1 {text-align: center; font-size: 48pt; font-weight: bold;
      font-family: Helvetica,sans-serif; margin-top: 0.2em; margin-bottom: 0.2em}
.ex2 {text-align: right; font-size: 18pt}

/* the first twenty points are hidden at loading: */
#pt1 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt2 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt3 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt4 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt5 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt6 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt7 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt8 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt9 {POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt10{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt11{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt12{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt13{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt14{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt15{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt16{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt17{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt18{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt19{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}
#pt20{POSITION: relative; Z-INDEX: 1; VISIBILITY: show;}

/* end */