// JavaScript Document

/* Karteikarten */
function karteikarteEinblenden(x,y) {
a=1; while(document.getElementById('kk'+a+'-'+y)) { 
document.getElementById('kk'+a+'-'+y).style.display = 'none'; 
document.getElementById('kr'+a+'-'+y).style.color = "#000000";
document.getElementById('kr'+a+'-'+y).style.fontWeight= "normal";
a++; }
document.getElementById('kk'+x+'-'+y).style.display = 'block';
document.getElementById('kr'+x+'-'+y).style.color = "#99AABB";
document.getElementById('kr'+x+'-'+y).style.fontWeight = "bold";
tipps_sofort_verlassen();
ganzeHoehe();
}