original_string: function get_margin_height()
      {
          // This function is called in add_frame_to_line() and is used to
          // determine the line height, so we actually want to return the
          // 'line-height' property, not the actual margin box
          $style = $this->get_parent()->get_style();
          $font = $style->font_family;
          $size = $style->font_size;
  
          /*
          Helpers::pre_r('-----');
          Helpers::pre_r($style->line_height);
          Helpers::pre_r($style->font_size);
          Helpers::pre_r($this->_dompdf->getFontMetrics()->getFontHeight($font, $size));
          Helpers::pre_r(($style->line_height / $size) * $this->_dompdf->getFontMetrics()->getFontHeight($font, $size));
          */
  
          return ($style->line_height / ($size > 0 ? $size : 1)) * $this->_dompdf->getFontMetrics()->getFontHeight($font, $size);
      }
code: function get_margin_height()
      {
          // This function is called in add_frame_to_line() and is used to
          // determine the line height, so we actually want to return the
          // 'line-height' property, not the actual margin box
          $style = $this->get_parent()->get_style();
          $font = $style->font_family;
          $size = $style->font_size;
  
          /*
          Helpers::pre_r('-----');
          Helpers::pre_r($style->line_height);
          Helpers::pre_r($style->font_size);
          Helpers::pre_r($this->_dompdf->getFontMetrics()->getFontHeight($font, $size));
          Helpers::pre_r(($style->line_height / $size) * $this->_dompdf->getFontMetrics()->getFontHeight($font, $size));
          */
  
          return ($style->line_height / ($size > 0 ? $size : 1)) * $this->_dompdf->getFontMetrics()->getFontHeight($font, $size);
      }
code_tokens: function get_margin_height ( ) { // This function is called in add_frame_to_line() and is used to // determine the line height, so we actually want to return the // 'line-height' property, not the actual margin box $ style = $ this -> get_parent ( ) -> get_style ( ) ; $ font = $ style -> font_family ; $ size = $ style -> font_size ; /*
          Helpers::pre_r('-----');
          Helpers::pre_r($style->line_height);
          Helpers::pre_r($style->font_size);
          Helpers::pre_r($this->_dompdf->getFontMetrics()->getFontHeight($font, $size));
          Helpers::pre_r(($style->line_height / $size) * $this->_dompdf->getFontMetrics()->getFontHeight($font, $size));
          */ return ( $ style -> line_height / ( $ size > 0 ? $ size : 1 ) ) * $ this -> _dompdf -> getFontMetrics ( ) -> getFontHeight ( $ font , $ size ) ; }
docstring: Vertical margins & padding do not apply to text frames
  
  http://www.w3.org/TR/CSS21/visudet.html#inline-non-replaced:
  
  The vertical padding, border and margin of an inline, non-replaced box
  start at the top and bottom of the content area, not the
  'line-height'. But only the 'line-height' is used to calculate the
  height of the line box.
  
  @return float|int
docstring_tokens: Vertical margins & padding do not apply to text frames