view editor.css @ 17:7400bb42e0c9

Add direct file edit link support
author Mike Pavone <pavone@retrodev.com>
date Sun, 25 Mar 2012 15:31:10 -0700
parents a5ef5af3df0f
children 068d63627b16
line wrap: on
line source


body, html
{
	width: 100%;
	height: 100%;
	margin: 0;
}

body > div
{
	margin: 0;
}

.controls
{
	width: 15%;
	height: 100%;
	display: inline-block;
	padding: 0;
	margin: 0;
	vertical-align: top;
}

#src
{
	width: 70%;
	display: inline-block;
	padding: 0;
	margin: 0;
	white-space: pre;
	font-family: monospace;
	overflow: auto;
	height: 100%;
}

#editor
{
	display: none;
	height: 100%;
}

body.editorMode > #editor
{
	display: block;
}

body.editorMode > #browser
{
	display: none;
}

body
{
	overflow: hidden;
}

#editor ul
{
	border-style: solid;
	border-color: black;
	border-width: 1px;
	display: block;
	padding: 2px;
	box-sizing: border-box;
	-moz-box-sizing: border-box;
	-webkit-box-sizing: border-box;
	height: 50%;
	margin: 0;
	overflow: auto;
}

#editor ul:first-child
{
	border-bottom-width: 0px;
}

#editor #operators, #editor .showops > #builtin
{
	display: none;
}

#editor .showops > #operators
{
	display: block;
}

#editor li
{
	display: inline-block;
	border-style: solid;
	border-color: lightgrey;
	border-width: 1px;
	padding: 2px;
	margin: 4px;
	min-width: 9mm;
	min-height: 9mm;
	cursor: pointer;
}

/* AST Nodes */
#src span
{
	border-width: 1px;
	border-style: solid;
	border-color: lightgrey;
	display: inline-block;
}


.object:before
{
	content: '#';
}

.lambda
{
	padding-left: 2em;
}

.lambda > *
{
	vertical-align: top;
}

.lambdabody
{
	display: inline-block;
	margin-left: 2em;
}

.lambdabody:before
{
	content: '{';
}

.lambda:after
{
	display: block;
	content: '}';
}

.funcall > .funcall, .assignment > .funcall
{
	display: inline-block;
}

.funcall > .funcall:before
{
	content: '(';
}

.funcall > .funcall:after
{
	content: ')';
}

.string
{
	color: #FF1030;
}