import { menu } from '/scripts/home_buttons.js';

const nav = document.querySelector("nav");
nav.append(menu("linuxIP"));