Nota: Después de guardar, debes refrescar la caché de tu navegador para ver los cambios. Internet Explorer: mantén presionada Ctrl mientras pulsas Actualizar. Firefox: mientras presionas Mayús pulsas el botón Actualizar, (o presiona Ctrl-Shift-R). Los usuarios de Google Chrome y Safari pueden simplemente pulsar el botón Recargar. Para más detalles e instrucciones acerca de otros exploradores, véase Ayuda:Cómo limpiar la caché.

/* <pre><nowiki> */

/*
  Barra flotante
*/


#barraFlotante {
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  z-index: 4;
  padding: 0.5em;
  background-color: white;
  border: 2px solid #e0e3e6;
  font-size: smaller;
}

#barraFlotante a {
  border: 1px solid #fabd23;
  background-color: #fff1cf;
  padding: 2px;
}

#barraFlotante a:hover {
  background-color: #ffffff;
  padding: 2px;
}

/*
  Módulo de búsqueda
*/

#selecBusqueda {
  width: 11.1em;
  margin: 0.5em 0 0.5em;
  font-size: 95%;
}

#busnewwindow {
  white-space: nowrap;
}

label img {
  margin: -0.5em 0 0;
  padding: 0;
  /* Esto es para el texto alternativo */
  font-size: xx-small;
}

/* </nowiki></pre> */