 |
END;
if ( $bulletType == DATE_ARROW_LIST || $bulletType == BOLD_ARROW_LIST )
echo "";
}
function bullet( $text, $link = null, $target = null )
{
startBullet( );
if ( $link == null )
{
echo $text;
echo "\n";
}
else
{
echo "$text\n";
}
endBulletHead( );
}
function endBulletHead( )
{
global $bulletType;
if ( $bulletType == DATE_ARROW_LIST || $bulletType == BOLD_ARROW_LIST )
echo "";
if ( $bulletType == BREAK_ARROW_LIST || $bulletType == BOLD_ARROW_LIST )
echo "
";
else if ( $bulletType != PLAIN_ARROW_LIST )
echo " –";
echo "\n";
}
function endBullet( )
{
echo "\n";
}
function endList( )
{
echo "\n";
}
function jumpItem( $text, $link )
{
echo <<$text
END;
}
function addJump( $text, $target = null )
{
global $jumpName;
global $jumpTarget;
if ( $target == null || $target == "" )
{
$n = count( $jumpName ) + 1;
$target = "jump_" . $n;
}
$jumpName[ count( $jumpName ) ] = $text;
$jumpTarget[ count( $jumpTarget ) ] = $target;
}
function showPageTitle( $title, $subtitle )
{
global $jumpName;
global $jumpTarget;
global $birtHome;
echo <<
$title
END;
if ( $subtitle )
{
echo <<$subtitle
END;
}
echo <<
0 ) echo " rowspan=2";
echo << |
|
END;
// TOC is a jump bar for smaller documents.
showJumps( );
echo <<
END;
// TOC is here for larger documents.
showTOC( );
}
function showJumps( )
{
global $jumpName;
global $jumpTarget;
$count = count( $jumpName );
if ( $count > 1 && $count <= 5 )
{
echo <<
END;
for ($i = 0; $i < $count; $i++)
{
jumpItem( $jumpName[ $i ], $jumpTarget[ $i ] );
if ( $i + 1 < $count )
echo " \n";
}
echo <<
END;
}
}
function showTOC( )
{
global $jumpName;
global $jumpTarget;
$count = count( $jumpName );
if ( $count <= 5 )
return;
echo <<Contents
END;
for ($i = 0; $i < $count; $i++)
{
$dest = $jumpTarget[ $i ];
$name = $jumpName[ $i ];
echo << $name
END;
}
echo <<
| |