| @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"; |
| |
| div.intro { |
| // min-width: 600px; |
| |
| // Visited links |
| a:visited { |
| color: $darkest-orange |
| } |
| } |
| |
| aside.active ~ main div.intro { |
| margin-left: $logo-left-distance - $standard-margin + $base-padding; |
| } |
| |
| 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; |
| } |
| } |
| */ |