#content {
  margin-right: 15em;
}


#float {
  float: right;
  width: 12em;

  margin: 0;
   margin-left: 2em;
   margin-right: 1em;
   margin-bottom: 4em;

  padding: 0;
   padding-left: 1em;
   padding-bottom: 1em;

  font-size: smaller;
  font-size: 95%;

  border-left: 1px dotted #a0a0a0;
}


#float h3 {
  font-size: inherit;
  font-size: 95%;
  color: #303030;
  margin: 0;
   margin-top: 2em;
   margin-bottom: 0.8em;
  padding: 0;
  border: none;
   border-bottom: 1px solid #0069b2;
}

#float p {
  padding: 0;
   padding-bottom: 0.4em;
}

#float > a {
  display: block;
}

#float a {
  border: none;
  color: #003f6a;     /* 40% darker */
}

#float > a:hover span,
#float p a:hover {
  border-bottom: 1px solid #b0b0b0;
}


#float form {
  width: 12em;
  margin: 0;
   margin-bottom: 2.5em;
  padding: 0;
}

#float form input[type=text] {
  width: 100%;
  max-width: 100%;
}


#float .section {
}


#float .badges {
  margin: 0;
   margin-top: 2em;
   margin-bottom: 0.8em;
  padding: 0;
  border: none;
}

#float .badges + .badges {
  margin-top: 0;
}

#float .badges a {
  display: inline;
  padding: 0;
  border: none;
}

#float .badges img {
  opacity: 1.0;
  margin: 0;
   margin-left: 0.4em;
  border: none;
}

#float .badges img:hover {
  opacity: 0.7;
}