Searched refs:round_units (Results 1 – 2 of 2) sorted by relevance
4 function round_units($value) { function
183 $current_pos = round_units($current_page_top - $location->location);184 …$available_page_height = round_units($max_page_height - $location->get_footnotes_height($footnotes…