/* used in
 /index.html
 /intranet/index.html
 /tomas/index.html

  <link rel="stylesheet" href="/y.css" type="text/css">
*/

/* ---------------------------------------------------------- */
body {
#  font-family: Verdana, GENEVA, HELVETICA, ARIAL, sans-serif;
  font-size: small;
  margin-left:  5%;
  margin-right: 5%;
}

h4 {
    margin-top: 0.6em;
    margin-bottom: 0.2em;
    line-height: 2;
    border-bottom-width: thin;
    border-bottom-style: solid;
}

ol {
    padding-left: 21px;
    margin-top: 0.6em;
    margin-left: 0px;
}

div.y {
    margin-left:5%;
    margin-right:5%;
}

/* ---------------------------------------------------------- */
code.cmd {
  background-color:#e0e0e0;
/*
  font-family: Verdana, GENEVA, HELVETICA, ARIAL, sans-serif;
*/
  font-family: HELVETICA, ARIAL, sans-serif;
}

/* ---------------------------------------------------------- */
a.hidden, a.hidden:link, a.hidden:visited {
    color: white;
    text-decoration: none;
    font-size: small;
}

a.hidden:hover {
    color: #e0e0e0;
    background: transparent;
}