U:RDoc::Attr[iI"options:ETI"RDoc::Servlet#options;TI"R;T:publico:RDoc::Markup::Document:@parts[o:RDoc::Markup::Paragraph;	[I"9An RDoc::Options instance used for rendering options;T:
@fileI"lib/rdoc/servlet.rb;T:0@omit_headings_from_table_of_contents_below0F@I"RDoc::Servlet;TcRDoc::NormalClass0