version 1.49, 2023/04/06 17:36:12
|
version 1.50, 2025/02/21 21:28:48
|
Line 80 sub servetext {
|
Line 80 sub servetext {
|
'</a> '; |
'</a> '; |
} |
} |
$r->print(<<HEADER); |
$r->print(<<HEADER); |
<h3 style="font: sans-serif"><img align="right" alt="help logo" |
<div class="LC_landmark" role="complementary"> |
src="/adm/help/gif/lonhelpheader.gif" />$goback$lt{'header'}</h3><hr /> |
<h1 style="font-family: Verdana,Arial,Helvetica,sans-serif; font-size: 1.17em;"> |
|
<img align="right" alt="help logo" src="/adm/help/gif/lonhelpheader.gif" /> |
|
$goback$lt{'header'}</h1><hr /></div> |
|
<div class="LC_landmark" role="main"> |
<!-- BEGIN --> |
<!-- BEGIN --> |
HEADER |
HEADER |
if ($is_mobile) { |
if ($is_mobile) { |
Line 104 HEADER
|
Line 107 HEADER
|
$r->print(<<FOOTER); |
$r->print(<<FOOTER); |
<hr /><div class="LC_left_float"> |
<hr /><div class="LC_left_float"> |
<form action="$uri" method="post"> |
<form action="$uri" method="post"> |
<fieldset><legend>$lt{'search'}</legend> |
<fieldset><legend><label for="searchterm">$lt{'search'}</label></legend> |
<input type="text" name="searchterm" size="40" /> |
<input type="text" name="searchterm" id="searchterm" size="40" /> |
<input type="submit" value="$lt{'query'}" /> |
<input type="submit" value="$lt{'query'}" /> |
</fieldset> |
</fieldset> |
</form> |
</form> |
Line 118 FOOTER
|
Line 121 FOOTER
|
} |
} |
|
|
$r->print(<<ENDBODY); |
$r->print(<<ENDBODY); |
|
</div> |
<!-- END --> |
<!-- END --> |
ENDBODY |
ENDBODY |
|
|