.ship_ui_wrapper .header{
  height:2.5rem;
  border-bottom: 2px dotted;
}
.ship_ui_wrapper .header div{
  display: inline-block;
}

.ship_ui_wrapper .controls div{
  display: inline-block;
}
.ship_ui_wrapper .jump_button{
  cursor: pointer;
  border: 1px solid;
  padding: 0.2rem;
}