<?php

################################################################################
# Returns the selected theme from the cookie
# or use the default
################################################################################
function get_theme() {
    if (isset($_SESSION['tvezTheme']))
        return $_SESSION['tvezTheme'];
    else
        return "default";
}


?>