/*@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-Thin.woff2") format("woff2"),
    url("Objectivity-Thin.woff") format("woff"),
    url("Objectivity-Thin.otf") format("opentype");
    font-weight: 100;
    font-style: normal;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-ThinSlanted.woff2") format("woff2"),
    url("Objectivity-ThinSlanted.woff") format("woff"),
    url("Objectivity-ThinSlanted.otf") format("opentype");
    font-weight: 100;
    font-style: italic;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-Light.woff2") format("woff2"),
    url("Objectivity-Light.woff") format("woff"),
    url("Objectivity-Light.otf") format("opentype");
    font-weight: 300;
    font-style: normal;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-LightSlanted.woff2") format("woff2"),
    url("Objectivity-LightSlanted.woff") format("woff"),
    url("Objectivity-LightSlanted.otf") format("opentype");
    font-weight: 300;
    font-style: italic;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-Regular.woff2") format("woff2"),
    url("Objectivity-Regular.woff") format("woff"),
    url("Objectivity-Regular.otf") format("opentype");
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-RegularSlanted.woff2") format("woff2"),
    url("Objectivity-RegularSlanted.woff") format("woff"),
    url("Objectivity-RegularSlanted.otf") format("opentype");
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-Medium.woff2") format("woff2"),
    url("Objectivity-Medium.woff") format("woff"),
    url("Objectivity-Medium.otf") format("opentype");
    font-weight: 500;
    font-style: normal;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-MediumSlanted.woff2") format("woff2"),
    url("Objectivity-MediumSlanted.woff") format("woff"),
    url("Objectivity-MediumSlanted.otf") format("opentype");
    font-weight: 500;
    font-style: italic;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-Bold.woff2") format("woff2"),
    url("Objectivity-Bold.woff") format("woff"),
    url("Objectivity-Bold.otf") format("opentype");
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: "Objectivity";
    src: url("Objectivity-BoldSlanted.woff2") format("woff2"),
    url("Objectivity-BoldSlanted.woff") format("woff"),
    url("Objectivity-BoldSlanted.otf") format("opentype");
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-LightItalic.woff2") format("woff2"),
    url("IBMPlexSans-LightItalic.woff") format("woff"),
    url("IBMPlexSans-LightItalic.ttf") format("truetype");
    font-weight: 300;
    font-style: italic;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-Light.woff2") format("woff2"),
    url("IBMPlexSans-Light.woff") format("woff"),
    url("IBMPlexSans-Light.ttf") format("truetype");
    font-weight: 300;
    font-style: normal;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-Medium.woff2") format("woff2"),
    url("IBMPlexSans-Medium.woff") format("woff"),
    url("IBMPlexSans-Medium.ttf") format("truetype");
    font-weight: 500;
    font-style: normal;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-SemiBold.woff2") format("woff2"),
    url("IBMPlexSans-SemiBold.woff") format("woff"),
    url("IBMPlexSans-SemiBold.ttf") format("truetype");
    font-weight: 600;
    font-style: normal;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-Italic.woff2") format("woff2"),
    url("IBMPlexSans-Italic.woff") format("woff"),
    url("IBMPlexSans-Italic.ttf") format("truetype");
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-Bold.woff2") format("woff2"),
    url("IBMPlexSans-Bold.woff") format("woff"),
    url("IBMPlexSans-Bold.ttf") format("truetype");
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-BoldItalic.woff2") format("woff2"),
    url("IBMPlexSans-BoldItalic.woff") format("woff"),
    url("IBMPlexSans-BoldItalic.ttf") format("truetype");
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-SemiBoldItalic.woff2") format("woff2"),
    url("IBMPlexSans-SemiBoldItalic.woff") format("woff"),
    url("IBMPlexSans-SemiBoldItalic.ttf") format("truetype");
    font-weight: 600;
    font-style: italic;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-MediumItalic.woff2") format("woff2"),
    url("IBMPlexSans-MediumItalic.woff") format("woff"),
    url("IBMPlexSans-MediumItalic.ttf") format("truetype");
    font-weight: 500;
    font-style: italic;
}

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans.woff2") format("woff2"),
    url("IBMPlexSans.woff") format("woff"),
    url("IBMPlexSans-Regular.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}

*/

@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans.woff2") format("woff2"),
    url("IBMPlexSans.woff") format("woff"),
    url("IBMPlexSans-Regular.ttf") format("truetype");
}
/*
@font-face {
    font-family: "IBM Plex Sans";
    src: url("IBMPlexSans-Medium.woff2") format("woff2"),
    url("IBMPlexSans-Medium.woff") format("woff"),
    url("IBMPlexSans-Medium.ttf") format("truetype");
    font-weight: bold;
}
*/
.toc-holder {
font-family: "IBM Plex Sans", verdana, sans-serif;
/*font-style: italic;
*/}
.idx-holder {
font-family: "IBM Plex Sans", verdana, sans-serif;
font-weight: bold;
}

div.searchresults .wSearchResultItem div.wSearchURL {
	display: none;
}
