diff --git a/src/compiler/crystal/tools/doc/html/css/style.css b/src/compiler/crystal/tools/doc/html/css/style.css index ab76f4022e03..7655bcf0129c 100644 --- a/src/compiler/crystal/tools/doc/html/css/style.css +++ b/src/compiler/crystal/tools/doc/html/css/style.css @@ -10,6 +10,7 @@ html, body { body { font-family: "Avenir", "Tahoma", "Lucida Sans", "Lucida Grande", Verdana, Arial, sans-serif; color: #333; + line-height: 1.5; } a { @@ -352,6 +353,13 @@ code { font-family: Consolas, 'Courier New', Courier, Monaco, monospace; } +:not(pre) > code { + background-color: rgba(40,35,30,0.05); + padding: 0.2em 0.4em; + font-size: 85%; + border-radius: 3px; +} + span.flag { padding: 2px 4px 1px; border-radius: 3px;