<?php
// $Header: /cvsroot/html2ps/localalign.inc.php,v 1.3 2005/07/16 17:17:17 Konstantin Exp $

// $g_local_align = array("{}");

// function is_default_local_align($align) {
//   return $align == default_local_align();
// }

// function default_local_align() {
//   return "{}";
// }

// function get_local_align() {
//   global $g_local_align;
//   return $g_local_align[0];
// }

// function push_local_align($align) {
//   global $g_local_align;
//   array_unshift($g_local_align, $align);
// }

// function pop_local_align() {
//   global $g_local_align;
//   array_shift($g_local_align);
// }

// function ps_local_align($value) {
//   return $value." 1 index put-local-align\n";
// }


?>