function theme_header($params)
{
global $HTML;
$HTML->generic_header_start($params);
//determine font for this platform
if (browser_is_windows() && browser_is_ie()) {
//ie needs smaller fonts
$font_size = 'x-small';
$font_smaller = 'xx-small';
$font_smallest = '7pt';
} else {
if (browser_is_windows()) {
//netscape on wintel
$font_size = 'small';
$font_smaller = 'x-small';
$font_smallest = 'x-small';
} else {
if (browser_is_mac()) {
//mac users need bigger fonts
$font_size = 'medium';
$font_smaller = 'small';
$font_smallest = 'x-small';
} else {
//linux and other users
$font_size = 'small';
$font_smaller = 'x-small';
$font_smallest = 'xx-small';
}
}
}
//themable someday?
$site_fonts = 'verdana,arial,helvetica,sans-serif';
?>
<style type="text/css">
<!--
OL,UL,P,BODY,TD,TR,TH,FORM { font-family: <?php
echo $GLOBALS['FONT_CONTENT'] . ',' . $site_fonts;
?>
; font-size:<?php
echo $font_size;
?>
; color: #333333; }
H1 { font-size: x-large; font-family: <?php
echo $site_fonts;
?>
; }
H2 { font-size: large; font-family: <?php
echo $site_fonts;
?>
; }
H3 { font-size: medium; font-family: <?php
echo $site_fonts;
?>
; }
H4 { font-size: small; font-family: <?php
echo $site_fonts;
?>
; }
H5 { font-size: x-small; font-family: <?php
echo $site_fonts;
?>
; }
H6 { font-size: xx-small; font-family: <?php
echo $site_fonts;
?>
; }
PRE,TT { font-family: courier,sans-serif }
SPAN.center { text-align: center }
SPAN.boxspace { font-size: 2pt; }
SPAN.osdn {font-size: <?php
echo $font_smaller;
?>
; font-family: verdana,arial,helvetica,sans-serif;}
SPAN.search {font-size: <?php
echo $font_smaller;
?>
; font-family: verdana,arial,helvetica,sans-serif;}
SPAN.slogan {font-size: large; font-weight: bold; font-family: verdana,arial,helvetica,sans-serif;}
SPAN.footer {font-size: <?php
echo $font_smaller;
?>
; font-family: verdana,arial,helvetica,sans-serif;}
A.maintitlebar { color: #FFFFFF }
A.maintitlebar:visited { color: #FFFFFF }
A.sortbutton { color: #FFFFFF; text-decoration: underline; }
A.sortbutton:visited { color: #FFFFFF; text-decoration: underline; }
.menus { color: #6666aa; text-decoration: none; }
.menus:visited { color: #6666aa; text-decoration: none; }
A:link { text-decoration:none }
A:visited { text-decoration:none }
A:active { text-decoration:none }
A:hover { text-decoration:underline; color:#FF0000 }
.tabs { color: #000000; }
.tabs:visited { color: #000000; }
.tabs:hover { color:#FF0000; }
.tabselect { color: #000000; font-weight: bold; }
.tabselect:visited { font-weight: bold;}
.tabselect:hover { color:#FF0000; font-weight: bold; }
.titlebar { text-decoration:none; color:#000000; font-family: <?php
echo $GLOBALS['FONT_HTMLBOX_TITLE'] . ',' . $site_fonts;
?>
; font-size: <?php
echo $GLOBALS['FONTSIZE_HTMLBOX_TITLE'];
?>
; font-weight: bold; }
.develtitle { color:#000000; font-weight: bold; }
.legallink { color:#000000; font-weight: bold; }
-->
</style>
<?php
$HTML->generic_header_end($params);
?>
<body text="#333333" link="#6666aa" alink="#aa6666" vlink="#6666aa" bgcolor="#6C7198" leftmargin="0" rightmargin="0" topmargin="0" bottommargin="0" marginwidth="0" marginheight="0">
<?php
/*
OSDN NAV BAR
*/
osdn_print_navbar();
echo html_blankimage(5, 100) . '<br>';
?>
<!-- start page body -->
<CENTER>
<table cellpadding="0" cellspacing="0" border="0" width="99%">
<tr>
<td background="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
tbar1.png" width="1%" height="17"><img src="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
tleft1.png" width="17" height="17" alt=" "></td>
<td background="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
tbar1.png" align="center" colspan="3" width="99%"><img src="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
tbar1.png" width="1" height="17" alt=" "></td>
<td><img src="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
tright1.png" width="17" height="17" alt=" "></td>
</tr>
<tr>
<td width="17" background="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
leftbar1.png" align="left" valign="bottom"><img src="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
leftbar1.png" width="17" height="25" alt=" "></td>
<td colspan="3" bgcolor="#ffffff">
<!-- start main body cell -->
<table cellpadding="0" cellspacing="0" border="0" width="100%">
<tr>
<td width="141" background="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
steel3.jpg" bgcolor="#cfd1d4" align="left" valign="top">
<CENTER>
<a href="/"><?php
echo html_image($GLOBALS['sys_themeimgroot'] . "berliOS_small_logo.png", "136", "79", array("alt" => " SourceForge ", "border" => "0"));
?>
</A>
</CENTER>
<P>
<!-- menus -->
<?php
html_blankimage(1, 140);
menu_print_sidebar($params);
?>
<P>
</TD>
<td width="20" background="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
fade1.png" nowrap><img src="<?php
echo $GLOBALS['sys_themeimgroot'];
?>
fade1.png" width="20" height="35" alt=" "></td>
<td valign="top" bgcolor="<?php
echo $GLOBALS['COLOR_CONTENT_BACK'];
?>
" width="99%">
<BR>
<?php
}
function theme_header($params)
{
html_generic_header_start($params);
//determine font for this platform
if (browser_is_windows() && browser_is_ie()) {
//ie needs smaller fonts
$font_size = 'x-small';
$font_smaller = 'xx-small';
$font_smallest = '7pt';
} else {
if (browser_is_windows()) {
//netscape on wintel
$font_size = 'small';
$font_smaller = 'x-small';
$font_smallest = 'x-small';
} else {
if (browser_is_mac()) {
//mac users need bigger fonts
$font_size = 'medium';
$font_smaller = 'small';
$font_smallest = 'x-small';
} else {
//linux and other users
$font_size = 'small';
$font_smaller = 'x-small';
$font_smallest = 'xx-small';
}
}
}
//themable someday?
$site_fonts = 'verdana,arial,helvetica,sans-serif';
?>
<style type="text/css">
<!--
.titlebar {text-decoration:none; color:#000000; font-family: <?php
echo $GLOBALS['TITLEBAR_font'];
?>
,Lucida; font-weight: bold; font-size:<?php
echo $GLOBALS['TITLEBAR_size'];
?>
}
.title {text-decoration:none; color:#000000; font-family: Helvetica; font-weight: bold; font-size:20px}
.normal {text-decoration:none; color:#000000; font-family: Helvetica; font-weight: light; font-size:12px}
BODY { background-color: <?php
echo $GLOBALS['COLOR_CONTENT_BACK'];
?>
; font-family: <?php
echo $GLOBALS['FONT_CONTENT'];
?>
,<?php
echo $site_fonts;
?>
; font-size:<?php
echo $font_size;
?>
; }
A { text-decoration: none; color #6666FF; }
A:visited { text-decoration: none; color: #6666AA; }
A:link { text-decoration: none; color: #6666AA; }
A:active { text-decoration: none; color: #6666AA; }
A:hover { text-decoration: none; color: #FF6666 }
OL,UL,P,BODY,TD,TR,TH,FORM,SPAN { font-family: <?php
echo $GLOBALS['FONT_CONTENT'];
?>
,arial,helvetica,sans-serif;color: #333333; }
H1,H2,H3,H4,H5,H6 { font-family: <?php
echo $GLOBALS['FONT_CONTENT'];
?>
,arial,helvetica,sans-serif }
PRE,TT { font-family: courier,sans-serif }
SPAN.center { text-align: center }
SPAN.boxspace { font-size: 2pt; }
A.maintitlebar { color: #FFFFFF }
A.maintitlebar:visited { color: #FFFFFF }
A.sortbutton { color: #FFFFFF; text-decoration: underline; }
A.sortbutton:visited { color: #FFFFFF; text-decoration: underline; }
A.menus { color: #000000; text-decoration: underline; }
A.menus:visited { color: #000000; text-decoration: underline; }
A.tabs { color: #000000; text-decoration: underline; }
A.tabs:visited { color: #000000; text-decoration: underline; }
SPAN.alignright { text-align: right }
SPAN.maintitlebar { font-size: small; color: #FFFFFF }
SPAN.titlebar { text-align: center; font-size: small; color: #FFFFFF; font-weight: bold }
SPAN.develtitle { text-align: center; font-size: small; color: #000000; font-weight: bold }
SPAN.osdn {font-size: x-small; font-family: verdana,arial,helvetica,sans-serif;}
SPAN.search {font-size: x-small; font-family: verdana,arial,helvetica,sans-serif;}
SPAN.slogan {font-size: large; font-weight: bold; font-family: verdana,arial,helvetica,sans-serif;}
SPAN.footer {font-size: x-small; font-family: verdana,arial,helvetica,sans-serif;}
TD.featurebox { font-size: small; }
-->
</style>
<?php
html_generic_header_end($params);
?>
<BODY bgcolor=<?php
echo $GLOBALS['COLOR_CONTENT_BACK'];
?>
topmargin="0" bottommargin="0" leftmargin="0" rightmargin="0" marginheight="0" marginwidth="0">
<?php
osdn_print_navbar();
?>
<!-- top title table -->
<TABLE width="100%" border=0 cellspacing=0 cellpadding=0 bgcolor="<?php
echo $GLOBALS['COLOR_BARBACK'];
?>
" valign="center">
<TR valign="top" bgcolor="<?php
echo $GLOBALS['COLOR_LTBACK1'];
?>
"><TD>
<A href="/"><?php
html_image('/images/sflogo2-steel.png', '143', '70', array('vspace' => '0'));
?>
</A>
</TD>
<TD width="99%"><!-- right of logo -->
<a href="http://www.valinux.com"><?php
html_image("images/valogo3.png", '117', '70', array('align' => 'right', 'alt' => 'VA Linux Systems', 'hspace' => '5', 'vspace' => '0'));
?>
</A>
<BR>
<FONT SIZE="+1">Breaking Down The Barriers to Open Source Development</FONT>
<BR>
<?php
if (!user_isloggedin()) {
print '<B>Status: Not Logged In</B>
<A href="/account/login.php">[Login]</A> |
<A href="/account/register.php">[New User]</A><BR>';
}
?>
<A href="/softwaremap/">[Software Map]</A>
<A href="/new/">[New Releases]</A>
<A href="/docs/site/">[Site Docs]</A>
<A href="/top/">[Top Projects]</A>
<!-- VA Linux Stats Counter -->
<?php
if (!session_issecure()) {
print '<IMG src="http://www2.valinux.com/clear.gif?id=105" width=1 height=1 alt="Counter">';
}
?>
</TD><!-- right of logo -->
</TR>
<TR><TD bgcolor="#543a48" colspan=2><IMG src="/images/blank.gif" height=2 vspace=0></TD></TR>
</TABLE>
<!-- end top title table -->
<!-- content table -->
<TABLE width="100%" cellspacing=0 cellpadding=0 border=0>
<TR valign="top">
<TD bgcolor=<?php
print $GLOBALS['COLOR_LTBACK1'];
?>
>
<!-- menus -->
<?php
menu_print_sidebar($params);
?>
</TD>
<td width="9">
<?php
html_blankimage(1, 9);
?>
</td>
<!-- content -->
<td width="99%">
<BR>
<?php
}
