Searched refs:max_page_height (Results 1 – 1 of 1) sorted by relevance
70 function get_penalty($page_start, $max_page_height, $footnotes) { argument84 function get_page_break_height_penalty($page_start, $max_page_height) { argument87 if ($current_height > $max_page_height) {91 $free_space = $max_page_height - $current_height;92 $free_space_fraction = $free_space / $max_page_height;160 function get_pages(&$dom_tree, $max_page_height, $first_page_top) { argument173 return array($max_page_height);194 $heights[] = $max_page_height;195 $current_page_top -= $max_page_height;204 … $location_penalty = $location->get_penalty($current_page_top, $max_page_height, $footnotes);[all …]