.dyntree {
    font-size: 12px;
    font-family: monospace;
}

/*
.halo {
    font-size: 48px;
}
.Γ {
    font-size: 48px;
}
.morph-name {
    font-family: monospace;
    font-size: 72px;
}
.infix,
.bracket {
    fill: #754000;
    font-size: 64px;
}
.type {
    fill: cadetblue;
    font-size: 48px;
}
.typevar {
    fill: #9cdcfe;
    font-size: 48px;
    font-style: smallcaps;
    fill: #bbb;
}
.value {
    fill: green;
    font-size: 48px;
    font-family: monospace;
}

.complex-opening {
    font-size: 200px;
}

.type-box {
    stroke: #777;
}

.type-node .type {
}
.type-node .typevar {
    font-family: monospace;
}
.type-node .infix,
.type-node .bracket {
    font-weight: bold;
}
*/