#right-dock {
   width: 25%;
}

#content.right-dock-visible #map-content {
  margin-right: 25%;
}