a:visited { color: #083194; }

span { font-size: 14px; }
div { font-size: 14px; }
table { font-size: 14px; }
span.guimenu
    { font-family: monospace; font-style: italic; font-weight: bold; }
span.guimenuitem
    { font-family: monospace; font-style: italic; font-weight: bold; }
span.guilabel
    { font-family: monospace; font-style: italic; font-weight: bold; }
span.guibutton
    { font-family: monospace; font-style: italic; font-weight: bold; }
span.guiicon
    { font-family: monospace; font-style: italic; font-weight: bold; }
span.guisubmenu
    { font-family: monospace; font-style: italic; font-weight: bold; }
span.term        {
    font-family: monospace;
    font-weight: bold;
    background: black;
    color: white;
    padding: 1px;
}
span.term a      {
    font-family: monospace;
    font-weight: bold;
    background: black;
    color: white;
    padding: 1px;
}

div.caption      { font-size: 80%; }
div.important    { background: yellow; }
div.warning      { background: red; }

pre { font-size: 14px; padding: 5px; }
pre.programlisting { background-color: silver; }
pre.screen         { background-color: #BDC6DE; }

h1.title { font-size: 24px; }
div.chapter h2.title {
    font-size: 20px;
    font-weight: bold;
    color: white;
    background: #083194;
    border: 4px groove black;
    padding: 5px;
}
div.section h2.title {
    font-size: 18px;
    font-weight: bold;
    color: black;
    background: white;
    padding: 2px;
    border: 2px solid #083194;
}

span.remark        {
    font-weight: bold;
    color: orange;
}

p {
    font-size: 14px;
}