fet_begingroup("dots");

save dot_radius;
4 dot_radius# = staff_space# - stafflinethickness#;
define_whole_blacker_pixels(dot_radius);

fet_beginchar("duration dot","dot", "dot")
	pickup pencircle scaled 2 dot_radius;
	drawdot (dot_radius,0);
	set_char_box(0, 2*dot_radius#, dot_radius#, dot_radius#);
fet_endchar;

fet_endgroup("dots");
