Exacto, este foro (y muchos mas) corren sobre un sistema de foros propietario, que es el vBulletin.
Si mal no recuerdo, el skin por default es el azul/gris que tenemos aqui, asi que es el mas probable (de las variantes) que te encuentres en la red.
Foros del Web creo que ha pasado por 3 sistemas de foros diferentes (cuado yo llegue aqui ya estaba vBulletin, aunque una version anterior). El motor no es el foro, el foro lo hacemos con el contenido
Si quieres ampliar mas tu informacion puedo mover este thread a Administracion para que algun administrador te de info mas exacta.