blob: 9678ca9ed342cb7946f381af0a5df9c0f73ba07c [file] [log] [blame]
Nils Diewalda944fab2015-04-08 21:02:04 +00001@charset "utf-8";
Nils Diewaldab4d3ca2015-04-17 01:48:43 +00002@import "../util";
Nils Diewalda944fab2015-04-08 21:02:04 +00003
4$border-size: 2px;
5
6#tutorial {
7 position: fixed;
8 z-index: 9999;
9 top: 5%;
10 bottom: 5%;
11 left: 2%;
12 right: 2%;
13 padding-right: $right-match-distance;
14/*
15 padding: 0;
16 margin: 0;
17*/
18 background-color: $nearly-white;
Akron7bbdb252018-07-19 16:44:34 +020019
20 .button-group.button-view {
Nils Diewalda944fab2015-04-08 21:02:04 +000021 background-color: $middle-grey;
22 display: block;
Akron7bbdb252018-07-19 16:44:34 +020023 height: 100%;
Nils Diewalda944fab2015-04-08 21:02:04 +000024 }
25 border: {
26 width: 2 * $border-size;
27// color: $dark-orange;
28 color: $dark-grey;
29 style: solid;
30 radius: $standard-border-radius;
31 }
32 box-shadow: $choose-box-shadow;
33 iframe {
34 border-width: 0;
35 width: 100%;
36 // Hack for a Firefox bug
37 min-height: 100.1%;
38 background: {
39 image:url('#{$img-path}/korap-bg-kalamar.svg');
40 repeat: no-repeat;
41 position: center center;
42 size: 20%;
43 }
44 }
45}
46
47body.embedded {
48 background-color: $nearly-white;
Nils Diewald7c8ced22015-04-15 19:21:00 +000049 aside {
Nils Diewalda944fab2015-04-08 21:02:04 +000050/*
51 border-right: {
52 width: $border-size;
53 style: solid;
54 }
55*/
56 padding-top: 0;
Nils Diewaldab4d3ca2015-04-17 01:48:43 +000057 @include choose-item;
Nils Diewalda944fab2015-04-08 21:02:04 +000058 background-color: $middle-grey;
59 > div {
60 position: relative;
61 top: 50%;
62 -webkit-transform: translateY(-50%);
63 -ms-transform: translateY(-50%);
64 transform: translateY(-50%);
65 // margin-right: -1 * $border-size;
66 }
67 }
68}
69
70main.tutorial {
71 margin-left: $logo-left-distance + 15px;
72}
73
Nils Diewalda31a5152015-04-17 21:05:23 +000074dl {
75 margin: 0;
76 padding-bottom: 2em;
77 dt {
78 font-weight: bold;
79 abbr {
80 border-width: 0;
81 &[data-type=token]::after {
82 color: $ids-blue-1;
83 }
84 &[data-type=span]::after {
85 color: $ids-pink-1;
86 }
87 &::after {
88 content: ' (' attr(title) ')';
89 vertical-align: bottom;
90 font-style: italic;
91 font-weight: normal;
92 font-size: 80%;
93 }
94 }
95 }
96}
97
98
99