diff --git a/doc/style.css b/doc/style.css index fb901850709..25ea6c3450a 100644 --- a/doc/style.css +++ b/doc/style.css @@ -198,6 +198,19 @@ span.highlight { background-color: #ffffa0; } +/* same style as for gettingStarted */ +#menu { + margin-top: 1.5em; + margin-left: 1.75em; + margin-right: 0em; + float: right; + background-color: #fffff0; + padding-left: 1em; + padding-right: 1em; + padding-bottom: 0.75em; + border: 2px solid #ba9836; +} + /* ------------------------------------------------------------------------- */ /* Styles for the frontpage */ diff --git a/lib/godoc/godoc.html b/lib/godoc/godoc.html index 944643a34f5..b404857ebcc 100644 --- a/lib/godoc/godoc.html +++ b/lib/godoc/godoc.html @@ -120,6 +120,13 @@
+ + {.section Menu} + + {.end} +

{Title|html}