version 1.528, 2007/04/17 23:25:41
|
version 1.531, 2007/04/20 21:39:39
|
Line 3165 Returns: Determines which domain should
|
Line 3165 Returns: Determines which domain should
|
############################################### |
############################################### |
sub determinedomain { |
sub determinedomain { |
my $domain=shift; |
my $domain=shift; |
if (! $domain) { |
if (! $domain) { |
# Determine domain if we have not been given one |
# Determine domain if we have not been given one |
$domain = $Apache::lonnet::perlvar{'lonDefDomain'}; |
$domain = $Apache::lonnet::perlvar{'lonDefDomain'}; |
if ($env{'user.domain'}) { $domain=$env{'user.domain'}; } |
if ($env{'user.domain'}) { $domain=$env{'user.domain'}; } |
Line 3411 sub bodytag {
|
Line 3411 sub bodytag {
|
my $bodytag = "<body $extra_body_attr>". |
my $bodytag = "<body $extra_body_attr>". |
&Apache::lontexconvert::init_math_support(); |
&Apache::lontexconvert::init_math_support(); |
|
|
if ($bodyonly |
if ($bodyonly) { |
|| ($env{'request.state'} eq 'construct' |
|
&& $env{'environment.remote'} ne 'off' )) { |
|
return $bodytag; |
return $bodytag; |
} elsif ($env{'browser.interface'} eq 'textual') { |
} elsif ($env{'browser.interface'} eq 'textual') { |
# Accessibility |
# Accessibility |
Line 4361 table.LC_prior_tries td {
|
Line 4359 table.LC_prior_tries td {
|
} |
} |
|
|
|
|
span.LC_prior_numerical { |
span.LC_prior_numerical, |
|
span.LC_prior_string, |
|
span.LC_prior_custom, |
|
span.LC_prior_reaction, |
|
span.LC_prior_math { |
font-family: monospace; |
font-family: monospace; |
white-space: pre; |
white-space: pre; |
} |
} |
Line 4430 sub headtag {
|
Line 4432 sub headtag {
|
my $bgcolor = $args->{'bgcolor'} || &designparm($function.'.pgbg',$domain); |
my $bgcolor = $args->{'bgcolor'} || &designparm($function.'.pgbg',$domain); |
my $url = join(':',$env{'user.name'},$env{'user.domain'}, |
my $url = join(':',$env{'user.name'},$env{'user.domain'}, |
$Apache::lonnet::perlvar{'lonVersion'}, |
$Apache::lonnet::perlvar{'lonVersion'}, |
time(), |
#time(), |
$env{'environment.color.timestamp'}, |
$env{'environment.color.timestamp'}, |
$function,$domain,$bgcolor); |
$function,$domain,$bgcolor); |
|
|