@import "ui-mixins"; @import "ui-variables"; h1, h2, h3 { line-height: 1em; margin-bottom: 15px } h1 { font-size: 2em; } h2 { font-size: 1.5em; } h3 { font-size: 1.2em; } p { line-height: 1.6; margin-bottom: 15px; } label { font-weight: normal; } pre { box-shadow: none; color: @text-color; background: @inset-panel-background-color; border-radius: @component-border-radius; border: none; margin: 0; } code { .text(highlight); background: @background-color-highlight; border-radius: @component-border-radius; } .selected { .text(highlight); } .text-smaller { font-size: 0.9em; } .text-subtle { .text(subtle); } .text-highlight { .text(highlight); } .text-error { .text(error); } .text-info { .text(info); &:hover { color: @text-color-info; } } .text-warning { .text(warning); &:hover { color: @text-color-warning; } } .text-success { .text(success); &:hover { color: @text-color-success; } } .highlight { color: @text-color-highlight; font-weight: bold; text-shadow: none; background-color: @background-color-highlight; border-radius: @component-border-radius; padding: 1px 3px; } .highlight-color(@name, @color) { .highlight-@{name} { color: @text-color-highlight; font-weight: bold; text-shadow: none; background-color: @color; border-radius: @component-border-radius; padding: 1px 3px; } } .highlight-color(info, @background-color-info); .highlight-color(warning, @background-color-warning); .highlight-color(error, @background-color-error); .highlight-color(success, @background-color-success);