/*
  Style Sheet to accompany DocEng'04 Submission

  Cascading Style Sheet version 2
*/

    body         {font-family: Georgia, "Times New Roman", serif;
                  background-color: #9cc; color: black;
                  quotes:'\2018' '\2019' '\201C' '\201D'}

    h1, h2, h3, h4, h5, h6,
    dt.head, strong.head, 
    dl.meta dt, dt dfn
                 {font-family: Arial, Helvetica,
                               "Copperplate", "Trebuchet MS", sans-serif}

    .centre, h1, h2.sect, span.caption, p.caption  
                 {margin-left:auto; margin-right:auto; text-align:center}
    .centrebox   {margin-left:auto; margin-right:auto; margin-top:1.2ex;
                  border: thin groove #699}
    .left        {float:left}
    .right       {float:right}
    .noCSS       {display:none}
     ul.single   {list-style-type:none}
     ul.none     {list-style-type:none}
     hr          {clear:both}
     pre         {font-family:'Andale mono', monospace; font-size:small;
                  color:#630}
     caption     {text-indent:0; text-align:left}


   /*
      `disco' is short for discourse, i.e. the meta-content, and
      has nothing to do with The Avenger's episode The Nutshell       
   */

    div.disco > h2, div.disco > h3,
    div.disco > h4, div.disco > h5, div.disco > h6
                 {color: #030; background-color: #699}
    div.disco    {color: #033; border-color:     #699; background-color: #9c9}
    div.disco    {width: 90%; 
                  border-style: solid;
                  border-left-width: medium;
                  border-right-width: medium;
                  border-bottom-width: thin;
                  border-top-width: 0}
    div.disco>p  {padding-left: .7em}


   /*********
    div.disco > h2, div.disco > h3,
    div.disco > h4, div.disco > h5, div.disco > h6
                 {color: #630; background-color: #c96}
    div.disco    {color: #633;
                  background-color: #cc9;
                  border-color: #c96}
   **********/

   /* miscellaneous effects */

    .revise      {background-color:#fcc; border: medium dotted #f69;}

    h2 img       {vertical-align:middle; border:0}

    b            {background-color: #f39}

    ol.alpha     {list-style: lower-alpha} 
    ol.arabic    {list-style: decimal} 

    span.stat    {font-style:italic}

    span.vol     {font-weight: bold}

    p.smaller    {font-size: smaller}

    sup.fn       {color: #60c; font-weight:bold}
    span.fn      {background-color: #ccf;}

   /* XHTML Friends Network (XFN) */
    a.XFNperson  {text-decoration:none; color:inherit; font-weight:inherit}
    p:hover a.XFNperson, ul:hover li a.XFNperson
                 {text-decoration:underline; color:blue}

   /* nested lists */
    ol       {list-style: decimal}
    ol ol    {list-style: upper-alpha}
    ol ol ol {list-style: lower-roman}
    ol ol ol ol  
             {list-style: lower-alpha}

   /* marginal-notes */
    div.marginal, p.marginal, a.marginal, span.marginal
                 {border:thin solid #693; background:#ff6}
    div.example,  p.example, a.example
                {background-color:#99c; border:thin #369 solid}
    div.example, div.marginal, div#gloss,
    p.example,   p.marginal,
    a.example,   a.marginal,
    span.marginal,
    dd.annote
                 {font-family:'Papyrus', 'Lucidia Handwriting',
                    'Apple Chancery', 'Chalkboard', 'Comic Sans MS', cursive;
                  font-size: smaller}
    div#gloss    {width:45ex; margin-left:auto; margin-right:auto;
                  border:thin groove #633; background:#cfc}
    div.marginal, p.marginal, span.marginal
                 {font-size:small;}
    div.marginal, p.marginal
                 {clear:right;float:right; width:6.7em;
                  margin-top:auto; margin-bottom:auto; 
                  padding:.5em; margin-left: .9em}
    div#medgloss dt
                 {font-style: oblique; font-variant: small-caps}
    div#medgloss dt:first-child
                 {font-style: normal; font-variant: normal}
    p.title      {text-align:center; margin-left:auto; margin-right:auto;
                  font-weight:bold}
    span.title   {font-weight:bold; font-style: normal; font-variant: normal}
    dd.annote    {text-align:right; width:90%; float:right;
                  padding-top:.25ex; padding-right:.35ex;
                  padding-left:.25ex; margin-left: 1.5ex}
   /* subheads */
    div.sub   {margin-left:10%; margin-right:10%}


   /* anchors */
    a:target     {border:medium #9c0 dotted;
                  background-color: #cf9;   color: black}
    a.non:target {border:inherit;
                  background-color:inherit; color: inherit}
    a:link, a:visited
                 {font-weight: bold}
    a.off-site, a.citation
                 {font-weight: normal}
    a.citation,
    span.citation
                 {text-decoration:none; border-bottom:none; color:inherit} 

 /* make citations highly visible */
 /*
   a.citation 
     {background-color:#0c6; color:#96f;
      text-transform:lowercase;
      font-variant:small-caps} 
 */

    h1 a.citation, h1 span.citation,  h2 a.citation, h2 span.citation,
    h3 a.citation, h3 span.citation,  h4 a.citation, h4 span.citation,
    h5 a.citation, h5 span.citation,  h6 a.citation, h6 span.citation,
    li.hascite:hover a.citation, li.hascite:hover span.citation,
    pre:hover a.citation,  pre:hover span.citation,
     dt:hover a.citation,   dt:hover span.citation,
     dd:hover a.citation,   dd:hover span.citation,
      p:hover a.citation,    p:hover span.citation
                 {border-bottom:thin dotted blue}

    span:hover a.citation, pre:hover a.citation,
    h1 a.citation, h2 a.citation, h3 a.citation, 
    h4 a.citation, h5 a.citation, h6 a.citation, 
    dt:hover a.citation, dd:hover a.citation,
      li.hascite:hover a.citation,
       p:hover         a.citation
                 {color:blue}

   /* navigation links */
    p.nav, div.nav, span.nav, 
    div.navbox ul ul, li.navhead
                 {background-color:#cff}
    p.nav, div.nav
                 {color:black}
    ul.nav       {list-style-type:none; padding-left:0}

   /* start & end of section navigation lists */
    h2.sect            {clear:both}
    p.skipper          {float:left;font-size:small}
    p.sizer            {height:.1px; font-size:0; line-height:.1px}

    div.navbox         {margin:0 auto;padding:0 0.5em}

    div.navbox + *     {clear:both} /* Windoze IE doesn't obey this */
    #skipto, .IEbug6   {clear:both} /* Workaround Windoze IE        */
    h4#botnavhead      {margin-top:2em}

    div.navbox p       {clear:both;margin:0;padding:0}

    ul.navbox          {float:left; margin:0; padding:0;
                        list-style-type:none}

    li.navhead         {font-weight:bold;  text-align:center}
    li.navhead li      {font-weight:normal;text-align:left;text-indent:-1.5em}

    div.navbox,   
    ul.navbox          {width: 35em}
    ul.navbox>li,
    h4.navbox          {width: 17.25em}
    h4.navbox          {text-align:center; margin:auto;   margin-bottom:0;
                        padding-bottom:0; padding-left:0; padding-right:0}
   /*
    h4.navbox          {text-indent:-1.75em}
    h4.navbox#botnavhead span + br + span,
    span#b2
                       {position:relative; left:-1.75em;
                        border:medium dashed yellow}
   */
   /*
    h4.navbox          {position:relative; top:2ex; left:-.75em}
   */

    ul.navbox>li.top,
    ul.navbox>li.alt   {margin: 0 8em}

    ul.navbox>li       {float:left; border:thin #039 solid}
    ul.navbox>li.top   {border-bottom: none; padding-bottom: .5em}
    ul.navbox>li.prev  {border-right:  thin solid}
    ul.navbox>li.next  {border-left:   none}
    ul.navbox>li.prev, 
    ul.navbox>li.next  {border-bottom: thin solid; border-top: thin solid;
                        padding-bottom: .5em}
    ul.navbox>li.alt   {border-top:    none; padding:        .5em 0}

    ul.navbox>li ul    {list-style:none inside;
                        text-align:center;margin-left:auto;margin-right:auto}
    ul.navbox>li ul li
                       {list-style:none inside;
                        text-align:center;margin-left:auto;margin-right:auto}

   /* screenshots and labels */
    img.label       {height:1.6ex; width:1.6ex}
    img.fig         {width:609px; height:370px; border:outset medium #063}
    img.red         {border: thin red dashed}


   /* validation stickers in footer */
    p#valid a img   {border:0}
    p#valid         {float:left}

/* EOF */