<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body {
    font-family: Arial, sans-serif;
    font-weight: 300;
    cursor: default;
    font-size: 100%;
    background-color: #6e889c;
}

b {
    font-weight: 700;
}

h1, h2, h3, h4, h5, h6 {
    color: #074f85;
}

address strong {
    color: #333;
}

h1.title {
    text-align: center;
    color: #b89b76;
    font-weight: 300;
}

h6.title {
    text-align: right;
    color: #b89b76;
    font-weight: 300;
}

.container {
    margin-right: auto;
    margin-left: auto;
    max-width: 800px;
    padding: 0 30px;
    background-color: #faf4d5;
}

/*MENU*/
div.container div.menu-container {
    background-color: #6e889c;
    /* 	padding: 0 -30px 0 -30px; */

}

.menu {
    padding: 8px 15px;
    list-style: none;
    background-color: #6e889c;
    margin: 0 -30px;
    border-radius: 0;
    font-size: 90%;
}

.menu li {
    display: inline-block;
    *display: inline;
    text-shadow: none;
    *zoom: 1;
}

.menu a {
    padding: 5px;
    color: #faf4d5;
}

.menu &gt; li &gt; .divider {
    padding: 0 5px;
    color: #faf4d5;
}

.menu a:hover {
    color: #faf4d5;
}

code.simple {
    color: #333;
    border: none;
    background-color: #faf4d5;
    font-size: 100%;
}

.footnote code.simple {
    color: #fdfffe;
    border: none;
    background-color: #6e889c;
    font-size: 100%;
}

code.other {
    color: #333;
    border: 1px solid #999999;
    font-family: Arial, sans-serif;
    font-size: 100%;
    background-color: #cccccc;
}

code.usage {
    color: #333;
    border: 1px solid #a07def;
    font-family: Arial, sans-serif;
    font-size: 100%;
    background-color: #e2d4e7;
}

code.structure {
    color: #333;
    border: 1px solid #dfb053;
    font-family: Arial, sans-serif;
    font-size: 100%;
    background-color: #ffedce;
}

code.behaviour {
    color: #333;
    border: 1px solid #737e95;
    font-family: Arial, sans-serif;
    font-size: 100%;
    background-color: #d5e1e6;
}

code.structure_behaviour {
    color: #333;
    border: 1px solid #95ba6d;
    font-family: Arial, sans-serif;
    font-size: 100%;
    background-color: #ddebbc;
}

div.shadow_top {
    background-image: url(../images/fn_shadow_top.gif);
    background-repeat: repeat-x;
    height: 4px;
}

div.shadow_bottom {
    background-image: url(../images/fn_shadow_bottom.gif);
    background-repeat: repeat-x;
    height: 3px;
}

span.f_ref {
    padding: 0 3px 2px;
    font-family: Monaco, Menlo, Consolas, "Courier New", monospace;
    font-size: 12px;
    color: #333;
    -webkit-border-radius: 3px;
    -moz-border-radius: 3px;
    border-radius: 3px;
}

f_ref {
    padding: 2px 4px;
    color: #d14;
    white-space: nowrap;
    background-color: #f7f7f9;
    border: 1px solid #e1e1e8;
}

/*
span.dia_item
{
  font-family: "Courier New", monospace;
}
*/

.gap {
    margin: 0;
}

div.paragraph &gt; ul &gt; li {
    padding-bottom: 10px;
}

/* #62c462, #51a351 */

ul, ol {
    margin-left: 35px;
}

.table-bordered, .table-bordered th, .table-bordered td {
    border-color: #333;
}

div.caption h4 {
    /* 	font-weight: 300; */
    /* 	letter-spacing:1px; */
    /* 	font-weight: bold; */
    padding-top: 10px;
    padding-bottom: 10px;
}

div.caption p {
    padding-top: 10px;
    padding-bottom: 10px;
    text-align: center;
}

.footnote {
    margin-left: -30px;
    margin-right: -30px;
    background-color: #6e889c;
}

.footnote p {
    padding: 8px 35px 1px;
    color: #fdfffe;
}

.footnote .def p {
    padding: 8px 35px 1px;
    color: #333;
}

.footnote pre {
    padding: 8px 35px 1px;
    color: #fdfffe;
    background-color: #6e889c;
    border: none;
    font-size: 75%;
}

.def strong {
    font-style: italic;
}

strong, em {
    color: #074f85;
}

.source {
    text-align: center;
    background-color: #f9f3d4;
    border: none;
}

.source-left {
    text-align: left;
    background-color: #f9f3d4;
    border: none;
    font-size: 90%;
}

pre.requirement {
    background-color: #f9f3d4;
    border-radius: 0px;
    border-left: none;
    border-right: none;
    border-left: 1px solid #6e889c;
    border-right: 1px solid #6e889c;
    border-top: 1px solid #6e889c;
    border-bottom: 1px solid #6e889c;
    word-break: normal;
}

.footnote pre.requirement {
    background-color: #6e889c;
}

sup:before {
    content: " ";
}

.section-arr {
    padding: 10px;
    color: #333;
    font-size: 90%;
}

.section-arr:hover {
    color: #333;
    /* #0c9947; */
    padding: 10px;
}

.chapter-header, .section-header, .paragraph-header {
    padding-top: 10px;
    text-align: center;
    /* 	color:#316f9f; */
    color: #074f85;
}

.chapter-header {
    font-size: 32px;
}

.section-header {
    font-size: 28px;
}

.paragraph-header {
    font-size: 24px;
}

.section p, .paragraph p {
    text-align: justify;
}

blockquote.note {
    margin-left: 20px;
    border-left-color: #6e889c;
}

.section span.pointer,
.paragraph span.pointer {
    padding: 2px 6px;
    /*   font-family: Monaco, Menlo, Consolas, "Courier New", monospace; */
    font-size: 12px;
    color: #333;
    -webkit-border-radius: 50%;
    -moz-border-radius: 50%;
    border-radius: 50%;
    white-space: nowrap;
    background-color: #fff;
    border: 1px solid #94928d;
}

blockquote.note small {
    color: #333;
}

blockquote.note small:before {
    content: '';
}

.paragraph .table th, .table td {
    border-top-color: #6e889c;
    vertical-align: middle;
}

.paragraph table dl {
    margin: 10px 0;
}

.paragraph table th, .paragraph table td {
    padding: 3px 15px;
    font-weight: 300;
}

.paragraph table th.text-right, .paragraph table td.text-right {
    text-align: right;
}

.paragraph table th.text-centered, .paragraph table td.text-centered {
    text-align: center;
}

.paragraph table thead {
    color: #fdfffe;
    background-color: #6e889c;
}

.def {
    /*   min-height: 20px; */
    padding: 5px;
    margin-bottom: 15px;
    margin-left: 20px;
    margin-right: 20px;
    color: #333;
    /*   background-color: #b2c8bb; */
    background-color: #dae8b9;
    background-color: #f0da9c;
    background-color: #f5dfad;
    /*    background-color: rgba(131,146,159,0.3); */
    /*
      -webkit-border-radius: 4px;
         -moz-border-radius: 4px;
              border-radius: 4px;
    */
    font-weight: 700;
    /*           border: 1px solid #333; */
    /*   font-size: 110%; */
    /*   border: 1px solid #728981; */
}

.def p {
    margin: 10px;
}

a {
    color: #074f85;
    text-decoration: underline;
}

a:hover {
    color: #074f85;
    cursor: pointer;
}

div.content ul {
    margin: 0;
}

div.content li {
    list-style: none;
    margin: 4px;
    padding: 4px;
    text-align: left;
}

div.content li a {
    color: #333;
}

div.content li.l0 {
    font-weight: 700;
}

div.content li.l1 {
    padding-left: 20px;
}

div.content li.l2 {
    padding-left: 40px;
}

li {
    /* 	margin-bottom: 10px; */
    text-align: justify;
}

.figure {
    width: 800px;
    /* 	border: 1px solid #ccc; */
}

.navbar {
    margin-left: -30px;
    margin-right: -30px;
}

hr {
    margin: 0;
    border-top: none;
    border-bottom: 1px solid #6e889c;
}

a.ad {
    display: block;
    background-color: #ff6666;
    padding: 10px;
    text-decoration: none;
    cursor: pointer;
    text-align: center;
}

a.ad &gt; h2 {
    color: white;
}

a.ad &gt; h2 &gt; small {
    color: white;
}

a.ad &gt; p {
    color: yellow;
}
</pre></body></html>