blob: 39e1a6221342fff449e93d3151aa883e6087e77d [file] [log] [blame]
@import "highlight"; // JSON highlighting
@import "kwic"; // Kwic view information
@import "logos"; // Logo images
@import "matchinfo"; // Match table
@import "tree"; // Tree view
@import "pagination"; // Pagination
@import "query"; // View query
@import "resultinfo"; // Information on results
@import "tutorial"; // Embedded and non-embedded tutorial
@import "koralquery"; // KoralQuery
@import "tagger"; // Tagger
@import "alertify";
@import "intro"; // Intro page
main {
margin: {
left: $standard-margin;
right: ($standard-margin / 2);
}
padding-bottom: 20pt;
&.embedded {
margin: {
left: 14px;
right: 14px;
}
}
p {
text-align: justify;
hyphens: auto;
}
/*
> section > p, > p {
a {
border-radius: 6px;
padding: 0 .3em;
background-color: $choose-bg;
text-shadow: light-shadow;
color: $light-green;
&:hover {
color: $dark-green;
text-shadow: none;
background-color: $light-green;
}
}
}
*/
}
blockquote {
border-radius: $standard-border-radius;
padding: 2pt 5pt 2pt 20pt;
margin: 0;
border-left: 5px solid $ids-blue-1;
background-color: $ids-blue-2;
color: $ids-blue-1;
}
/*
blockquote {
border-radius: 12px;
margin: 0;
text-indent: 0;
padding: 1em;
border-left: {
color: $dark-grey;
style: solid;
width: 1em;
}
background-color: $light-grey;
&.warning {
border-left-color: $dark-orange;
}
&.exception {
border-left-color: red;
}
}
*/