+}
+
+function mosaic_feedback( msg, ok )
+{
+ var f = document.getElementById( "mosaic_feedback" );
+ while( f.hasChildNodes() )
+ f.removeChild( f.firstChild );
+
+ f.style.fontWeight = "bold";
+ if( ok )
+ f.style.color = "#0f0";
+ else
+ f.style.color = "#f00";
+
+ var t = document.createTextNode( ( ok ? "Info: " : "Error: " ) + msg );
+ f.appendChild( t );
+
+}