body {
		font-family: Arial;
	}

nav {
    width: 200px;
    float: left;
    padding: 10px;
}

nav button {
    font-size: 32pt;
    width: 100%;
    border: solid black 2px;
    text-align: center;
    padding-left: 0;
    padding-right: 0;
}

nav select {
    font-size: 32pt;
}

table.params {
    width: 100%;
    font-size: 32pt;
}

table.params input {
    font-size: 32pt;
}

table.params td {
}

table.params tr > td:first-child {
    width:50%;
    text-align: right;
    padding-right: 0.5em;
}

table.params tr > td:nth-child(2) {
    width:50%;
}

table.params tr > td:nth-child(2) > * {
    width: 100%;
}

table.params tr > td:nth-child(2) > input {
    width: calc(100% - 6px);
}

.hasError {
    background: salmon;
}

div#dummy {
    width: calc(100% - 224px);
}

canvas#main-canvas {
    border: solid grey 2px;
    width: calc(100% - 224px);
    position: fixed;
}

.running {
    background-color: green;
}

div#picker {
    border: solid black 2px;
    visibility: hidden;
    position: absolute;
    z-index: 1;
}

div#picker.show {
    visibility: visible;
}

div.pattern {
    width: 100px; 
    height: 100px;
    background-image: url("picker-zoom.jpg");
    background-repeat: no-repeat;
}

div.pickerhistory > div {
    margin-top:3px;
}