RubyGems Navigation menu

metanorma 1.2.0