/*                                  */
/* Global definitions               */
/*                                  */

body {
  margin: 0;
  padding: 2 10 2 10;
  background: #fff;
  text-align: left;
  font: 14px 'Optima', 'ZapfHumnst BT', 'Opulent', 'Microsoft Sans Serif', 'Georgia', 'Gill Sans', 'Bell MT', 'Verdana', 'Times New Roman';
  color: #000;
}

p {
  margin: .5em 0 0 0;
  padding: 0;
}

p.head {
  margin: 0;
  padding: 0;
}

p.remark {
  text-indent: -1.9em;
  margin: 0;
  padding: 0.3em 0 0 2em;
  font-size: 88%;
}

/*P.head:first-letter {
  font-size: 190%;
  letter-spacing: 4px;
  vertical-align: 100%;
  float: left;
}*/

img.illustr {
  float: right;
  margin: 0 0 0 10px;
  border: 0;
  padding: 0;
}

span {
  font-variant: small-caps;
  vertical-align: top;
}

pre {
  margin: .5em 0 0 1px;
  font-size: 95%;
}

sup {
  vertical-align: text-top;
  font-size: 85%;
  line-height: 0.85em;
}

sub {
  vertical-align: text-bottom;
  font-size: 85%;
  line-height: 0.85em;
}

/* A { text-decoration: none } */
A:link { color: rgb(154,0,48) }       /* unvisited link */


/*                                  */
/* Tables                           */
/*                                  */

table, tr {
  margin: 0;
  padding: 0;
  border-width: 0;
  background: #fff;
  text-align: justify;
  vertical-align: top;
  font: 14px 'Optima', 'ZapfHumnst BT', 'Opulent', 'Microsoft Sans Serif', 'Georgia', 'Gill Sans', 'Bell MT', 'Verdana', 'Times New Roman';
  color: #000;
}

td {
  text-align: justify;
  vertical-align: baseline;
  padding: .2em 0 .8em 0;
}

td.topal {
  text-align: justify;
  vertical-align: top;
  padding: 0 0 0.3em 0;
}

td.BibTeX {
  text-align: left;
  white-space: pre;
  vertical-align: top;
  padding: 0 0 0.3em 0;
}

th {
  text-align: left;
  white-space: nowrap;
  vertical-align: baseline;
  padding: .2em 2ex .8em 1px;
/*  border-width: 1px 0 0 0;
  border-style: groove; */
}

/*                                  */
/* List environments                */
/*                                  */

ul {
  list-style: circle outside;
  margin: 0;
  padding: 0.3em 0 .3em 2.5em;
}

li {
  margin: 0;
  padding: .2em 0 .2em 0;
}

/*
  dt {
  margin: 0;
  font-weight: bold;
}

dd {
  margin: 0;
  padding: .2em 0 .5em 0;
}
*/