| … | |
… | |
| 3 | <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> |
3 | <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en"> |
| 4 | <head> |
4 | <head> |
| 5 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> |
5 | <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> |
| 6 | <link rel="stylesheet" type="text/css" media="All" href="<!--#url type="webwork" name="htdocs"-->/css/math.css"/> |
6 | <link rel="stylesheet" type="text/css" media="All" href="<!--#url type="webwork" name="htdocs"-->/css/math.css"/> |
| 7 | <!-- [gateway] since the left-side menus are gone, don't indent the main content area --> |
7 | <!-- [gateway] since the left-side menus are gone, don't indent the main content area --> |
| 8 | <style type="text/css"> |
8 | <link rel="stylesheet" type="text/css" media="All" href="<!--#url type="webwork" name="htdocs"-->/css/gateway.css"/> |
| 9 | #breadcrumbs { margin-left: .5em } |
|
|
| 10 | #content { margin-left: .5em } |
|
|
| 11 | #footer { margin-left: .5em } |
|
|
| 12 | |
|
|
| 13 | </style> |
|
|
| 14 | <title><!--#path style="text" text=" : " textonly="1"--></title> |
9 | <title><!--#path style="text" text=" : " textonly="1"--></title> |
| 15 | <!--#head--> |
10 | <!--#head--> |
| 16 | <script language="javascript" type="text/javascript"> |
11 | <script language="javascript" type="text/javascript"> |
| 17 | function jumpTo(ref) { // scrolling javascript function |
12 | function jumpTo(ref) { // scrolling javascript function |
| 18 | if ( ref ) { |
13 | if ( ref ) { |
Parent Directory
| 
Revision Log
| 
Patch