blob: 90c6660d47e832a12f43ab81b0419dac23222547 [file] [log] [blame]
Akron3bb91bc2016-12-02 16:43:17 +01001@import "highlight"; // JSON highlighting
2@import "kwic-new"; // Kwic view information
Nils Diewaldab4d3ca2015-04-17 01:48:43 +00003@import "logos"; // Logo images
4@import "matchinfo"; // Match table and tree
5@import "pagination"; // Pagination
6@import "query"; // View query
7@import "resultinfo"; // Information on results
8@import "sidebar"; // Navigation on the left side
9@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";
Nils Diewalda31a5152015-04-17 21:05:23 +000013
14div.intro {
15 width: 70%;
16 min-width: 600px;
Akronb1e49c82015-05-28 19:49:52 +020017
18 // Visited links
19 a:visited {
20 color: $darkest-orange
21 }
Nils Diewalda31a5152015-04-17 21:05:23 +000022}
23
24
25main {
26 margin: {
27 left: $standard-margin;
Nils Diewald4347ee92015-05-04 20:32:48 +000028 right: ($standard-margin / 2);
Nils Diewalda31a5152015-04-17 21:05:23 +000029 }
30 padding-bottom: 20pt;
31 &.embedded {
32 margin: {
33 left: 14px;
34 right: 14px;
35 }
36 }
37 p {
38 text-align: justify;
39 hyphens: auto;
40 }
41
42/*
43 > section > p, > p {
44 a {
45 border-radius: 6px;
46 padding: 0 .3em;
47 background-color: $choose-bg;
48 text-shadow: light-shadow;
49 color: $light-green;
50 &:hover {
51 color: $dark-green;
52 text-shadow: none;
53 background-color: $light-green;
54 }
55 }
56 }
57*/
58}
59
60blockquote {
61 border-radius: $standard-border-radius;
62 padding: 2pt 5pt 2pt 20pt;
63 margin: 0;
64 border-left: 5px solid $ids-blue-1;
65 background-color: $ids-blue-2;
66 color: $ids-blue-1;
67}
68
69/*
70blockquote {
71 border-radius: 12px;
72 margin: 0;
73 text-indent: 0;
74 padding: 1em;
75 border-left: {
76 color: $dark-grey;
77 style: solid;
78 width: 1em;
79 }
80 background-color: $light-grey;
81 &.warning {
82 border-left-color: $dark-orange;
83 }
84 &.exception {
85 border-left-color: red;
86 }
87}
88*/