diff options
Diffstat (limited to 'doc/_extensions')
| -rw-r--r-- | doc/_extensions/odoo/static/style.css | 6 | ||||
| -rw-r--r-- | doc/_extensions/odoo/static/typography.less | 9 |
2 files changed, 15 insertions, 0 deletions
diff --git a/doc/_extensions/odoo/static/style.css b/doc/_extensions/odoo/static/style.css index a24a820603a..d1802c8abfb 100644 --- a/doc/_extensions/odoo/static/style.css +++ b/doc/_extensions/odoo/static/style.css @@ -8515,6 +8515,12 @@ main article sub { top: 0.4em; } } +.guilabel:before { + content: "❮"; +} +.guilabel:after { + content: "❯"; +} body, header { position: relative; diff --git a/doc/_extensions/odoo/static/typography.less b/doc/_extensions/odoo/static/typography.less index aa5b588b95d..3c6ce8b6967 100644 --- a/doc/_extensions/odoo/static/typography.less +++ b/doc/_extensions/odoo/static/typography.less @@ -185,3 +185,12 @@ main article { } } } + +.guilabel { + &:before { + content: "❮"; + } + &:after { + content: "❯"; + } +} |
