#info_bar{
  background-color:#F1E6D9; 
  padding: 5px;
  font-size: 11pt;
}
#info_bar > button {
  transform: scale(0.9);
  background-color: transparent;
}
#info_bar > button:hover {
  background-color: #00000010;
}
#info_bar > button:active {
  background-color: #00000020;
}