Project

General

Profile

« Previous | Next » 

Revision 7904

Added by Aaron Marcuse-Kubitza almost 12 years ago

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