theory.erb in erbook-9.0.0

- old
+ new

@@ -365,11 +365,10 @@
                   `@format[:file]`
                 %|td
                   `String`
                 %|td
                   Path of the current format specification file.
-              %|tr
 
         % output_template_table_builder.call lambda {
           %|tr
             %|td
               `@node`
@@ -417,17 +416,19 @@
       4.  Examine the <tt>HelloWorld.output</tt> file to your satisfaction!
 
 
       %|example! "HelloWorld format specification file", "HelloWorld.spec"
 
-        <code lang="rhtml"><%= verbatim File.read('doc/HelloWorld.spec') %></code>
+        %|code :rhtml
+          %= verbatim File.read('doc/HelloWorld.spec')
 
 
       %|example! "Input document for HelloWorld format", "HelloWorld.input"
 
         Note that this input document uses the [*shorthand* eRuby directive syntax](<%= Ember::WEBSITE %>#Directives) and the [implicit <tt><%% end %></tt> inference](<%= Ember::WEBSITE %>#Infer-block-endings) features of the [<%= Ember::PROJECT %>](<%= Ember::WEBSITE %>) <%= Ember::TAGLINE %>.
 
-        <code lang="rhtml"><%= verbatim File.read('doc/HelloWorld.input') %></code>
+        %|code :rhtml
+          %= verbatim File.read('doc/HelloWorld.input')
 
 
       %|example! "Output of HelloWorld format", "HelloWorld.output"
 
         %= `ruby bin/#{PROGRAM} -u doc/HelloWorld.spec doc/HelloWorld.input`