';
echo add_token_field();
echo "<input type='hidden' name='temoin_suhosin_1' value='1' />\n";
echo '
<fieldset style="border: 1px solid grey;
background-image: url(\'../images/background/opacite50.png\'); ">
<legend style="border: 1px solid grey; background-image: url(\'../images/background/opacite50.png\');">Gérer la hauteur de l\'entête pour les professeurs</legend>
<input type="hidden" name="modifier_entete_prof" value="ok" />
<p>
<label for="headerBas" id="texte_headerBas">Imposer une entête basse</label>
<input type="radio" id="headerBas" name="header_bas" value="y"' . eval_checked("impose_petit_entete_prof", "y", "administrateur", $_SESSION["login"]) . ' onclick="document.change_header_prof.submit();" />
</p>
<p>
<label for="headerNormal" id="texte_headerNormal">Ne rien imposer</label>
<input type="radio" id="headerNormal" name="header_bas" value="n"' . eval_checked("impose_petit_entete_prof", "n", "administrateur", $_SESSION["login"]) . ' onclick="document.change_header_prof.submit();" />
</p>
' . $message_header_prof . '
<input type="hidden" name="temoin_suhosin_2" value="2" />
</fieldset>
</form>';
}
echo js_checkbox_change_style('checkbox_change', 'texte_', 'y');
//============================================
// Choix de l'alerte sonore de fin de session
/*
if (!isset($niveau_arbo)) {$niveau_arbo = 1;}
if ($niveau_arbo == "0") {
$chemin_sound="./sounds/";
} elseif ($niveau_arbo == "1") {
<legend class="invisible">Activation pour les élèves et leurs responsables</legend>
<input name="activ_ele"
id="activEleY"
value="yes"
type="radio"<?php echo eval_checked("autorise_edt_eleve", "yes"); ?>
onclick="document.getElementById('autorise_ele').submit();"
/>
<label for="activEleY">
Activer les emplois du temps pour les élèves et leurs responsables
</label>
<br />
<input name="activ_ele"
id="activEleN"
value="no"
type="radio"<?php echo eval_checked("autorise_edt_eleve", "no"); ?>
onclick="document.getElementById('autorise_ele').submit();"
/>
<label for="activEleN">
Désactiver les emplois du temps pour les élèves et leurs responsables
</label>
<br />
<span class="block center">
<input type="submit" value="Enregistrer" id="btn_eleve" />
</span>
</fieldset>
</form>
<script type="text/javascript">
//<
