RubyGems Navigation menu

metanorma 1.3.0