diff --git a/asset/css/doc.css b/asset/css/doc.css index 7312bb1a36..0086996b7e 100644 --- a/asset/css/doc.css +++ b/asset/css/doc.css @@ -18,11 +18,6 @@ div.odoc-include .spec { margin-top: 1rem /* 16px */; } -div.odoc div.spec code::before, -div.odoc div.spec code::after { - content: ""; -} - div.odoc div.spec code { white-space: pre-wrap; } @@ -135,14 +130,6 @@ div.odoc div.spec tbody tr { border-width: 0px; } -div.odoc code::before { - content: ""; -} - -div.odoc code::after { - content: ""; -} - div.odoc td.def-doc .comment-delim { height: 0; display: block; diff --git a/tailwind.config.js b/tailwind.config.js index db095b93fd..a5e3658d90 100644 --- a/tailwind.config.js +++ b/tailwind.config.js @@ -5,6 +5,18 @@ module.exports = { darkMode: 'class', theme: { extend: { + typography: { + DEFAULT: { + css: { + 'code::before': { + content: '""', + }, + 'code::after': { + content: '""', + }, + } + } + }, maxWidth: { '8xl': '90rem', },