frontpage/styles/Terminal/Terminal.module.css

90 lines
1.5 KiB
CSS
Raw Normal View History

2021-12-16 01:03:54 +01:00
.container {
display: flex;
flex-direction: column;
height: 100vh;
margin: 0;
2022-03-14 10:57:06 +01:00
padding: 2px 10px 10px 10px;
2022-09-30 19:38:25 +02:00
color: var(--repl-color);
background: #000;
2021-12-17 20:43:54 +01:00
}
2021-12-26 16:41:56 +01:00
.header {
2021-12-17 20:43:54 +01:00
flex-shrink: 5;
text-align: center;
font-family: "Segoe UI", Roboto, Tahoma, Geneva, Verdana, sans-serif;
display: flex;
flex-direction: row;
flex-wrap: nowrap;
2022-03-14 10:57:06 +01:00
align-items: center;
2021-12-17 20:43:54 +01:00
}
2021-12-26 16:41:56 +01:00
.header * {
2021-12-17 20:43:54 +01:00
margin: auto 0;
}
2021-12-26 16:41:56 +01:00
.header a:active,
.header a:visited,
.header a {
2021-12-17 20:43:54 +01:00
color: var(--repl-color);
text-decoration: underline;
2022-03-14 10:57:06 +01:00
font-size: 0.9em;
2021-12-17 20:43:54 +01:00
}
2021-12-26 16:41:56 +01:00
.header a:hover {
2021-12-17 20:43:54 +01:00
color: var(--repl-color-link);
}
2021-12-26 16:41:56 +01:00
.header .divider {
2021-12-17 20:43:54 +01:00
color: var(--repl-color);
margin: 0 5px;
2022-03-14 10:57:06 +01:00
font-size: 1.1em;
2021-12-17 20:43:54 +01:00
}
2021-12-26 16:41:56 +01:00
.header .spacer {
2021-12-17 20:43:54 +01:00
flex-grow: 1;
}
.iconLink {
cursor: pointer;
2022-03-14 10:57:06 +01:00
font-size: 1.6em;
padding-top: 0.3em;
2021-12-17 20:43:54 +01:00
}
.tooltip {
position: relative;
display: inline-block;
}
.tooltip .tooltiptext {
visibility: hidden;
width: 140px;
background-color: #333;
color: var(--repl-color);
text-align: center;
border-radius: 6px;
padding: 5px 0;
position: absolute;
z-index: 1;
2021-12-26 17:22:06 +01:00
top: 125%;
2021-12-17 20:43:54 +01:00
left: 50%;
2021-12-17 20:55:14 +01:00
margin-left: -70px;
2021-12-17 20:43:54 +01:00
opacity: 0;
transition: opacity 0.1s;
}
2021-12-26 17:22:06 +01:00
.tooltip .tooltiptext::before {
2021-12-17 20:43:54 +01:00
content: "";
position: absolute;
2021-12-26 17:22:06 +01:00
bottom: 100%;
2021-12-17 20:43:54 +01:00
left: 50%;
margin-left: -5px;
border-width: 5px;
border-style: solid;
2021-12-26 17:22:06 +01:00
border-color: transparent transparent #333 transparent;
2021-12-17 20:43:54 +01:00
}
.tooltip:hover .tooltiptext {
visibility: visible;
opacity: 1;
}