# File lib/rspec/core/formatters/html_formatter.rb, line 117
        def move_progress
          @output.puts "    <script type=\"text/javascript\">moveProgressBar('#{percent_done}');</script>"
          @output.flush
        end