Código PHP:
<?php session_start() ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<title>ATENEA: Aplicación Web para la Gestión de la Calidad</title>
<link href="estilos.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="cont">
<?php
// Comprueba si se inició sesión
if (isset($_SESSION['s_login']))
saludos!!