.float-right {
  float: right;
/* clear: left; */
/*   width: 13em; */
  margin:  0 0 0 0.2em;
/* background: #eee8aa; */
  border-left: 2px dotted #cd853f;
  border-bottom: 2px dotted #cd853f;
  }

.show_sources {
/*  display: inline; */
  float: right;
/*  clear: right; */
  margin:  0 1em  0 0.2em;
/* background: #eee8aa; */
  border-left: 2px dotted #cd853f;
  border-top: 2px dotted #cd853f;
  border-right: 2px dotted #cd853f;
  border-bottom: 2px dotted #cd853f;

}