RubyGems Navigation menu

metanorma-ogc 1.3.7