blob: bcba1604b5bdb15011432446f7d9e9dca981353f [file] [log] [blame]
Akron48b1e4d2015-06-17 18:47:01 +02001@charset "utf-8";
Akron7636edf2025-11-04 12:44:53 +01002@use "../util";
3@use "../base/colors";
4@use "../base/lengths";
Akron48b1e4d2015-06-17 18:47:01 +02005
Akron7e5afce2020-08-25 15:50:19 +02006/**
7 * Styles for the KoralQuery view.
8 */
Akron48b1e4d2015-06-17 18:47:01 +02009
10#koralquery {
Akron48b1e4d2015-06-17 18:47:01 +020011 white-space: pre;
Akron48b1e4d2015-06-17 18:47:01 +020012 > div {
Akron7f1e07e2020-08-24 20:12:14 +020013 // TODO:
14 // Mark this with result-view
Akron7636edf2025-11-04 12:44:53 +010015 background-color: colors.$nearly-white;
Akron7e5afce2020-08-25 15:50:19 +020016 overflow-x: auto;
17 font-size: 85%;
18
Akron48b1e4d2015-06-17 18:47:01 +020019 margin: {
Akron7e5afce2020-08-25 15:50:19 +020020 top: 2pt;
Akron7636edf2025-11-04 12:44:53 +010021 right: lengths.$right-view-distance;
Akron48b1e4d2015-06-17 18:47:01 +020022 bottom: 2pt;
Akron7e5afce2020-08-25 15:50:19 +020023 left: 2pt;
Akron48b1e4d2015-06-17 18:47:01 +020024 }
25 }
26}