Searched refs:max_page_height (Results 1 – 1 of 1) sorted by relevance
70 function get_penalty($page_start, $max_page_height, $footnotes) { argument72 … $max_page_height - $this->get_footnotes_height($footnotes, 84 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);184 …$available_page_height = round_units($max_page_height - $location->get_footnotes_height($footnotes…191 …$best_location_penalty = $best_location->get_penalty($current_page_top, $max_page_height, $footnot…[all …]