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 header($params)
{
global $Language;
$this->generic_header($params);
//themable someday?
$site_fonts = 'verdana,arial,helvetica,sans-serif';
echo '<body leftmargin="0" rightmargin="0" topmargin="0" bottommargin="0" marginwidth="0" marginheight="0" class="' . $this->getClassnamesForBodyTag($params) . '">';
echo $this->getOsdnNavBar();
echo html_blankimage(5, 100);
?>
<br>
<!-- start page body -->
<div align="center">
<table cellpadding="0" cellspacing="0" border="0" width="97%">
<!-- First line with borders and corners -->
<tr>
<td background="<?php
echo util_get_image_theme("upper_left_corner.png");
?>
" width="1%" height="26"><img src="<?php
echo util_get_image_theme("upper_left_corner.png");
?>
" width="16" height="26" alt=" "></td>
<td background="<?php
echo util_get_image_theme("top_border.png");
?>
" align="left" colspan="3" width="99%"><a href="/"><img src="<?php
echo util_get_image_theme("codex_banner_lc.png");
?>
" height="26" border="0" alt="<?php
echo $GLOBALS['sys_name'] . ' ' . $Language->getText('include_layout', 'banner');
?>
"></a></td>
<td><img src="<?php
echo util_get_image_theme("upper_right_corner.png");
?>
" width="16" height="26" alt=" "></td>
</tr>
<!-- Second line with menus and content -->
<tr>
<td background="<?php
echo util_get_image_theme("left_border.png");
?>
" align="left" valign="bottom" alt=""><img src="<?php
echo util_get_image_theme("bottom_left_corner.png");
?>
" width="16" height="16" alt=""></td>
<td colspan="3" >
<!-- start main body cell -->
<div align="left">
<table style=menus cellpadding="0" cellspacing="0" border="0" width="100%">
<tr valign="top">
<td class="menuframe">
<!-- VA Linux Stats Counter -->
<?php
if (!session_issecure()) {
print '<IMG src="' . util_get_image_theme("clear.png") . '" width=140 height=1 alt="' . $Language->getText('include_layout', 'counter') . '"><BR>';
} else {
print html_blankimage(1, 140) . '<br>';
}
$main_body_class = '';
if (isset($params['toptab']) && is_string($params['toptab'])) {
$main_body_class = 'service-' . $params['toptab'];
}
?>
<!-- Company Logo here -->
<P>
<?php
print '<center><IMG src="' . util_get_image_theme("organization_logo.png") . '" alt="' . $GLOBALS['sys_org_name'] . ' ' . $Language->getText('include_layout', 'logo') . '"></center><BR>';
?>
<!-- menus -->
<?php
// html_blankimage(1,140);
menu_print_sidebar($params);
?>
<P>
</TD>
<td width="15" background="<?php
echo util_get_image_theme("fade.png");
?>
" nowrap> </td>
<td class="contenttable <?php
echo $main_body_class;
?>
">
<BR>
<?php
if (isset($params['group']) && $params['group']) {
echo $this->project_tabs($params['toptab'], $params['group']);
} else {
if (strstr(getStringFromServer('REQUEST_URI'), '/my/') || strstr(getStringFromServer('REQUEST_URI'), '/account/')) {
$tabs = array(array('link' => '/my/', 'label' => $Language->getText('my_index', 'my_dashboard')), array('link' => '/account/', 'label' => $Language->getText('my_index', 'account_maintenance')));
echo '<hr SIZE="1" NoShade>';
foreach ($tabs as $tab) {
$this->tab_entry($tab['link'], '', $tab['label'], strstr(getStringFromServer('REQUEST_URI'), '/my/') ? 0 : (strstr(getStringFromServer('REQUEST_URI'), '/account') ? 2 : 1), '');
}
echo '<hr SIZE="1" NoShade>';
}
}
echo $this->getBreadCrumbs();
echo $this->getToolbar();
echo $this->_getFeedback();
$this->_feedback->display();
echo $this->getNotificationPlaceholder();
}
function theme_menuhtml_top($title)
{
/*
Use only for the top most menu
*/
?>
<table cellspacing="0" cellpadding="3" width="100%" border="0" bgcolor="<?php
echo $GLOBALS['COLOR_TITLEBAR_BACK'];
?>
">
<tr bgcolor="<?php
echo $GLOBALS['COLOR_TITLEBAR_BACK'];
?>
">
<td align="center">
<?php
html_blankimage(1, 135);
?>
<BR>
<span class="titlebar"><font color="#ffffff"><?php
print $title;
?>
</font></span></td>
</tr>
<tr align="left" BGCOLOR="<?php
echo $GLOBALS['COLOR_LTBACK1'];
?>
"><td>
<?php
}
function vote_show_release_radios($vote_on_id, $flag)
{
/*
$flag
project - 1
release - 2
forum_message - 3
user - 4
*/
//html_blankimage($height,$width)
$rating = vote_get_rating($vote_on_id, $flag);
if ($rating == 0) {
$rating = '2.5';
}
$rating = 16 * vote_get_rating($vote_on_id, $flag) - 15;
global $REQUEST_URI;
?>
<FONT SIZE="-2">
<FORM ACTION="/survey/rating_resp.php" METHOD="POST">
<INPUT TYPE="HIDDEN" NAME="vote_on_id" VALUE="<?php
echo $vote_on_id;
?>
">
<INPUT TYPE="HIDDEN" NAME="redirect_to" VALUE="<?php
echo urlencode($REQUEST_URI);
?>
">
<INPUT TYPE="HIDDEN" NAME="flag" VALUE="<?php
echo $flag;
?>
">
<CENTER>
<?php
echo html_image("images/rateit.png", "100", "9", array());
?>
<BR>
<?php
echo html_blankimage(1, $rating);
echo html_image("images/ic/caret.png", "9", "6", array());
?>
<BR>
<INPUT TYPE="RADIO" NAME="response" VALUE=1>
<INPUT TYPE="RADIO" NAME="response" VALUE=2>
<INPUT TYPE="RADIO" NAME="response" VALUE=3>
<INPUT TYPE="RADIO" NAME="response" VALUE=4>
<INPUT TYPE="RADIO" NAME="response" VALUE=5>
<BR>
<INPUT TYPE="SUBMIT" NAME="SUBMIT" VALUE="Rate">
</CENTER>
</FORM>
</FONT>
<?php
}
/**
* vote_show_release_radios() - Show release radio buttons
*
* @param int Survey ID
* @param string The rating type
*/
function vote_show_release_radios($vote_on_id, $flag)
{
/*
$flag
project - 1
release - 2
forum_message - 3
user - 4
*/
//html_blankimage($height,$width)
$rating = vote_get_rating($vote_on_id, $flag);
if ($rating == 0) {
$rating = '2.5';
}
$rating = 16 * vote_get_rating($vote_on_id, $flag) - 15;
?>
<form action="/survey/rating_resp.php" method="post">
<input type="radio" name="vote_on_id" value="<?php
echo $vote_on_id;
?>
" />
<input type="radio" name="redirect_to" value="<?php
echo urlencode(getStringFromServer('REQUEST_URI'));
?>
" />
<input type="radio" name="flag" value="<?php
echo $flag;
?>
" />
<div align="center">
<?php
echo html_image("rateit.png", "100", "9", array());
?>
<br />
<?php
echo html_blankimage(1, $rating);
echo html_image("ic/caret.png", "9", "6", array());
?>
<br />
<input type="radio" name="response" value="1" />
<input type="radio" name="response" value="2" />
<input type="radio" name="response" value="3" />
<input type="radio" name="response" value="4" />
<input type="radio" name="response" value="5" />
<br />
<input type="submit" name="submit" value="Rate" />
</div>
</form>
<?php
}
