@charset "utf-8";
@font-face {
font-family: inclusive;
src: url('InclusiveSansUW-Regular.ttf') format('truetype'), local(Arial), local(Helvetica), local(sans-serif);
font-weight: normal;
font-style: normal;
}
@font-face {
font-family: inclusive;
src: url('InclusiveSansUW-Bold.ttf') format('truetype'), local(Arial), local(Helvetica), local(sans-serif);
font-weight: bold;
font-style: normal;
}
@font-face {
font-family: inclusive;
src: url('InclusiveSansUW-Italic.ttf') format('truetype'), local(Arial), local(Helvetica), local(sans-serif);
font-weight: normal;
font-style: italic;
}
body {
margin: 0 auto;
padding: 0;
background-color: hsl(216, 95%, 90%);
font-family: inclusive;
font-size: 10pt;
min-height: 100vh;
width: 905px;
}
td {
font-size: 10pt;
}
table {
border-collapse: collapse;
}
a:link {
color: #02246C;
}
a:visited {
color: #02246C;
}
a:hover {
color: #02246C;
}
a:active {
color: #02246C;
}
ul {
list-style: circle;
margin: 0;
padding: 0;
}
li {
margin: 0;
margin-left: 20px;
padding: 0;
}
p {
margin-top: 10px;
margin-bottom: 10px;
}
/* ---------------------------------- */
p.point {
font-weight: bold;
font-style: italic;
}
p.point2 {
font-style: italic;
}
span.small {
font-size: 8pt;
}
/* ---------------------------------- */
div.head {
background-color: #f1ebdf;
width: 905px;
height: 71px;
position: relative;
}
div.head::after {
content: '';
background-image: url('data:image/svg+xml,');
position: absolute;
top: 14px;
left: 16px;
width: 143px;
height: 42px;
}
div.head .hname {
position: absolute;
left: 190px;
top: 1px;
height: 60px;
background-image: url(/gfx/casetrain_homepage.png);
background-repeat: no-repeat;
width: 605px;
}
div.head .sigilwrap {
position: absolute;
right: 30px;
top: 0;
height: 71px;
overflow: hidden;
}
div.head .sigilwrap .sigil {
position: relative;
top: -30px;
left: 0;
background-image: url('data:image/svg+xml,');
width: 150px;
height: 150px;
}
div.ide_footer {
position: absolute;
bottom: 1px;
right: 1px;
font-size: 8pt;
}
div.ide_footer a {
text-decoration: none;
color: #000;
}
div.ide_footer a:visited {
color: #000;
}
/* ---------------------------------- */
div.nav {
position: absolute;
top: 71px;
height: 30px;
width: 905px;
background-color: #F9FAFB;
border-top: 2px solid #4B4E55;
border-bottom: 2px solid #4B4E55;
}
div.nitem {
height: 30px;
font-weight: bold;
padding: 6px 12.5px;
box-sizing: border-box;
white-space: nowrap;
}
div.nitem a:link {
color: #000000;
text-decoration: none;
}
div.nitem a:visited {
color: #000000;
text-decoration: none;
}
div.nitem a:hover {
color: #000000;
text-decoration: none;
}
div.nitem a:active {
color: #000000;
text-decoration: none;
}
div.nitem:not(.nitema):hover {
background-color: #DEEEFF;
}
div.nitema {
background-color: #5498ff !important;
}
div.nitema a {
color: white !important;
}
div.niteml {
float: left;
}
div.nitemr {
float: right;
}
/* ---------------------------------- */
div.main {
top: 105px;
position: absolute;
width: 905px;
background-color: #f0f1f2;
min-height: calc(100vh - 105px);
}
/* ---------------------------------- */
div.start div.startcenter {
position: absolute;
top: 0;
left: 10px;
width: 660px;
font-size: 12pt;
box-sizing: border-box;
padding: 10px;
}
div.start div.startright {
position: absolute;
top: 0;
left: 670px;
width: calc(905px - 670px);
border-left: solid 1px white;
box-sizing: border-box;
padding: 10px;
height: 100%;
}
/* ---------------------------------- */
div.startright p.start {
font-size: 16pt;
font-weight: bold;
font-style: italic;
margin-bottom: 0;
padding-top: 12px;
/* padding-top: 4px; */
padding-bottom: 16px;
padding-left: 10px;
padding-right: 10px;
margin-left: -5px;
text-align: center;
background: url(/gfx/start.png);
background-repeat: no-repeat;
white-space: nowrap;
}
div.startright h3 {
margin: 15px 0 0 0 !important;
color: black !important;
font-weight: normal;
}
div.cases {
padding: 10px;
font-size: 10pt;
}
div.stats {
padding: 10px;
font-size: 8pt;
}
div.stats p {
margin-bottom: 0;
}
/* ---------------------------------- */
div.press p {
border: solid 1px #d5d5d5;
background-color: #FFF;
padding: 10px;
margin: 20px;
padding-left: 20px;
}
/* ---------------------------------- */
div.author {
height: 700px;
}
div.authorleft {
position: absolute;
top: 0;
left: 0;
width: 450px;
border-right: solid 1px white;
}
div.author2 {
padding: 25px;
}
div.author2left {
padding-top: 0;
}
div.authorright {
position: absolute;
top: 0;
left: 450px;
width: 450px;
}
/* ---------------------------------- */
div.body2 {
padding: 25px;
}
div.main h1 {
font-size: 14pt;
margin-top: 30px;
margin-bottom: 5px;
color: #02246C;
}
div.main h2 {
font-size: 12pt;
margin-top: 5px;
margin-bottom: 5px;
color: #02246C;
}
div.main h2.space {
font-size: 12pt;
margin-top: 25px;
margin-bottom: 10px;
}
div.main h3 {
font-size: 11pt;
margin-top: 25px;
margin-bottom: 10px;
color: #02246C;
}
div.main h4 {
font-size: 10pt;
font-weight: bold;
margin-top: 1em;
margin-bottom: 0;
color: black;
}
div.main h4 + p {
margin-top: 0;
}
/* ---------------------------------- */
iframe.ide_frame {
width: 840px;
height: 200px;
}
iframe.ide_trackerframe {
width: 840px;
height: 140px;
}
div.bugcontact {
position: absolute;
top: 50px;
left: 502px;
width: 380px;
}
table.bug {
width: 400px;
}
table.nobug {
background-image: url(/gfx/ok.gif);
background-repeat: no-repeat;
}
table.bug td {
border: 1px solid #333333;
font-size: 9pt;
padding: 2px;
}
td.bugperson {
width: 320px;
}
td.bugdate {
width: 80px;
}
table.bugfull {
width: 800px;
}
table.bugfull td {
border: 1px solid #333333;
font-size: 9pt;
padding: 2px;
}
td.bugplace {
width: 100px;
}
td.bugstate {
width: 300px;
font-weight: bold;
}
td.bugGreen {
color: #00AA00;
}
td.bugRed {
color: #DD0000;
}
/* ---------------------------------- */
div.navdoku {
float: left;
width: 105px;
}
div.navdoku p {
font-size: 8pt;
padding: 0;
margin: 0;
padding-left: 5px;
padding-top: 3px;
}
div.navdoku p.f {
font-weight: bold;
padding-top: 18px;
text-decoration: underline;
}
div.navdoku div.nitem {
width: 100%;
height: 20px;
font-weight: normal;
font-size: 9pt;
text-align: right;
background-color: #F9FAFB;
border-bottom: solid 1px #CCC;
box-sizing: border-box;
padding: 2px;
}
div.bodydoku {
width: 799px;
float: right;
border-left: solid 1px black;
min-height: 500px;
box-sizing: border-box;
padding: 0 25px 25px 25px;
}
div.bodydoku h1 {
margin-top: 30px;
margin-bottom: 5px;
}
div.bodydoku h2 {
margin-top: 20px;
margin-bottom: 5px;
}
div.bodydoku h3 {
margin-top: 15px;
margin-bottom: 5px;
}
table.code {
width: 700px;
background-color: white;
}
table.code td {
padding: 2px;
font-family: Courier, monospace;
font-size: 10pt;
border: solid 1px #555555;
vertical-align: top;
}
.hint {
font-family: Arial, Helvetica, sans-serif;
background-color: #FEFFC6;
}
table.code td.codeleft {
width: 100px;
vertical-align: top;
}
table.code td.coderight {
width: 600px;
}
.codelink {
font-family: Courier, monospace;
}
p.codelink {
background-color: white;
padding: 10px;
border: solid 1px #333333;
}
.notyet {
color: #666666;
}
/* --------------------------------- */
div.howto {
background-color: #FFF;
font-size: 14pt;
font-weight: normal;
border-right: solid 1px #f0f1f2;
padding: 30px 40px;
box-sizing: border-box;
}
div.howto h1 {
font-style: italic;
font-weight: bold;
font-size: 24pt;
color: #02246C;
margin: 10px 0 10px 0;
}
div.howto h2 {
font-style: italic;
font-weight: bold;
font-size: 16pt;
color: #02246C;
margin: 10px 0 10px 0;
}
div.howto table {
font-size: 14pt;
}
div.howto table td {
vertical-align: top;
}
div.howto table td.right {
padding-left: 20px;
}
div.nitemhowto {
font-style: italic;
background-image: url(howto/navback.png);
background-position: center;
background-repeat: no-repeat;
}
div.nitemhowto a:link,
div.nitemhowto a:visited,
div.nitemhowto a:hover,
div.nitemhowto a:active {
color: #FFF;
}
/* --------------------------------- */
table.excel {
border-collapse: collapse;
}
table.excel p {
margin: 0;
}
table.excel td.excel_corner {
text-align: right;
vertical-align: bottom;
}
table.excel td {
background-color: #FFF;
border: solid 1px #999;
padding: 2px;
text-align: left;
font-family: Verdana, Geneva, sans-serif;
font-size: 10pt;
}
table.excel tr.excel_header td {
text-align: center;
border-top: none;
border-bottom-color: #333;
border-collapse: collapse;
}
table.excel td:first-child {
width: 20px;
text-align: center;
border-left: none;
border-right-color: #333;
}
h1.chhead {
border: solid 2px #02246C;
padding: 5px 5px;
background-color: white;
cursor: pointer;
user-select: none;
-moz-user-select: none;
/* thanks mozilla */
position: relative;
padding-left: 30px;
}
h1.chhead:before {
content: '▲';
position: absolute;
width: 20px;
height: 20px;
left: 5px;
vertical-align: middle;
line-height: 20px;
text-align: center;
transform: rotate(90deg);
font-size: 11pt;
}
h1.chhead[active="1"]:before {
transform: rotate(180deg);
margin-top: 1px;
}
div.imgwrap {
border: solid 2px #02246C;
position: relative;
display: inline-block;
cursor: pointer;
}
div.imgwrap > div {
position: absolute;
background-color: #02246C;
color: white;
border-bottom-left-radius: 10px;
width: 12px;
height: 12px;
top: 0;
right: 0;
line-height: 10px;
padding-left: 3px;
box-sizing: border-box;
}
p.expand {
background-color: #02246C;
color: white;
font-weight: bold;
padding: 3px 20px 3px 10px;
margin-top: 0;
display: inline-block;
cursor: pointer;
}
.sticky {
background-color: #FFC;
border: solid 1px black;
padding: 7px 12px;
}
div.clipsticky {
transform: rotate(-2deg);
float: right;
margin-right: -50px;
margin-top: -15px;
padding: 10px;
width: 250px;
background-color: #FFC;
border: solid 1px #9a9a72;
box-shadow: 3px 3px 5px 0px grey;
position: relative;
font-family: cursive;
font-size: smaller;
}
div.clipsticky:after {
content: '';
width: 26px;
height: 34px;
background: url(/gfx/clip.png);
position: absolute;
right: 7px;
top: -13px;
}
p.navlinks {
text-align: right;
margin-top: -10px;
margin-bottom: -10px;
}