mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-16 21:45:03 +02:00
Code Issues Packages Projects Releases Wiki Activity

Move the timestamp data into the rst file

Browse Source 
Also get rid of the custom styling for the timestamp list
This commit is contained in:
Kovid Goyal
2023-05-31 21:25:56 +05:30
parent 2c8d00f1c4
commit b7f136962a
3 changed files with 75 additions and 257 deletions
Download Patch File Download Diff File Expand all files Collapse all files

99
docs/_static/timestamps.css vendored
View File

@@ -1,99 +1,12 @@
:root {
--border-radius: 5.5px;
}
body[data-theme="dark"] {
--kbd-bg: #ed9d13;
--code-bg: #3c3c3c;
--code-fg: var(--kbd-bg);
--span-fg: #a6aaa7;
}
body[data-theme="light"] {
--kbd-bg: #ed9d13;
--code-bg: #3c3c3c;
--code-fg: #ffffff;
--code-bg: #888888;
}
* {
box-sizing: border-box;
}
#timestamps {
font-family: inherit;
width: 100%;
.timestamp-list dl {
display: grid;
max-width: 900px;
grid-auto-rows: 2rem;
line-height: 1.2;
font-size: 16px;
grid-template-columns: max-content auto;
}
#timestamps .row {
display: flex;
align-items: center;
gap: 1rem .5rem;
.timestamp-list dt {
grid-column-start: 1;
}
#timestamps time:hover {
text-decoration: underline;
padding-bottom: .2rem;
}
#timestamps time {
color: var(--color-link);
}
#timestamps time:hover {
cursor:pointer;
}
#timestamps time:focus {
text-decoration: underline;
}
#timestamps span {
margin: 0;
}
#timestamps p {
margin: 0.5rem;
line-height: 1.2;
display: flex;
align-items: center;
}
#timestamps kbd {
border-radius: var(--border-radius);
padding: .2rem;
padding-top: 0.4rem;
background: var(--kbd-bg);
color: black;
font-size: 0.9rem;
display: flex;
align-items: center;
justify-content: center;
border: none;
box-shadow: none;
}
@-moz-document url-prefix() {
#timestamps kbd {
padding: 0.2rem;
}
}
#timestamps span {
color: var(--tabs--label-text);
}
#timestamps strong {
font-weight: normal;
min-width: max-content;
}
#timestamps code {
background: var(--code-bg);
color: var(--code-fg);
padding: 0.2rem 0.3rem;
margin-left: .2rem;
border-radius: var(--border-radius);
min-width: max-content;
font-size: 0.9rem;
display: grid;
place-items: center;
padding-top: 0.4rem;
.timestamp-list dd {
grid-column-start: 2;
}