view DOCS/default.css @ 20899:c00d8c1aa0ab

Replace sleep time calculation in main() with a separate function. Fixes some problems with playback_speed!=1: sleep limits which were supposed to be real time were calculated in scaled time, timing inaccuracies in nosound mode affected next frame by err*(1-1/playback_speed), auto quality code used scaled time.

body,table	{
	font-family : Arial, Helvetica, sans-serif;
	font-size   : 14px;
        background  : white;
}