blob: f6d1b7a07695e3f71970cde3a0ad2fdf9ef8478d [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";
Nils Diewalda31a5152015-04-17 21:05:23 +000013
14div.intro {
Akron05238fb2017-06-02 14:29:03 +020015 // min-width: 600px;
Akronb1e49c82015-05-28 19:49:52 +020016
17 // Visited links
18 a:visited {
19 color: $darkest-orange
20 }
Nils Diewalda31a5152015-04-17 21:05:23 +000021}
22
Akrona3a0eec2017-06-08 23:56:51 +020023aside.active ~ main div.intro {
Akron189b3592016-01-04 20:56:46 +010024 margin-left: $logo-left-distance - $standard-margin + $base-padding;
25}
Nils Diewalda31a5152015-04-17 21:05:23 +000026
27main {
28 margin: {
29 left: $standard-margin;
Nils Diewald4347ee92015-05-04 20:32:48 +000030 right: ($standard-margin / 2);
Nils Diewalda31a5152015-04-17 21:05:23 +000031 }
32 padding-bottom: 20pt;
33 &.embedded {
34 margin: {
35 left: 14px;
36 right: 14px;
37 }
38 }
39 p {
40 text-align: justify;
41 hyphens: auto;
42 }
43
44/*
45 > section > p, > p {
46 a {
47 border-radius: 6px;
48 padding: 0 .3em;
49 background-color: $choose-bg;
50 text-shadow: light-shadow;
51 color: $light-green;
52 &:hover {
53 color: $dark-green;
54 text-shadow: none;
55 background-color: $light-green;
56 }
57 }
58 }
59*/
60}
61
62blockquote {
63 border-radius: $standard-border-radius;
64 padding: 2pt 5pt 2pt 20pt;
65 margin: 0;
66 border-left: 5px solid $ids-blue-1;
67 background-color: $ids-blue-2;
68 color: $ids-blue-1;
69}
70
71/*
72blockquote {
73 border-radius: 12px;
74 margin: 0;
75 text-indent: 0;
76 padding: 1em;
77 border-left: {
78 color: $dark-grey;
79 style: solid;
80 width: 1em;
81 }
82 background-color: $light-grey;
83 &.warning {
84 border-left-color: $dark-orange;
85 }
86 &.exception {
87 border-left-color: red;
88 }
89}
90*/