U:RDoc::Attr[
iI"options:EFI"RDoc::Servlet#options;FI"R;F:publico:RDoc::Markup::Document:@parts[o:RDoc::Markup::Paragraph;	[I"9An RDoc::Options instance used for rendering options;F:
@file0FI"lib/rdoc/servlet.rb;F