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 }