e3fee2cf46
Prior to this commit, the Odoo documentation was mainly split between
two repositories: odoo/odoo/doc and odoo/documentation-user. Some bits
of documentation were also hosted elsewhere (e.g., wiki, upgrade, ...).
This was causing several problems among which:
- The theme, config, Makefile, and similar technical resources had to
be duplicated. This resulted in inconsistent layout, features, and
build environments from one documentation to another.
- Some pages did not fit either documentation as they were relevant
for both users and developers. Some were relevant to neither of the
two (e.g., DB management).
- Cross-doc references had to be absolute links and they broke often.
- Merging large image files in the developer documentation would bloat
the odoo/odoo repository. Some contributions had to be lightened to
avoid merging too many images (e.g., Odoo development tutorials).
- Long-time contributors to the user documentation were chilly about
going through the merging process of the developer documentation
because of the runbot, mergebot, `odoo-dev` repository, etc.
- Some contributors would look for the developer documentation in the
`odoo/documentation-user` repository.
- Community issues about the user documentation were submitted on the
`odoo/odoo` repository and vice-versa.
Merging all documentations in one repository will allow us to have one
place, one theme, one work process, and one set of tools (build
environment, ...) for all of the Odoo docs.
As this is a good opportunity to revamp the layout of the documentation,
a brand new theme replaces the old one. It features a new way to
navigate the documentation, centered on the idea of always letting the
reader know what is the context (enclosing section, child pages, page
structure ...) of the page they are reading. The previous theme would
quickly confuse readers as they navigated the documentation and followed
cross-application links.
The chance is also taken to get rid of all the technical dangling parts,
performance issues, and left-overs. Except for some page-specific JS
scripts, the Odoo theme Sphinx extension is re-written from scratch
based on the latest Sphinx release to benefit from the improvements and
ease future contributions.
task-2351938
task-2352371
task-2205684
task-2352544
Closes #945
174 lines
5.1 KiB
SCSS
174 lines
5.1 KiB
SCSS
.popover {
|
|
position: absolute;
|
|
top: 0;
|
|
left: 0 #{"/* rtl:ignore */"};
|
|
z-index: $zindex-popover;
|
|
display: block;
|
|
max-width: $popover-max-width;
|
|
// Our parent element can be arbitrary since tooltips are by default inserted as a sibling of their target element.
|
|
// So reset our font and text properties to avoid inheriting weird values.
|
|
@include reset-text();
|
|
@include font-size($popover-font-size);
|
|
// Allow breaking very long words so they don't overflow the popover's bounds
|
|
word-wrap: break-word;
|
|
background-color: $popover-bg;
|
|
background-clip: padding-box;
|
|
border: $popover-border-width solid $popover-border-color;
|
|
@include border-radius($popover-border-radius);
|
|
@include box-shadow($popover-box-shadow);
|
|
|
|
.popover-arrow {
|
|
position: absolute;
|
|
display: block;
|
|
width: $popover-arrow-width;
|
|
height: $popover-arrow-height;
|
|
margin: 0 $popover-border-radius;
|
|
|
|
&::before,
|
|
&::after {
|
|
position: absolute;
|
|
display: block;
|
|
content: "";
|
|
border-color: transparent;
|
|
border-style: solid;
|
|
}
|
|
}
|
|
}
|
|
|
|
.bs-popover-top {
|
|
// Overrule margin set by popper.js
|
|
margin-bottom: $popover-arrow-height !important; // stylelint-disable-line declaration-no-important
|
|
|
|
> .popover-arrow {
|
|
bottom: subtract(-$popover-arrow-height, $popover-border-width);
|
|
|
|
&::before {
|
|
bottom: 0;
|
|
border-width: $popover-arrow-height ($popover-arrow-width / 2) 0;
|
|
border-top-color: $popover-arrow-outer-color;
|
|
}
|
|
|
|
&::after {
|
|
bottom: $popover-border-width;
|
|
border-width: $popover-arrow-height ($popover-arrow-width / 2) 0;
|
|
border-top-color: $popover-arrow-color;
|
|
}
|
|
}
|
|
}
|
|
|
|
.bs-popover-end {
|
|
// Overrule margin set by popper.js
|
|
margin-left: $popover-arrow-height !important; // stylelint-disable-line declaration-no-important
|
|
|
|
> .popover-arrow {
|
|
left: subtract(-$popover-arrow-height, $popover-border-width);
|
|
width: $popover-arrow-height;
|
|
height: $popover-arrow-width;
|
|
margin: $popover-border-radius 0; // make sure the arrow does not touch the popover's rounded corners
|
|
|
|
&::before {
|
|
left: 0;
|
|
border-width: ($popover-arrow-width / 2) $popover-arrow-height ($popover-arrow-width / 2) 0;
|
|
border-right-color: $popover-arrow-outer-color;
|
|
}
|
|
|
|
&::after {
|
|
left: $popover-border-width;
|
|
border-width: ($popover-arrow-width / 2) $popover-arrow-height ($popover-arrow-width / 2) 0;
|
|
border-right-color: $popover-arrow-color;
|
|
}
|
|
}
|
|
}
|
|
|
|
.bs-popover-bottom {
|
|
// Overrule margin set by popper.js
|
|
margin-top: $popover-arrow-height !important; // stylelint-disable-line declaration-no-important
|
|
|
|
> .popover-arrow {
|
|
top: subtract(-$popover-arrow-height, $popover-border-width);
|
|
|
|
&::before {
|
|
top: 0;
|
|
border-width: 0 ($popover-arrow-width / 2) $popover-arrow-height ($popover-arrow-width / 2);
|
|
border-bottom-color: $popover-arrow-outer-color;
|
|
}
|
|
|
|
&::after {
|
|
top: $popover-border-width;
|
|
border-width: 0 ($popover-arrow-width / 2) $popover-arrow-height ($popover-arrow-width / 2);
|
|
border-bottom-color: $popover-arrow-color;
|
|
}
|
|
}
|
|
|
|
// This will remove the popover-header's border just below the arrow
|
|
.popover-header::before {
|
|
position: absolute;
|
|
top: 0;
|
|
left: 50%;
|
|
display: block;
|
|
width: $popover-arrow-width;
|
|
margin-left: -$popover-arrow-width / 2;
|
|
content: "";
|
|
border-bottom: $popover-border-width solid $popover-header-bg;
|
|
}
|
|
}
|
|
|
|
.bs-popover-start {
|
|
// Overrule margin set by popper.js
|
|
margin-right: $popover-arrow-height !important; // stylelint-disable-line declaration-no-important
|
|
|
|
> .popover-arrow {
|
|
right: subtract(-$popover-arrow-height, $popover-border-width);
|
|
width: $popover-arrow-height;
|
|
height: $popover-arrow-width;
|
|
margin: $popover-border-radius 0; // make sure the arrow does not touch the popover's rounded corners
|
|
|
|
&::before {
|
|
right: 0;
|
|
border-width: ($popover-arrow-width / 2) 0 ($popover-arrow-width / 2) $popover-arrow-height;
|
|
border-left-color: $popover-arrow-outer-color;
|
|
}
|
|
|
|
&::after {
|
|
right: $popover-border-width;
|
|
border-width: ($popover-arrow-width / 2) 0 ($popover-arrow-width / 2) $popover-arrow-height;
|
|
border-left-color: $popover-arrow-color;
|
|
}
|
|
}
|
|
}
|
|
|
|
.bs-popover-auto {
|
|
&[data-popper-placement^="top"] {
|
|
@extend .bs-popover-top;
|
|
}
|
|
&[data-popper-placement^="right"] {
|
|
@extend .bs-popover-end;
|
|
}
|
|
&[data-popper-placement^="bottom"] {
|
|
@extend .bs-popover-bottom;
|
|
}
|
|
&[data-popper-placement^="left"] {
|
|
@extend .bs-popover-start;
|
|
}
|
|
}
|
|
|
|
// Offset the popover to account for the popover arrow
|
|
.popover-header {
|
|
padding: $popover-header-padding-y $popover-header-padding-x;
|
|
margin-bottom: 0; // Reset the default from Reboot
|
|
@include font-size($font-size-base);
|
|
color: $popover-header-color;
|
|
background-color: $popover-header-bg;
|
|
border-bottom: $popover-border-width solid shade-color($popover-header-bg, 10%);
|
|
@include border-top-radius($popover-inner-border-radius);
|
|
|
|
&:empty {
|
|
display: none;
|
|
}
|
|
}
|
|
|
|
.popover-body {
|
|
padding: $popover-body-padding-y $popover-body-padding-x;
|
|
color: $popover-body-color;
|
|
}
|