You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
178 lines
2.7 KiB
CSS
178 lines
2.7 KiB
CSS
@font-face {
|
|
font-family: 'AktivGrotesk-Medium'; /*a name to be used later*/
|
|
src: url('https://hub.xpub.nl/soupboat/SI18/07/Interface/css/AktivGrotesk-Medium.otf'); /*URL to font*/
|
|
}
|
|
|
|
@font-face {
|
|
font-family: 'Decay_White_Std'; /*a name to be used later*/
|
|
src: url('https://hub.xpub.nl/soupboat/SI18/07/Interface/css/Decay-White-Std.woff'); /*URL to font*/
|
|
}
|
|
|
|
@font-face {
|
|
font-family: 'Decay_White_Alt'; /*a name to be used later*/
|
|
src: url('https://hub.xpub.nl/soupboat/SI18/07/Interface/css/Decay-White-Alt.woff'); /*URL to font*/
|
|
}
|
|
|
|
|
|
|
|
body {
|
|
font-family: Decay_White_Alt;
|
|
background-color: lightgrey;
|
|
display: inline-block;
|
|
|
|
}
|
|
|
|
|
|
/* Remove default bullets */
|
|
ul, #Unfolding_Implicancies {
|
|
list-style-type:none;
|
|
padding: 0px;
|
|
margin: 0px;
|
|
|
|
}
|
|
|
|
h1 {
|
|
font-family: Helvetica;
|
|
font-size: 200%;
|
|
font-weight: bold;
|
|
padding: 0px;
|
|
margin: 0px;
|
|
margin-top: 10px;
|
|
padding-left: 6px;
|
|
}
|
|
|
|
#infobox {
|
|
padding-top: 15px;
|
|
padding-bottom: 60px;
|
|
font-family: Helvetica;
|
|
font-weight:bold;
|
|
font-size: 100%;
|
|
|
|
}
|
|
|
|
li {
|
|
margin: 0px;
|
|
padding: 0px;
|
|
border-top: solid;
|
|
border-left: solid;
|
|
border-width: 2.5px;
|
|
border-color: black;
|
|
background-color: lightgrey;
|
|
|
|
}
|
|
|
|
li.info {
|
|
margin: 0px;
|
|
padding: 0px;
|
|
border-top: none;
|
|
border-left:none;
|
|
border-width: 0px;
|
|
background-color: lightgrey;
|
|
max-width: 1000px;
|
|
}
|
|
|
|
|
|
|
|
pre.info {
|
|
line-height: 150%;
|
|
font-family: Helvetica;
|
|
|
|
|
|
}
|
|
|
|
p.info {
|
|
line-height: 150%;
|
|
font-family: Helvetica;
|
|
|
|
|
|
}
|
|
|
|
|
|
/* Remove margins and padding from the parent ul */
|
|
#Unfolding_Implicancies {
|
|
margin: 0px;
|
|
padding: 0px;
|
|
|
|
-webkit-filter: grayscale(100%);
|
|
-moz-filter: grayscale(100%);
|
|
-ms-filter: grayscale(100%);
|
|
filter: grayscale(100%);
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Style the caret/arrow */
|
|
.caret {
|
|
cursor: pointer;
|
|
user-select: none; /* Prevent text selection */
|
|
|
|
}
|
|
|
|
/* Create the caret/arrow with a unicode, and style it */
|
|
.caret::before {
|
|
content: "\25B6";
|
|
color: black;
|
|
display: inline-block;
|
|
margin-right: 6px;
|
|
padding: 6px;
|
|
}
|
|
|
|
/* Rotate the caret/arrow icon when clicked on (using JavaScript) */
|
|
.caret-down::before {
|
|
transform: rotate(90deg);
|
|
}
|
|
|
|
|
|
|
|
/* Hide the nested list */
|
|
.nested {
|
|
display: none;
|
|
}
|
|
|
|
/* Show the nested list when the user clicks on the caret/arrow (with JavaScript) */
|
|
.active {
|
|
display: block;
|
|
margin-left: 100px;
|
|
|
|
}
|
|
|
|
.mono {
|
|
font-family: Courier New;
|
|
}
|
|
|
|
img {
|
|
max-width: 500px;
|
|
margin: 0px;
|
|
padding: 8px;
|
|
}
|
|
|
|
video {
|
|
max-width: 500px;
|
|
margin: 0px;
|
|
padding: 8px;
|
|
}
|
|
|
|
|
|
pre {
|
|
font-family: Decay_White_Std;
|
|
margin: 0px;
|
|
padding: 8px;
|
|
}
|
|
|
|
|
|
audio {
|
|
width: 500px;
|
|
margin: 0px;
|
|
padding: 8px;
|
|
}
|
|
|
|
p {
|
|
display: block;
|
|
margin: 0px;
|
|
padding: 8px;
|
|
padding-top: 0px;
|
|
vertical-align: bottom;
|
|
}
|
|
|