Example #1
0
function html_header($plus = "")
{
    global $fm_color;
    echo "\r\n<html>\r\n<head>\r\n<title>...:::: " . et('FileMan') . "</title>\r\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=iso-8859-1\">\r\n{$plus}\r\n</head>\r\n<script language=\"Javascript\" type=\"text/javascript\">\r\n<!--\r\n    function Is(){\r\n        this.appname = navigator.appName;\r\n        this.appversion = navigator.appVersion;\r\n        this.platform = navigator.platform;\r\n        this.useragent = navigator.userAgent.toLowerCase();\r\n        this.ie = ( this.appname == 'Microsoft Internet Explorer' );\r\n        if (( this.useragent.indexOf( 'mac' ) != -1 ) || ( this.platform.indexOf( 'mac' ) != -1 )){\r\n            this.sisop = 'mac';\r\n        } else if (( this.useragent.indexOf( 'windows' ) != -1 ) || ( this.platform.indexOf( 'win32' ) != -1 )){\r\n            this.sisop = 'windows';\r\n        } else if (( this.useragent.indexOf( 'inux' ) != -1 ) || ( this.platform.indexOf( 'linux' ) != -1 )){\r\n            this.sisop = 'linux';\r\n        }\r\n    }\r\n    var is = new Is();\r\n    function enterSubmit(keypressEvent,submitFunc){\r\n        var kCode = (is.ie) ? keypressEvent.keyCode : keypressEvent.which\r\n        if( kCode == 13) eval(submitFunc);\r\n    }\r\n    var W = screen.width;\r\n    var H = screen.height;\r\n    var FONTSIZE = 0;\r\n    switch (W){\r\n        case 640:\r\n            FONTSIZE = 8;\r\n        break;\r\n        case 800:\r\n            FONTSIZE = 10;\r\n        break;\r\n        case 1024:\r\n            FONTSIZE = 12;\r\n        break;\r\n        default:\r\n            FONTSIZE = 14;\r\n        break;\r\n    }\r\n";
    echo replace_double(" ", str_replace(chr(13), "", str_replace(chr(10), "", "\r\n    document.writeln('\r\n    <style>\r\n    body {\r\n        font-family : Arial;\r\n        font-size: '+FONTSIZE+'px;\r\n        font-weight : normal;\r\n        color: " . $fm_color['Text'] . ";\r\n        background-color: " . $fm_color['Bg'] . ";\r\n    }\r\n    table {\r\n        font-family : Arial;\r\n        font-size: '+FONTSIZE+'px;\r\n        font-weight : normal;\r\n        color: " . $fm_color['Text'] . ";\r\n        cursor: default;\r\n    }\r\n    input {\r\n        font-family : Arial;\r\n        font-size: '+FONTSIZE+'px;\r\n        font-weight : normal;\r\n        color: " . $fm_color['Text'] . ";\r\n    }\r\n    textarea {\r\n        font-family : Courier;\r\n        font-size: 12px;\r\n        font-weight : normal;\r\n        color: " . $fm_color['Text'] . ";\r\n    }\r\n    A {\r\n        font-family : Arial;\r\n        font-size : '+FONTSIZE+'px;\r\n        font-weight : bold;\r\n        text-decoration: none;\r\n        color: " . $fm_color['Text'] . ";\r\n    }\r\n    A:link {\r\n        color: " . $fm_color['Text'] . ";\r\n    }\r\n    A:visited {\r\n        color: " . $fm_color['Text'] . ";\r\n    }\r\n    A:hover {\r\n        color: " . $fm_color['Link'] . ";\r\n    }\r\n    A:active {\r\n        color: " . $fm_color['Text'] . ";\r\n    }\r\n    </style>\r\n    ');\r\n")));
    echo "\r\n//-->\r\n</script>\r\n";
}
Example #2
0
function html_header($header = "")
{
    global $charset, $fm_color;
    echo "\r\n\t<!DOCTYPE HTML PUBLIC \"-//W3C//DTD XHTML 1.0 Transitional//EN\" \"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd\">\r\n\t<html xmlns=\"http://www.w3.org/1999/xhtml\">\r\n    <head>    \r\n    <meta http-equiv=\"content-type\" content=\"text/html; charset=" . $charset . "\" />\t\r\n\t<title>...:::: " . et('FileMan') . "</title>\r\n    <script language=\"Javascript\" type=\"text/javascript\">\r\n    <!--\r\n        function Is(){\r\n            this.appname = navigator.appName;\r\n            this.appversion = navigator.appVersion;\r\n            this.platform = navigator.platform;\r\n            this.useragent = navigator.userAgent.toLowerCase();\r\n            this.ie = ( this.appname == 'Microsoft Internet Explorer' );\r\n            if (( this.useragent.indexOf( 'mac' ) != -1 ) || ( this.platform.indexOf( 'mac' ) != -1 )){\r\n                this.sisop = 'mac';\r\n            } else if (( this.useragent.indexOf( 'windows' ) != -1 ) || ( this.platform.indexOf( 'win32' ) != -1 )){\r\n                this.sisop = 'windows';\r\n            } else if (( this.useragent.indexOf( 'inux' ) != -1 ) || ( this.platform.indexOf( 'linux' ) != -1 )){\r\n                this.sisop = 'linux';\r\n            }\r\n        }\r\n        var is = new Is();\r\n        function enterSubmit(keypressEvent,submitFunc){\r\n            var kCode = (is.ie) ? keypressEvent.keyCode : keypressEvent.which\r\n            if( kCode == 13) eval(submitFunc);\r\n        }\r\n        function getCookieVal (offset) {\r\n            var endstr = document.cookie.indexOf (';', offset);\r\n            if (endstr == -1) endstr = document.cookie.length;\r\n            return unescape(document.cookie.substring(offset, endstr));\r\n        }\r\n        function getCookie (name) {\r\n            var arg = name + '=';\r\n            var alen = arg.length;\r\n            var clen = document.cookie.length;\r\n            var i = 0;\r\n            while (i < clen) {\r\n                var j = i + alen;\r\n                if (document.cookie.substring(i, j) == arg) return getCookieVal (j);\r\n                i = document.cookie.indexOf(' ', i) + 1;\r\n                if (i == 0) break;\r\n            }\r\n            return null;\r\n        }\r\n        function setCookie (name, value, expires) {\r\n            var argv = setCookie.arguments;\r\n            var argc = setCookie.arguments.length;\r\n            var expires = (argc > 2) ? argv[2] : null;\r\n            var path = (argc > 3) ? argv[3] : null;\r\n            var domain = (argc > 4) ? argv[4] : null;\r\n            var secure = (argc > 5) ? argv[5] : false;\r\n            document.cookie = name + '=' + escape (value) +\r\n            ((expires == null) ? '' : ('; expires=' + expires.toGMTString())) +\r\n            ((path == null) ? '' : ('; path=' + path)) +\r\n            ((domain == null) ? '' : ('; domain=' + domain)) +\r\n            ((secure == true) ? '; secure' : '');\r\n        }\r\n        function delCookie (name) {\r\n            var exp = new Date();\r\n            exp.setTime (exp.getTime() - 1);\r\n            var cval = getCookie (name);\r\n            document.cookie = name + '=' + cval + '; expires=' + exp.toGMTString();\r\n        }\r\n        var frameWidth, frameHeight;\r\n        function getFrameSize(){\r\n            if (self.innerWidth){\r\n                frameWidth = self.innerWidth;\r\n                frameHeight = self.innerHeight;\r\n            }else if (document.documentElement && document.documentElement.clientWidth){\r\n                frameWidth = document.documentElement.clientWidth;\r\n                frameHeight = document.documentElement.clientHeight;\r\n            }else if (document.body){\r\n                frameWidth = document.body.clientWidth;\r\n                frameHeight = document.body.clientHeight;\r\n            }else return false;\r\n            return true;\r\n        }\r\n        getFrameSize();\r\n    //-->\r\n    </script>\r\n    {$header}\r\n    </head>\r\n    <script language=\"Javascript\" type=\"text/javascript\">\r\n    <!--\r\n        var W = screen.width;\r\n        var H = screen.height;\r\n        var FONTSIZE = 0;\r\n        switch (W){\r\n            case 640:\r\n                FONTSIZE = 8;\r\n            break;\r\n            case 800:\r\n                FONTSIZE = 10;\r\n            break;\r\n            case 1024:\r\n                FONTSIZE = 12;\r\n            break;\r\n            default:\r\n                FONTSIZE = 14;\r\n            break;\r\n        }\r\n    ";
    echo replace_double(" ", str_replace(chr(13), "", str_replace(chr(10), "", "\r\n        document.writeln('\r\n        <style type=\"text/css\">\r\n        body {\r\n            font-family : Arial;\r\n            font-size: '+FONTSIZE+'px;\r\n            font-weight : normal;\r\n            color: #" . $fm_color['Text'] . ";\r\n            background-color: #" . $fm_color['Bg'] . ";\r\n        }\r\n        table {\r\n            font-family : Arial;\r\n            font-size: '+FONTSIZE+'px;\r\n            font-weight : normal;\r\n            color: #" . $fm_color['Text'] . ";\r\n            cursor: default;\r\n        }\r\n        input {\r\n            font-family : Arial;\r\n            font-size: '+FONTSIZE+'px;\r\n            font-weight : normal;\r\n            color: #" . $fm_color['Text'] . ";\r\n        }\r\n        textarea {\r\n            font-family : Courier;\r\n            font-size: 12px;\r\n            font-weight : normal;\r\n            color: #" . $fm_color['Text'] . ";\r\n        }\r\n        a {\r\n            font-family : Arial;\r\n            font-size : '+FONTSIZE+'px;\r\n            font-weight : bold;\r\n            text-decoration: none;\r\n            color: #" . $fm_color['Text'] . ";\r\n        }\r\n        a:link {\r\n            color: #" . $fm_color['Text'] . ";\r\n        }\r\n        a:visited {\r\n            color: #" . $fm_color['Text'] . ";\r\n        }\r\n        a:hover {\r\n            color: #" . $fm_color['Link'] . ";\r\n        }\r\n        a:active {\r\n            color: #" . $fm_color['Text'] . ";\r\n        }\r\n        tr.entryUnselected {\r\n            background-color: #" . $fm_color['Entry'] . ";\r\n        }\r\n        tr.entryUnselected:hover {\r\n            background-color: #" . $fm_color['Over'] . ";\r\n        }\r\n        tr.entrySelected {\r\n            background-color: #" . $fm_color['Mark'] . ";\r\n        }\r\n        </style>\r\n        ');\r\n    ")));
    echo "\r\n    //-->\r\n    </script>\r\n    ";
}
Example #3
0
function html_header($plus=""){
    global $fm_color;
echo "
<html>
<head>
<title>...:::: ".et('FileMan')."</title>
<meta http-equiv=\"Content-Type\" content=\"text/html; charset=iso-8859-1\">
$plus
</head>
<script language=\"Javascript\" type=\"text/javascript\">
<!--
    function Is(){
        this.appname = navigator.appName;
        this.appversion = navigator.appVersion;
        this.platform = navigator.platform;
        this.useragent = navigator.userAgent.toLowerCase();
        this.ie = ( this.appname == 'Microsoft Internet Explorer' );
        if (( this.useragent.indexOf( 'mac' ) != -1 ) || ( this.platform.indexOf( 'mac' ) != -1 )){
            this.sisop = 'mac';
        } else if (( this.useragent.indexOf( 'windows' ) != -1 ) || ( this.platform.indexOf( 'win32' ) != -1 )){
            this.sisop = 'windows';
        } else if (( this.useragent.indexOf( 'inux' ) != -1 ) || ( this.platform.indexOf( 'linux' ) != -1 )){
            this.sisop = 'linux';
        }
    }
    var is = new Is();
    function enterSubmit(keypressEvent,submitFunc){
        var kCode = (is.ie) ? keypressEvent.keyCode : keypressEvent.which
        if( kCode == 13) eval(submitFunc);
    }
    var W = screen.width;
    var H = screen.height;
    var FONTSIZE = 0;
    switch (W){
        case 640:
            FONTSIZE = 8;
        break;
        case 800:
            FONTSIZE = 10;
        break;
        case 1024:
            FONTSIZE = 12;
        break;
        default:
            FONTSIZE = 14;
        break;
    }
";
echo replace_double(" ",str_replace(chr(13),"",str_replace(chr(10),"","
    document.writeln('
    <style>
    body {
        font-family : Arial;
        font-size: '+FONTSIZE+'px;
        font-weight : normal;
        color: ".$fm_color['Text'].";
        background-color: ".$fm_color['Bg'].";
    }
    table {
        font-family : Arial;
        font-size: '+FONTSIZE+'px;
        font-weight : normal;
        color: ".$fm_color['Text'].";
        cursor: default;
    }
    input {
        font-family : Arial;
        font-size: '+FONTSIZE+'px;
        font-weight : normal;
        color: ".$fm_color['Text'].";
    }
    textarea {
        font-family : Courier;
        font-size: 12px;
        font-weight : normal;
        color: ".$fm_color['Text'].";
    }
    A {
        font-family : Arial;
        font-size : '+FONTSIZE+'px;
        font-weight : bold;
        text-decoration: none;
        color: ".$fm_color['Text'].";
    }
    A:link {
        color: ".$fm_color['Text'].";
    }
    A:visited {
        color: ".$fm_color['Text'].";
    }
    A:hover {
        color: ".$fm_color['Link'].";
    }
    A:active {
        color: ".$fm_color['Text'].";
    }
    </style>
    ');
")));
echo "
//-->
</script>
";
}