@code-color:                                    var(--c8y-code-color);  
@code-background:                               var(--c8y-code-background); 
@code-font-family:                              var(--c8y-code-font-family);
@code-font-size:                                var(--c8y-code-font-size);
@code-border-radius:                            var(--c8y-code-border-radius);
@code-border-color:                             var(--c8y-code-border-color);

@kbd-color:                                     @palette-high;
@kbd-background:                                @black;
@kbd-border-radius:                             var(--c8y-kbd-border-radius, 2px);

@pre-background:                                var(--c8y-pre-background);
@pre-color:                                     var(--c8y-pre-color);
@pre-border-color:                              var(--c8y-pre-border-color);
@pre-border-radius:                             var(--c8y-pre-border-radius);
@pre-scrollable-max-height:                     340px;