blob: 9010c45529b223c86be5254c4af2ad1f550684c5 [file] [log] [blame]
Nils Diewaldab4d3ca2015-04-17 01:48:43 +00001@import "highlight"; // Navigation on the left side
2@import "kwic"; // Kwic view information
3@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
Nils Diewaldab4d3ca2015-04-17 01:48:43 +00008@import "tutorial"; // Embedded and non-embedded tutorial
Akron48b1e4d2015-06-17 18:47:01 +02009@import "koralquery"; // KoralQuery
Akron88490f22015-11-30 15:07:08 +010010@import "tagger"; // Tagger
Nils Diewaldab4d3ca2015-04-17 01:48:43 +000011@import "alertify";
Nils Diewalda31a5152015-04-17 21:05:23 +000012
13div.intro {
Nils Diewalda31a5152015-04-17 21:05:23 +000014 min-width: 600px;
Akronb1e49c82015-05-28 19:49:52 +020015
16 // Visited links
17 a:visited {
18 color: $darkest-orange
19 }
Nils Diewalda31a5152015-04-17 21:05:23 +000020}
21
Akron07c720e2016-01-04 20:56:46 +010022aside.active + main div.intro {
23 margin-left: $logo-left-distance - $standard-margin + $base-padding;
24}
Nils Diewalda31a5152015-04-17 21:05:23 +000025
26main {
27 margin: {
28 left: $standard-margin;
Nils Diewald4347ee92015-05-04 20:32:48 +000029 right: ($standard-margin / 2);
Nils Diewalda31a5152015-04-17 21:05:23 +000030 }
31 padding-bottom: 20pt;
32 &.embedded {
33 margin: {
34 left: 14px;
35 right: 14px;
36 }
37 }
38 p {
39 text-align: justify;
40 hyphens: auto;
41 }
42
43/*
44 > section > p, > p {
45 a {
46 border-radius: 6px;
47 padding: 0 .3em;
48 background-color: $choose-bg;
49 text-shadow: light-shadow;
50 color: $light-green;
51 &:hover {
52 color: $dark-green;
53 text-shadow: none;
54 background-color: $light-green;
55 }
56 }
57 }
58*/
59}
60
61blockquote {
62 border-radius: $standard-border-radius;
63 padding: 2pt 5pt 2pt 20pt;
64 margin: 0;
65 border-left: 5px solid $ids-blue-1;
66 background-color: $ids-blue-2;
67 color: $ids-blue-1;
68}
69
70/*
71blockquote {
72 border-radius: 12px;
73 margin: 0;
74 text-indent: 0;
75 padding: 1em;
76 border-left: {
77 color: $dark-grey;
78 style: solid;
79 width: 1em;
80 }
81 background-color: $light-grey;
82 &.warning {
83 border-left-color: $dark-orange;
84 }
85 &.exception {
86 border-left-color: red;
87 }
88}
89*/