a:hover { background-color : palegreen; }
:lang(he)
{
    font-family: David;
    text-align:right;
    direction:rtl;
}
:lang(en)
{
    font-family: Times New Roman, Times, Serif;
    text-align:left;
    direction: ltr;
    unicode-bidi: embed;
}
pre.programlisting
{
    font-family: Courier New, Courier;
    font-size:10pt;
    border: green solid 3pt;
    padding: 0.5em;
}