site_name: Micro:bit - Makerspace Hilpoltstein
site_url: https://makes-hacks-hip.github.io/microbit
nav:
    - 'Repair-Café & Makerspace':
        - Repair-Café: https://www.repaircafe-hilpoltstein.de
        - Makerspace: https://makes-hacks-hip.de
        - Makerspace@Github: https://makes-hacks-hip.github.io
theme: readthedocs
repo_url: https://github.com/makes-hacks-hip/microbit
edit_uri: edit/main/docs/