version 1.507, 2007/02/27 22:16:02
|
version 1.511, 2007/03/02 23:17:58
|
Line 1489 sub get_library_servers {
|
Line 1489 sub get_library_servers {
|
my %library_servers; |
my %library_servers; |
foreach my $hostid (keys(%Apache::lonnet::libserv)) { |
foreach my $hostid (keys(%Apache::lonnet::libserv)) { |
if ($Apache::lonnet::hostdom{$hostid} eq $domain) { |
if ($Apache::lonnet::hostdom{$hostid} eq $domain) { |
$library_servers{$hostid} = $Apache::lonnet::hostname{$hostid}; |
$library_servers{$hostid} = &Apache::lonnet::hostname($hostid); |
} |
} |
} |
} |
return %library_servers; |
return %library_servers; |
Line 2267 sub track_student_link {
|
Line 2267 sub track_student_link {
|
&help_open_topic('View_recent_activity'); |
&help_open_topic('View_recent_activity'); |
} |
} |
|
|
|
# ===================================================== Display a student photo |
|
|
|
|
|
sub student_image_tag { |
|
my ($domain,$user)=@_; |
|
my $imgsrc=&Apache::lonnet::studentphoto($domain,$user,'jpg'); |
|
if (($imgsrc) && ($imgsrc ne '/adm/lonKaputt/lonlogo_broken.gif')) { |
|
return '<img src="'.$imgsrc.'" align="right" />'; |
|
} else { |
|
return ''; |
|
} |
|
} |
|
|
=pod |
=pod |
|
|
=back |
=back |
Line 3662 sub standard_css {
|
Line 3675 sub standard_css {
|
return <<END; |
return <<END; |
h1, h2, h3, th { font-family: $sans } |
h1, h2, h3, th { font-family: $sans } |
a:focus { color: red; background: yellow } |
a:focus { color: red; background: yellow } |
table.thinborder { border-collapse: collapse; } |
table.thinborder, |
table.thinborder tr th { border-style: solid; border-width: 1px; background: $tabbg;} |
table.LC_optres_prior { |
table.thinborder tr td { border-style: solid; border-width: 1px} |
border-collapse: collapse; |
|
} |
|
table.thinborder tr th { |
|
border-style: solid; |
|
border-width: 1px; |
|
background: $tabbg; |
|
} |
|
table.thinborder tr td, |
|
table.LC_optres_prior tr td { |
|
border-style: solid; |
|
border-width: 1px |
|
} |
|
|
form, .inline { display: inline; } |
form, .inline { display: inline; } |
.center { text-align: center; } |
.center { text-align: center; } |