13   padding-top: 0.5em;

    13   padding-top: 0.5em;

    14   border-bottom: 1px solid black;

    14   border-bottom: 1px solid black;

    15 }

    15 }

    16 

    16 

    17 

    17 

    20   position: relative;

    20   position: relative;

    21   width: 60%;

    21   width: 60%;

    22   padding: 0;

    22   padding: 0;

    23 }

    23 }

    24 

    24 

    26   position: relative;

    26   position: relative;

    27 /*  right: 20%;*/

    27 /*  right: 20%;*/

    28   width: 25%;

    28   width: 25%;

    29   padding:0px 0px 0px 2em;

    29   padding:0px 0px 0px 2em;

    30 }

    30 }

    31 

    31 

    33     padding: 2px 2px 2px 2px;

    34     padding: 2px 2px 2px 2px;

    34 }

    35 }

    35 

    36 

    36 div.schema table {

    37 div.schema table {

    37   width : 100%;

    38   width : 100%;

    38 }

    39 }

    39 

    40 

    42  font: normal 9pt Arial;

    43  font: normal 9pt Arial;

    43 }

    44 }

    44 

    45 

    45 div.box div.title{

    46 div.box div.title{

    46  padding:0.2em 0.2em;

    47  padding:0.2em 0.2em;

    56  padding: 0 1em;

    57  padding: 0 1em;

    57 }

    58 }

    58 

    59 

    59 div.body{

    60 div.body{

    60  padding : 0.2em;

    61  padding : 0.2em;

    62  overflow: auto;

    63  overflow: auto;

    63 }

    64 }

    64 

    65 

    65 div.body table td{

    66 div.body table td{

    67  }

    68  }

    68 

    69 

    69 div.box{

    70 div.box{

    70  float:left;

    71  float:left;

    71  border:1px solid black;

    72  border:1px solid black;

    72 }

    73 }

    73 

    74 

    74 div.vl{

    75 div.vl{

    75  float:left;

    76  float:left;

    81  height : 0px}

    82  height : 0px}

    82 

    83 

    83 div.hl{

    84 div.hl{

    84  float:left;

    85  float:left;

    89  height : 10px

    90  height : 10px

    90 }

    91 }

    91 

    92 

    92 div.rels{

    93 div.rels{

    97  margin-left:-2px;}

    98  margin-left:-2px;}

    98 

    99 

    99 div.firstrel, div.rel, div.lastrel{

   100 div.firstrel, div.rel, div.lastrel{

   100  line-height:1em;

   101  line-height:1em;

   101  border:1px solid white;

   102  border:1px solid white;

   102  border-bottom:1px solid black;

   103  border-bottom:1px solid black;

   103  padding: 0px 0.6em 0.2em;

   104  padding: 0px 0.6em 0.2em;

   104 }

   105 }

   105 

   106 

   106 /* FIXME set to 9em or an image*/

   107 /* FIXME set to 9em or an image*/

   108  margin-top:0.7em}

   109  margin-top:0.7em}

   109 

   110 

   110 div.vars{

   111 div.vars{

   111  float:left;

   112  float:left;

   112 }

   113 }

   113 

   114 

   114 div.firstvar, div.var, div.lastvar{

   115 div.firstvar, div.var, div.lastvar{

   115  line-height:1em;

   116  line-height:1em;

   117  padding:0.2em}

   118  padding:0.2em}

   118 

   119 

   119 div.firstvar{

   120 div.firstvar{

   120  margin-top:1em;}

   121  margin-top:1em;}

   121 

   122 

   122 div.var{

   123 div.var{

   124 }

   125 }

   125 

   126 

   126 div.lastvar{

   127 div.lastvar{

   127  border:none;

   128  border:none;

   128 }

   129 }

   129 

   130 

   131 div.var a,

   132 div.var a,

   132 div.rel a,

   133 div.rel a,

   134  padding:0px ! important;

   135  padding:0px ! important;

   136 }

   137 }