view DOCS/default.css @ 35510:06aa6dc71613

Combine guiPlaylistInitialize() and guiPlaylistAdd(). New guiPlaylist() handles both now according to the instruction passed to it.
author ib
date Wed, 05 Dec 2012 11:51:08 +0000
parents 0ad2da052b2e
children
line wrap: on
line source

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