blob: bf6e2dc7c21dbf66f5a5313d42cf8393e49149b0 [file] [log] [blame]
@use 'sass:math';
@import "highlight"; // JSON highlighting
@import "kwic"; // Kwic view information
@import "logos"; // Logo images
@import "matchinfo"; // Match table
@import "pagination"; // Pagination
@import "query"; // View query
@import "resultinfo"; // Information on results
@import "tutorial"; // Embedded and non-embedded tutorial
@import "koralquery"; // KoralQuery
@import "alertify"; // Styling alerts
@import "intro"; // Intro page
@import "panel"; // Base panel system
@import "introjs"; // Guided Tour
@import "introjs-ids"; // Guided Tour: IDS specific
@import "oauth"; // OAuth Management styles
@import "news"; // View for optional news
@import "plugin"; // Rules for embedded plugins
// @import "tagger"; // Tagger
@import "../util";
main {
padding-bottom: $footer-height + math.div($standard-margin,2);
margin: {
left: $standard-margin;
right: math.div($standard-margin,2);
}
&.embedded {
margin: {
left: 14px;
right: 14px;
}
}
p {
text-align: justify;
hyphens: auto;
}
h2#page-top {
margin-top: 0;
padding-top: 1em;
}
&.page {
margin-left: $logo-left-distance + 15px;
p,
li,
dd,
dt {
code {
background-color: $ids-grey-2;
color: $ids-grey-1;
padding: 0 .5em;
border-radius: $standard-border-radius;
}
}
}
p.hint {
margin: 0 auto;
text-align: center;
}
}