RubyGems Navigation menu

metanorma-sample 1.3.11