blob: 39e1a6221342fff449e93d3151aa883e6087e77d [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 }
31
32/*
33 > section > p, > p {
34 a {
35 border-radius: 6px;
36 padding: 0 .3em;
37 background-color: $choose-bg;
38 text-shadow: light-shadow;
39 color: $light-green;
40 &:hover {
41 color: $dark-green;
42 text-shadow: none;
43 background-color: $light-green;
44 }
45 }
46 }
47*/
48}
49
50blockquote {
51 border-radius: $standard-border-radius;
52 padding: 2pt 5pt 2pt 20pt;
53 margin: 0;
54 border-left: 5px solid $ids-blue-1;
55 background-color: $ids-blue-2;
56 color: $ids-blue-1;
57}
58
59/*
60blockquote {
61 border-radius: 12px;
62 margin: 0;
63 text-indent: 0;
64 padding: 1em;
65 border-left: {
66 color: $dark-grey;
67 style: solid;
68 width: 1em;
69 }
70 background-color: $light-grey;
71 &.warning {
72 border-left-color: $dark-orange;
73 }
74 &.exception {
75 border-left-color: red;
76 }
77}
78*/