#page_nav_icons {
  position: fixed;
  top: 8px;
  right: 0;
  z-index: 99;
  padding: .25em 10px 0 0
}

#goto_pagetop, #lock_page_icon, #page_settings_icon {
  padding: .25em
}

#page_settings_icon {
  cursor: pointer;
  display: none;
  margin-right: 6px!important
}
