Project

General

Profile

« Previous | Next » 

Revision 7904

web/vegpath/index.php: add_ref(): Don't display the URL pattern in monospace, because fixed-width font is not needed and variable-width font is easier to read. This requires decreasing the header level because variable-width font is bigger than fixed-width font.

View differences:

index.php
14 14
	};
15 15
}
16 16

  
17
$h_level = 4;
17
$h_level = 5;
18 18
$path = parse_mixed_path($_SERVER["QUERY_STRING"]);
19 19
$ref = strtolower($path->head);
20 20

  
......
23 23
	global $alias, $h_level, $path, $ref;
24 24
	if (is_string($url_func)) $url_func = by_prefix($url_func);
25 25
	
26
	print("<h".$h_level."><code>".$alias.'#<big><a href="http://'.$alias
27
		."#".$name.'">'.$name."</a></big><i>".$suffix."</i></code></h".$h_level.">\n");
26
	print("<h".$h_level.">".$alias.'#<big><a href="http://'.$alias
27
		."#".$name.'">'.$name."</a></big><i>".$suffix."</i></h".$h_level.">\n");
28 28
	if ($ref === strtolower($name)) # found match, so redirect
29 29
	{
30 30
		header("Location: ".strip_url($url_func($path->tail)));

Also available in: Unified diff