Consider different tab style

spring-io / spring-doc-resources

Asciidoctor theme for Spring reference documentations

https://spring.io/

Apache License 2.0

40 stars 20 forks source link

Closed philwebb closed 3 years ago

philwebb commented 4 years ago

The current tab style takes up quite a bit of real estate:

Screen Shot 2020-10-01 at 3 58 03 PM

I wonder if we should consider them smaller:

Screen Shot 2020-10-01 at 3 58 09 PM