Use "Operating System" theme for docs demos