Nightly: fixed bug for selecting embedded web server (#514).
Nightly: added style (#514).