/*
This file is part of Vodka.

Vodka is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

Vodka is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with Vodka.  If not, see <https://www.gnu.org/licenses/>.
*/


.lambda {
	display: contents;
}

.lambdasign {
	font-weight: bold;
}

.lambda > .codespan.exploded {
	background-color: var(--value-background);
	border-width: 3px 3px 3px 0px;
	border-style: solid;
	border-color: var(--unselected-border);
	padding: 1px 5px 2px 3px;
	font-size: 13px;
}

.lambda > .codespan.exploded.editing {
	background-color: var(--editing-background);
}

.lambda.vdir > .codespan.exploded {
	border-width: 0px 3px 3px 3px;
}

.lambda.newselected > .codespan.exploded {
	border-color: var(--selected-border);
}

