N°3569 - Fix DB Tools queries display

This commit is contained in:
Eric
2021-03-25 16:35:46 +01:00
parent aa9632a41b
commit 3a9228d8d3
4 changed files with 68 additions and 32 deletions

View File

@@ -16,28 +16,39 @@
* You should have received a copy of the GNU Affero General Public License
*/
$ibo-code--background-color: $ibo-color-white-200 !default;
$ibo-code--padding: 1.25rem 1.5rem !default;
/* Note: We have to wrap it in the ID in order to overload its rules, otherwise, the ID takes over the simple CSS class... */
#ibo-center-container {
&.ibo-center-container--with-side-content {
display: flex;
align-items: stretch;
overflow: hidden; /* Only the content areas should scroll */
&.ibo-center-container--with-side-content {
display: flex;
align-items: stretch;
overflow: hidden; /* Only the content areas should scroll */
> * {
height: 100%;
}
#ibo-main-content {
flex-grow: 1; /* To occupy maximum width, side content will handle its width */
overflow-x: auto; /* To avoid main content to be too wide when the blocks within it have no width constraints. This way it will occupy only the remaining space left by the side part. */
}
}
> * {
height: 100%;
}
#ibo-main-content {
flex-grow: 1; /* To occupy maximum width, side content will handle its width */
overflow-x: auto; /* To avoid main content to be too wide when the blocks within it have no width constraints. This way it will occupy only the remaining space left by the side part. */
}
}
}
.ibo-v-spacer {
padding-top: 1em;
padding-top: 1em;
}
#ibo-side-content {
background-color: $ibo-content-block--background-color;
border-left: $ibo-content-block--border;
background-color: $ibo-content-block--background-color;
border-left: $ibo-content-block--border;
}
.ibo-code {
font-family: $family-code;
font-size: $ibo-font-size-150;
background-color: $ibo-code--background-color;
padding: $ibo-code--padding;
}