Skip to content

CSS cleanup for syntax.html #409

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
clarfonthey wants to merge 3 commits into from
Closed

CSS cleanup for syntax.html #409

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
90c9eeb
Remove unused CSS
clarfonthey Aug 25, 2026
c11716c
Replace uses of foreground color with currentColor
clarfonthey Aug 25, 2026
ece3bef
Add dark-mode colours to syntax.html
clarfonthey Aug 25, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
56 changes: 9 additions & 47 deletions doc/syntax.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,28 +6,17 @@
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
<title>Djot syntax reference</title>
<style>

code{white-space: pre-wrap;}
span.smallcaps{font-variant: small-caps;}
div.columns{display: flex; gap: min(4vw, 1.5em);}
div.column{flex: auto; overflow-x: auto;}
div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}

ul.task-list[class]{list-style: none;}
ul.task-list li input[type="checkbox"] {
font-size: inherit;
width: 0.8em;
margin: 0 0.8em 0.2em -1.6em;
vertical-align: middle;
}
.display.math{display: block; text-align: center; margin: 0.5rem auto;}
</style>
<style type="text/css">html {
line-height: 1.4;
font-family: Georgia, serif;
font-size: 18px;
color: #1a1a1a;
color: light-dark(#1a1a1a, #fdfdfd);
background-color: #fdfdfd;
background-color: light-dark(#fdfdfd, #1a1a1a);
color-scheme: light dark;

@clarfonthey clarfonthey Aug 25, 2026

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is required to tell the browser the website actually supports dark mode. It's still only used if the browser requests it.

}
body {
display: flex;
Expand Down Expand Up @@ -68,13 +57,10 @@
margin: 1em 0;
}
a {
color: #1a1a1a;
color: currentColor;
}
a:visited {
color: #1a1a1a;
}
img {
max-width: 100%;
color: currentColor;
}
h1, h2, h3, h4, h5, h6 {
margin-top: 1.4em;
Expand Down Expand Up @@ -105,12 +91,6 @@
li > ol, li > ul {
margin-top: 0;
}
blockquote {
margin: 1em 0 1em 1.7em;
padding-left: 1em;
border-left: 2px solid #e6e6e6;
color: #606060;
}
code {
font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
font-size: 85%;
Expand All @@ -125,16 +105,6 @@
overflow: visible;
overflow-wrap: normal;
}
.sourceCode {
background-color: transparent;
overflow: visible;
}
hr {
background-color: #1a1a1a;
border: none;
height: 1px;
margin: 1em 0;
}
table {
margin: 1em 0;
border-collapse: collapse;
Expand All @@ -143,19 +113,16 @@
display: block;
font-variant-numeric: lining-nums tabular-nums;
}
table caption {
margin-bottom: 0.75em;
}
tbody {
margin-top: 0.5em;
border-top: 1px solid #1a1a1a;
border-bottom: 1px solid #1a1a1a;
border-top: 1px solid currentColor;
border-bottom: 1px solid currentColor;
}
tr {
vertical-align: top;
}
th {
border-top: 1px solid #1a1a1a;
border-top: 1px solid currentColor;
padding: 0.25em 0.5em 0.25em 0.5em;
}
td {
Expand Down Expand Up @@ -202,12 +169,6 @@
text-decoration: none;
}
code{white-space: pre-wrap;}
span.smallcaps{font-variant: small-caps;}
span.underline{text-decoration: underline;}
div.column{display: inline-block; vertical-align: top; width: 50%;}
div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
ul.task-list{list-style: none;}
.display.math{display: block; text-align: center; margin: 0.5rem auto;}
.example {
display: flex;
border: 1px solid grey;
Expand All @@ -231,6 +192,7 @@
flex: 1;
flex-wrap: wrap;
background-color: #ddd;
background-color: light-dark(#ddd, #555);
}
.example code {
font-size: 78%;
Expand Down