/*        This is the style file for the U of Waikato Sather documentation */

div                 {
                     display:block ;
                     margin-left:1em ;
                     padding-bottom:0em
                    }

h1                  {
                     text-align:center ;
                     font-family:sans-serif ;
                     font-size:2em ;
                     font-weight:bold ;
                     color:rgb(83,0,180)
                    }

h2                  {
                     display:block ;
                     padding-top:1em ;
                     padding-bottom:0.1em ;
                     font-family:sans-serif ;
                     font-size:1.2em ;
                     font-weight:bold ;
                     color:rgb(83,0,180)
                    }

h3                  {
                     display:block ;
                     padding-top:0.8em ;
                     padding-bottom:-0.3em ;
                     margin-left:0pt ;
                     text-indent:0pt ;
                     font-family:sans-serif ;
                     font-weight:bold ;
                     color:rgb(83,0,180)
                    }

h4                  {
                     display:run-in ;
                     margin-left:0pt ;
                     text-indent:0pt ;
                     font-family:sans-serif ;
                     font-style:italic ;
                     font-weight:bold ;
                     color:rgb(83,0,180)
                    }

h5                  {
                     display:block ;
                     padding-top:0.5em ;
                     margin-left:0pt ;
                     font-style:italic ;
                     color:rgb(83,0,180)
                    }

h6                  {
                     text-align:center ;
                     font-family:sans-serif ;
                     font-size:1.2em ;
                     font-weight:bold ;
                     color:rgb(170,70,70)
                    }

dt                  {
                     font-weight:bold
                     }

p                   {
                     padding-top:-0.25em ;
                     padding-bottom:0em ;
                     text-indent:2em
                    }

p.subt              {
                     margin-top:-1em
                    }

p.none              {
                     text-indent:0pt
                    }

p.narrower          {
                     top:0em ;
                     margin-left:2em ;
                     margin-right:2em ;
                     text-indent:0pt ;
                     font-style:italic
                    }

span.weak           {
                     font-size:1.2em ;
                     font-weight:bold ;
                     font-style:italic ;
                     color:rgb(180,0,0)
                    }

span.stress         {
                     font-style:italic ;
                     color:rgb(180,0,0)
                    }

span.big-stress     {
                     font-style:italic ;
                     font-weight:bold ;
                     color:rgb(180,0,0)
                    }

ul.green            {
                     list-style-image:url("graphics/grball.gif") ;
                     list-style-position:outside
                    }

dd.indent           {
                     position:relative ;
                     left:2em
                    }

dd.wider            {
                     position:relative ;
                     left:5em
                    }
