<!-- Some styling for better description lists --><style type='text/css'>dt { font-weight: bold;float: left;display:inline;margin-right: 1em} dd { display:block; margin-left: 2em}</style> ***: arnd has quit IRC (Ping timeout: 260 seconds) <br> ldts has quit IRC (Ping timeout: 272 seconds) <br> dreamcat4 has quit IRC (Ping timeout: 272 seconds) <br> broonie has quit IRC (Read error: Connection reset by peer) <br> lvrp16 has quit IRC (Ping timeout: 260 seconds)