body {
    font-family: Verdana;
}

/* バナー画像のダークモード対応 */
html[data-bs-theme=light] #ide_logo {
	background-image: url(./ide_logo_light.png);
}

html[data-bs-theme=dark] #ide_logo {
	background-image: url(./ide_logo_dark.png);
}

#ide_logo {
	background-size: contain;
	background-repeat: no-repeat;
	margin-right:2rem;
	width:350px;
	height:50px;
}