a:link { color: #0547aa; text-decoration: none }
a:visited { color: #778BAA; text-decoration: none }
a:hover { color: #aa2107; text-decoration: underline }


body {
  color: black;
  background: white;
  font-family: Geneva, Verdana, Arial, Helvetica, "Lucida Grande", sans-serif;
  font-size: 13px;
  margin: 0px 0px 0px 0px;
  padding: 20px 0px 0px 0px;
  margin: 0px 30px 0px 30px;
  color: #000000;
  background-color: #444444;
}

table {
font-family: "Lucida Grande", Geneva, Verdana, Arial, Helvetica, sans-serif;
font-size: 13px;
margin: 5px;
padding: 5px;
background-color: #ffffff;
}

div.document-title {
  margin: 0px;
  padding-top: 10px;
  padding-bottom: 10px;
  font-size: 18px;
  font-weight: normal;
}

h1 {
  font-size: 16px;
  margin: 10px;
  color:#111111;
}

h2 {
  font-size: 14px;
  margin-left: 12px;
  margin-bottom: -10px;
  color:#555555;
}

p { margin: 7px 20px 7px 20px; }

emailus {
  position:relative;
  color: #555555;
  top:4px;
  left:4px;
  text-align: center;
}

bestlogo {
  float: right;
  position:relative;
  top:-5px;
  left:10px;
}

gohome {
  float: right;
  position:relative;
  top:-30px;
  left:-20px;
}

acmif { 
  font-size: 5px;
  color: #777777;
}
.affiliation {
font-size: 10px;
}

.pietriga_rigolos {
font-size: 1px;
}

div.warn {
  margin-left: 20px;
  margin-right: 20px;
  margin-top: 5px;
  margin-bottom: 10px;
  text-align: justify;
  font-size: 10px;
}

div.contents {
  margin-left: 20px;
  margin-right: 20px;
  margin-top: 0px;
  margin-bottom: 10px;
  text-align: justify;
  font-size: 12px;
}

div.cadre {
  border-color: #CCCCCC;
  border-style: solid;
  border-width: 1px;
  padding: 10px;
  margin: 5px;
}

pre.code {
  margin-left: 40px;
  color: #335533;
  background: white;
  font-size: 10px;
}

blockquote {
  margin: 20px;
  text-align: left;
  font-size: 10px;
}

table.cadre {
  border-color: #aaaaaa;
  border-width: 1px;
  border-style: solid;
  padding: 10px;
  font-size: 13px;
  margin-top: 0px;
  margin-bottom: 0px;
}

tr {
  font-size: 13px;
}

td {
  font-size: 13px;
}

li {
  margin-left: 15px;
  margin-right: 20px;
  margin-bottom: 2px;
  margin-top: 2px;
}

dl {
  margin-left: 15px;
  margin-right: 20px;
}

/* ------------------------------------------------------ */

div.bib-section {
  color: #555555;
  background: white;
  font-size: 16px;
  font-weight: normal;
  margin: 20px 20px 10px 15px;
}

div.bib-reference {
  padding-bottom: 5px;
  margin-left: 50px;
  text-indent: -10px;
  font-size: 13px;
}

div.bib-reference-nobullet {
  padding-bottom: 5px;
  margin-left: 50px;
  text-indent: -10px;
  font-size: 10px;
}

div.bibtex{
  width:550px;
  overflow:auto;
  font-size: 11px;
}

div.dl-stat{
  font-size: 5px;
  color: #777777;
}

/* ------------------------------------------------------ */

div.footnote-section {
  /* like H1... */
  color: #555555;
  background: white;
  font-size: 14px;
  font-weight: normal;
  margin: 15px 20px 10px 15px;
}

div.footnote {
  padding-bottom: 5px;
  margin-left: 35px;
  text-indent: -15px;
  font-size: 12px;
}