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




.closure.exploded {
	flex-direction: column;
	align-items: flex-start;
	max-width: 400px;
	padding-left: 4px;
}

.closure .sysglyph {
	font-weight: bold;
	color: var(--closure-glyph);
}

.closureline1 {
	font-weight: bold;
}

.closureline4,
.closureline5 {
	font-size: .9em;
}

/*
A closure sitting in the document shows its name, and that is all, until you
select it.

Only a closure nex. The documentation that appears while you are typing a
command name is built from the same lines -- createGhostDiv in command.js asks
the closure for the same html -- but reading what the thing does is the whole
point of that, so it keeps all of them.

Everything a closure can tell you about itself -- the arguments it takes, what
it is for, the code it is, the environment it came from -- is worth reading
when you are looking at the closure and is noise when you are looking at
something that merely contains one. A call whose head printed five lines of
documentation buried the call.

An unbound lambda has no name to show, so its short form is its code.
*/
.closure .closureline2,
.closure .closureline3,
.closure .closureline5 {
	display: none;
}

.closure.namedclosure .closureline4 {
	display: none;
}

.closure.anonymousclosure .closureline1 {
	display: none;
}

/* selected: all of it */
.closure.selected .closureline2,
.closure.selected .closureline3,
.closure.selected .closureline5,
.closure.selected.namedclosure .closureline4,
.closure.selected.anonymousclosure .closureline1,
.closure.newselected .closureline2,
.closure.newselected .closureline3,
.closure.newselected .closureline5,
.closure.newselected.namedclosure .closureline4,
.closure.newselected.anonymousclosure .closureline1 {
	display: inline-block;
}