Akron | 3bb91bc | 2016-12-02 16:43:17 +0100 | [diff] [blame] | 1 | @import "highlight"; // JSON highlighting |
Akron | b56986f | 2017-06-29 20:52:29 +0200 | [diff] [blame] | 2 | @import "kwic"; // Kwic view information |
Nils Diewald | ab4d3ca | 2015-04-17 01:48:43 +0000 | [diff] [blame] | 3 | @import "logos"; // Logo images |
Akron | 1517513 | 2017-09-07 18:12:55 +0200 | [diff] [blame] | 4 | @import "matchinfo"; // Match table |
| 5 | @import "tree"; // Tree view |
Nils Diewald | ab4d3ca | 2015-04-17 01:48:43 +0000 | [diff] [blame] | 6 | @import "pagination"; // Pagination |
| 7 | @import "query"; // View query |
| 8 | @import "resultinfo"; // Information on results |
Nils Diewald | ab4d3ca | 2015-04-17 01:48:43 +0000 | [diff] [blame] | 9 | @import "tutorial"; // Embedded and non-embedded tutorial |
Akron | 48b1e4d | 2015-06-17 18:47:01 +0200 | [diff] [blame] | 10 | @import "koralquery"; // KoralQuery |
Akron | 88490f2 | 2015-11-30 15:07:08 +0100 | [diff] [blame] | 11 | @import "tagger"; // Tagger |
Nils Diewald | ab4d3ca | 2015-04-17 01:48:43 +0000 | [diff] [blame] | 12 | @import "alertify"; |
Akron | bd39a43 | 2017-09-20 13:57:13 +0200 | [diff] [blame] | 13 | @import "intro"; // Intro page |
Nils Diewald | a31a515 | 2015-04-17 21:05:23 +0000 | [diff] [blame] | 14 | |
| 15 | main { |
| 16 | margin: { |
| 17 | left: $standard-margin; |
Nils Diewald | 4347ee9 | 2015-05-04 20:32:48 +0000 | [diff] [blame] | 18 | right: ($standard-margin / 2); |
Nils Diewald | a31a515 | 2015-04-17 21:05:23 +0000 | [diff] [blame] | 19 | } |
| 20 | padding-bottom: 20pt; |
| 21 | &.embedded { |
| 22 | margin: { |
| 23 | left: 14px; |
| 24 | right: 14px; |
| 25 | } |
| 26 | } |
| 27 | p { |
| 28 | text-align: justify; |
| 29 | hyphens: auto; |
| 30 | } |
Nils Diewald | a31a515 | 2015-04-17 21:05:23 +0000 | [diff] [blame] | 31 | } |
| 32 | |
| 33 | blockquote { |
| 34 | border-radius: $standard-border-radius; |
| 35 | padding: 2pt 5pt 2pt 20pt; |
| 36 | margin: 0; |
| 37 | border-left: 5px solid $ids-blue-1; |
| 38 | background-color: $ids-blue-2; |
| 39 | color: $ids-blue-1; |
| 40 | } |