P, TD { margin-top:6pt; margin-bottom:6pt;}
H1 { font-family:Tahoma,Arial,Helvetica; text-align:center; margin:6pt 6pt 6pt 6pt; }
H2 { font-size:130%; font-family:Tahoma,Arial,Helvetica; background-color:black; color:white; padding-left: 5px; padding-bottom: 2px; margin-top:6pt; margin-bottom:6pt;}
H3 { font-family:Tahoma,Arial,Helvetica; background-color:grey; color:white; padding-left: 5px;  padding-bottom: 2px; margin-top:6pt; margin-bottom:6pt;}
H4, H5, H6 { font-family:Tahoma,Arial,Helvetica; }
BODY { margin-left:0px; margin-right:30px; font-family:Tahoma,Arial,Helvetica; }
TT { font-size:110%; font-weight:900; white-space:nowrap; }
PRE { font-size:90%; margin-top:4px; }
TABLE { border-collapse:collapse; }
TD, TH { padding-right:1em; text-align:left; vertical-align: middle;}
A:link { color:#30005f; text-decoration: none;  }
.file { background-color:f0f0f0; border:1px solid black; padding:6px;  }
.cmd { color:#40FF40; background-color:black; padding:6px;  }
.shortdesc {font-size: 120%; font-family:Times,Times Roman,serif; font-style:italic; }
.note { background-color:yellow; padding:4px; }
.uml { background-color:ffffe0; border:1px solid black; padding:3px; font-family:monospace; } 
.frame { background-color:f0f0f0; border:1px solid black; padding:2px; font-family:monospace; } 
.math { font-family:Times,Times Roman,serif; font-style:italic; font-weight:bold; white-space:nowrap; font-size:110%; }
.box { border:1px solid black; padding:3px; padding-left:8px; padding-right:8px; }
.math sub { font-style:normal; font-weight:normal; }
.math .norm { font-style:normal; font-weight:normal; }
.math .big { font-style:normal; font-weight:normal; font-size:150%; }
.sans { font-family:Tahoma,Arial,Helvetica,sans-serif,sans; }
input[type="file"] { display: none; }
select.action { padding-top: 9px; padding-bottom: 5px; }.alert { border:1px solid #800; }
.alert h2 { background-color:#900; margin-top:0; margin:0; }
.alert span { padding:5px; display:inline-flex; }

ul.navmenu {
    text-transform:uppercase; 
    text-decoration:none; 
    font-family:Roboto,sans-serif; 
    letter-spacing:1.2px; 
    font-weight:600; 
    list-style-type: none;
    margin: 0;
    padding: 0;
    width: 150px;
    background-color: #f8f8f8;
    position: fixed;
    height: 100%;
    overflow: auto;
}
.navmenu li a { 
    display: block;
    color: #000;
    padding: 8px 0 8px 16px;
}
.navmenu li a.active {
    background-color: #fff;
    color: white;
}
.navmenu li a:hover:not(.active) {
    background-color: #000;
    color: white;
}



.action { 
    text-decoration:none; 
    font-family:Roboto,sans-serif; 
    letter-spacing:1.25px; 
    font-weight:600; 
    text-transform:uppercase; 
    padding:0 16px 0 16px; 
    box-shadow: rgba(0, 0, 0, 0.2) 0px 3px 1px -2px, rgba(0, 0, 0, 0.14) 0px 2px 2px 0px, rgba(0, 0, 0, 0.12) 0px 1px 5px 0px; 
    line-height: 200%;
    align-items: center;
    display:inline-flex;
    font-size: 100%;
    color: blue;
    background-color: white;
    border:none;
}
.action:hover {
    box-shadow: 0px 2px 4px -1px rgba(0, 0, 0, 0.2), 0px 4px 5px 0px rgba(0, 0, 0, 0.14), 0px 1px 10px 0px rgba(0, 0, 0, 0.12);
    background-color:#f8f8f8;
}


.diff-wrapper.diff {
    --tab-size: 4;
    background: repeating-linear-gradient(-45deg, whitesmoke, whitesmoke 0.5em, #e8e8e8 0.5em, #e8e8e8 1em);
    border-collapse: collapse;
    border-spacing: 0;
    border: 1px solid black;
    color: black;
    empty-cells: show;
    font-family: monospace !important;
    font-size: 13px;
    /*width: 100%;*/
    word-break:keep-all;
  }
  .diff-wrapper.diff th {
    font-weight: 700;
    cursor: default;
    -webkit-user-select: none;
    user-select: none;
  }
  .diff-wrapper.diff td {
    vertical-align: baseline;
  }
  .diff-wrapper.diff td,
  .diff-wrapper.diff th {
    border-collapse: separate;
    border: none;
    padding: 1px 2px;
    background: #fff;
  }
  .diff-wrapper.diff td:empty:after,
  .diff-wrapper.diff th:empty:after {
    content: " ";
    visibility: hidden;
  }
  .diff-wrapper.diff td a,
  .diff-wrapper.diff th a {
    color: #000;
    cursor: inherit;
    pointer-events: none;
  }
  .diff-wrapper.diff thead th {
    background: #a6a6a6;
    border-bottom: 1px solid black;
    padding: 4px;
    text-align: left;
  }
  .diff-wrapper.diff tbody.skipped {
    border-top: 1px solid black;
  }
  .diff-wrapper.diff tbody.skipped td,
  .diff-wrapper.diff tbody.skipped th {
    display: none;
  }
  .diff-wrapper.diff tbody th {
    background: #cccccc;
    border-right: 1px solid black;
    text-align: right;
    vertical-align: top;
    width: 4em;
  }
  .diff-wrapper.diff tbody th.sign {
    background: #fff;
    border-right: none;
    padding: 1px 0;
    text-align: center;
    width: 1em;
  }
  .diff-wrapper.diff tbody th.sign.del {
    background: #fbe1e1;
  }
  .diff-wrapper.diff tbody th.sign.ins {
    background: #e1fbe1;
  }
  .diff-wrapper.diff.diff-html {
    white-space: pre-wrap;
    tab-size: var(--tab-size);
  }
  .diff-wrapper.diff.diff-html .ch {
    line-height: 1em;
    background-clip: border-box;
    background-repeat: repeat-x;
    background-position: left center;
  }
  .diff-wrapper.diff.diff-html .ch.sp {
    background-image: url('data:image/svg+xml,%3Csvg preserveAspectRatio="xMinYMid meet" viewBox="0 0 12 24" xmlns="http://www.w3.org/2000/svg"%3E%3Cpath d="M4.5 11C4.5 10.1716 5.17157 9.5 6 9.5C6.82843 9.5 7.5 10.1716 7.5 11C7.5 11.8284 6.82843 12.5 6 12.5C5.17157 12.5 4.5 11.8284 4.5 11Z" fill="rgba%2860, 60, 60, 50%25%29"/%3E%3C/svg%3E');
    background-size: 1ch 1.25em;
  }
  .diff-wrapper.diff.diff-html .ch.tab {
    background-image: url('data:image/svg+xml,%3Csvg preserveAspectRatio="xMinYMid meet" viewBox="0 0 12 24" xmlns="http://www.w3.org/2000/svg"%3E%3Cpath d="M9.5 10.44L6.62 8.12L7.32 7.26L12.04 11V11.44L7.28 14.9L6.62 13.9L9.48 11.78H0V10.44H9.5Z" fill="rgba%2860, 60, 60, 50%25%29"/%3E%3C/svg%3E');
    background-size: calc(var(--tab-size) * 1ch) 1.25em;
    background-position: 2px center;
  }
  .diff-wrapper.diff.diff-html .change.change-eq .old,
  .diff-wrapper.diff.diff-html .change.change-eq .new {
    background: #fff;
  }
  .diff-wrapper.diff.diff-html .change .old {
    background: #fbe1e1;
  }
  .diff-wrapper.diff.diff-html .change .new {
    background: #e1fbe1;
  }
  .diff-wrapper.diff.diff-html .change .rep {
    background: #fef6d9;
  }
  .diff-wrapper.diff.diff-html .change .old.none,
  .diff-wrapper.diff.diff-html .change .new.none,
  .diff-wrapper.diff.diff-html .change .rep.none {
    background: transparent;
    cursor: not-allowed;
  }
  .diff-wrapper.diff.diff-html .change ins,
  .diff-wrapper.diff.diff-html .change del {
    font-weight: bold;
    text-decoration: none;
  }
  .diff-wrapper.diff.diff-html .change ins {
    background: #94f094;
  }
  .diff-wrapper.diff.diff-html .change del {
    background: #f09494;
  }