src/GenSynth.php
private function get_line_style($line)
    {
        //$style = null;
        $style = null;
        if (isset($this->highlight_extra_lines_styles[$line])) {
            $style = $this->highlight_extra_lines_styles[$line];
        }
        else { // if no "extra" style assigned
            $style = $this->highlight_extra_lines_style;
        }

        return $style;
    }
private function get_line_style($line)
    {
        //$style = null;
        $style = null;
        if (isset($this->highlight_extra_lines_styles[$line])) {
            $style = $this->highlight_extra_lines_styles[$line];
        }
        else { // if no "extra" style assigned
            $style = $this->highlight_extra_lines_style;
        }

        return $style;
    }
private function get_line_style ( $ line ) { //$style = null;
 $ style = null ; if ( isset ( $ this -> highlight_extra_lines_styles [ $ line ] ) ) { $ style = $ this -> highlight_extra_lines_styles [ $ line ] ; } else { // if no "extra" style assigned
 $ style = $ this -> highlight_extra_lines_style ; } return $ style ; }
Get's the style that is used for the specified line

@param int $line The line number information is requested for

@return string
Get s the style that is used for the specified line