div.titlepage          { 
                         text-align: center; 
                       }

div.section div.titlepage { 
                         text-align: left; 
                       }

h3.author              { padding-bottom: 0px;
                         margin-bottom: 0px;
                       }

.confgroup             { font-weight: bold;
                       }

div.abstract           { text-align: left;
                       }

pre.programlisting     { background-color: #F0DCB0; }

div.bibliomixed        { margin-left: 30px; }
p.bibliomixed:first-line { margin-left: -30px; }

div.example pre { margin-left: 1em;
                  margin-top: 0em;
                  margin-bottom: 0em}

div.example     { border: 4px double gray;
                  margin: 0em; padding: 0em; 
                  margin-bottom: 1em;
                }

div.example pre { background-color: #F0DCB0;
                  padding: 4px; margin: 0em }

div.example p.title {
                  margin-top: 2px;
                  padding-top: 2px;
                  margin-bottom: 2px;
                  padding-bottom: 2px;
                  text-align: center;
                }

div.figure pre  { margin-left: 1em;
                  margin-top: 0em;
                  margin-bottom: 0em}

div.figure div.mediaobject  { 
                  text-align: center;
                }

div.figure      { border: 4px double gray;
                  margin: 0em; padding: 0em; 
                  margin-bottom: 1em;
                }

div.figure pre  { background-color: #F0DCB0;
                  padding: 4px; margin: 0em }

div.figure p.title {
                  margin-top: 2px;
                  padding-top: 2px;
                  margin-bottom: 2px;
                  padding-bottom: 2px;
                  text-align: center;
                }

div.table pre   { margin-left: 1em;
                  margin-top: 0em;
                  margin-bottom: 0em}

div.table div.mediaobject  { 
                  text-align: center;
                }

div.table       { border: 4px double gray;
                  margin: 0em;
                  padding: 0em; 
                  margin-bottom: 1em;
                }

div.table table { 
                  text-align: center;
                }

div.table p.title {
                  margin-top: 0px;
                  padding-top: 0px;
                  margin-bottom: 2px;
                  padding-bottom: 2px;
                  text-align: center;
                }

div.longdesc-link {
                  margin-top: 0px;
                  margin-bottom: 0px;
                  padding-top: 0px;
                  padding-bottom: 0px;
		  font-size: 8pt;
                }