{
const el = document.activeElement;
if (!el) return;
const rect = el.getBoundingClientRect();
const distanceFromBottom = window.innerHeight - rect.bottom;
const minVisibleSpace = 80;
const oldSpacer = document.getElementById('focus-spacer');
if (oldSpacer) oldSpacer.remove();
if (distanceFromBottom < minVisibleSpace) {
const extraSpace = minVisibleSpace - distanceFromBottom + 20;
const spacer = document.createElement('div');
spacer.id = 'focus-spacer';
spacer.style.height = `${extraSpace}px`;
spacer.style.pointerEvents = 'none';
document.body.appendChild(spacer);
el.scrollIntoView({ top: 100, behavior: 'smooth'});
}
});" @focusout.window="const spacer = document.getElementById('focus-spacer');
if (spacer) spacer.remove();
" @mousedown="tabbing = false; const spacer = document.getElementById('focus-spacer');
if (spacer) spacer.remove();" :class="tabbing ? 'user-is-tabbing': ''"
>
Vue sous l'ombre des arbres du Jardin en pleine journée et son espace clôturé de jeux pour enfants.
Horaires
- Lundi de 9H A 19H
- Mardi de 9H A 19H
- Mercredi de 9H A 19H
- Jeudi de 9H A 19H
- Vendredi de 9H A 19H
- Samedi de 9H A 19H
- Dimanche de 9H A 19H