/*
 * Default CSS definitions
 */
@import("default.css");
body {background: #ccc3f3 url("img/jds4_bg_2022.png") no-repeat center fixed;
	background-size: cover; margin: 2px; padding: 6px;}
div.topmenu ul li {
    background: #afeeeecc; border: #35e 2px groove; margin: 0;
}
div.topmenu ul li:hover {background: #adf;}
