/*        This file contains the style components necessary to put vdm-sl
     concrete syntax into the Sather specification document. */

div.vdm               {
                       display:block ;
                       font-style:italic ;
                       color:rgb(0,0,0) ;
                       margin-left:2em
                      }

dd.vdm                {
                       text-indent:3em
                       }

p.define:first-line   {
                       text-indent:2em
                      }

p.define              {
                       background:rgb(192,192,192)
                      }

p.pre:before          {
                       font-weight:bold ;
                       color:rgb(83,133,0) ;
                       content:"pre " ;
                       text-indent:-2em
                      }

p.pre                 {
                       position:relative ;
                       left:2em
                      }

p.post:before         {
                       font-weight:bold ;
                       color:rgb(83,133,0) ;
                       content:"post " ;
                       text-indent:-2em
                      }

p.post                {
                       position:relative ;
                       left:2em
                      }

p.errs:before         {
                       font-weight:bold ;
                       color:rgb(83,133,0) ;
                       content:"errs " ;
                       text-indent:-2em
                      }

p.errs                {
                       position:relative ;
                       left:2em
                      }

em.vdm                {
                       font-style:italic
                      }


