blob: 3478a77f7ec4bf30842c4cbc106bbfedab2bb3e0 [file] [log] [blame]
Akron3bb91bc2016-12-02 16:43:17 +01001@import "highlight"; // JSON highlighting
Akronb56986f2017-06-29 20:52:29 +02002@import "kwic"; // Kwic view information
Nils Diewaldab4d3ca2015-04-17 01:48:43 +00003@import "logos"; // Logo images
Akron15175132017-09-07 18:12:55 +02004@import "matchinfo"; // Match table
5@import "tree"; // Tree view
Nils Diewaldab4d3ca2015-04-17 01:48:43 +00006@import "pagination"; // Pagination
7@import "query"; // View query
8@import "resultinfo"; // Information on results
Nils Diewaldab4d3ca2015-04-17 01:48:43 +00009@import "tutorial"; // Embedded and non-embedded tutorial
Akron48b1e4d2015-06-17 18:47:01 +020010@import "koralquery"; // KoralQuery
Akron88490f22015-11-30 15:07:08 +010011@import "tagger"; // Tagger
Nils Diewaldab4d3ca2015-04-17 01:48:43 +000012@import "alertify";
Akronbd39a432017-09-20 13:57:13 +020013@import "intro"; // Intro page
Nils Diewalda31a5152015-04-17 21:05:23 +000014
15main {
16 margin: {
17 left: $standard-margin;
Nils Diewald4347ee92015-05-04 20:32:48 +000018 right: ($standard-margin / 2);
Nils Diewalda31a5152015-04-17 21:05:23 +000019 }
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 Diewalda31a5152015-04-17 21:05:23 +000031}
32
33blockquote {
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}