/*
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/>.
*/



.valuenex {
	display: none;
}

.valuenex.exploded {
	display: flex;
	flex-direction: row;
	align-items: center;
	font-family: Courier;
	color: var(--info-text);
	font-style: italic;
	font-size: 11px;
	background-color: var(--value-background);
	border: 1px solid var(--unselected-border);
	padding: 5px;
}

.valuenex.mutable {
	border-width: 3px;
	padding: 3px;
}


.valuenex.exploded.selected {
	padding: 3px;
	border: 3px solid var(--selected-border);
}

.valuenex.exploded.newselected {
	border-color: var(--selected-border);
}

.valuenex.exploded.editing {
	background-color: var(--editing-background);
	font-weight: bold;
}

/* TODO: move to symbol.css if it works out 
.esymbol {
	width: min-content;
}
*/

/*
The digit the arrows are working on while a number is being edited. Underlined
and blinking, because that is what a caret looks like everywhere else.

The underline's colour is what blinks rather than a border, so the number does
not change size twice a second.

(comment by Claude)
*/
.digitcaret {
	text-decoration: underline;
	text-decoration-thickness: 2px;
	text-underline-offset: 2px;
	animation: digitblink 1.1s steps(1, end) infinite;
}

@keyframes digitblink {
	0%, 50% {
		text-decoration-color: currentColor;
	}
	50.001%, 100% {
		text-decoration-color: transparent;
	}
}