According to the Codex page about adding a Custom Logo, one has to add the following code to functions.php:function them