sxlxc/ALC27
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

z

Browse Source
This commit is contained in:
Yu Cong
2025-12-24 11:09:56 +08:00
parent b06666ac63
commit 8887026eb9
7 changed files with 46 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

28
css/default.css
View File

@@ -10,13 +10,6 @@
--color-notice: #fb4f4f; --color-notice: #fb4f4f;
} }
@media (prefers-color-scheme: dark) {
:root {
--color-text: white;
--color-bg: black;
}
}
html { html {
scrollbar-gutter: stable; scrollbar-gutter: stable;
} }
@@ -78,10 +71,6 @@ header {
align-items: start; align-items: start;
} }
.navright a {
margin: 0 0 0 1em;
}
/* Links inside the navbar */ /* Links inside the navbar */
.navbar a { .navbar a {
text-decoration: none; text-decoration: none;
@@ -93,6 +82,8 @@ header {
} }
.navright a, .navright a,
.navright a:visited { .navright a:visited {
white-space: nowrap;
margin: 0 0.5rem 0 0.5rem;
color: var(--color-linkh); color: var(--color-linkh);
text-decoration: underline; text-decoration: underline;
} }
@@ -100,7 +91,7 @@ header {
background-color: var(--color-linkhbg); background-color: var(--color-linkhbg);
} }
.navright { .navright {
gap: 0.75rem 1.25rem; /* row gap | column gap */ gap: 1rem 1rem; /* row gap | column gap */
} }
@@ -317,6 +308,15 @@ code {
/* phones -- no sidebar no sidenotes*/ /* phones -- no sidebar no sidenotes*/
@media (max-width: 768px) { @media (max-width: 768px) {
a.home{
font-size: 2rem;
white-space: wrap;
padding-top: 1rem;
text-align: left;
}
.navright a{
display: block;
}
body { body {
/* width: 90%; */ /* width: 90%; */
margin: auto; margin: auto;
@@ -342,7 +342,7 @@ code {
} }
/* sidebar. no sidenotes */ /* sidebar. no sidenotes */
@media (min-width: 769px) { @media (min-width: 900px) {
a.home{ a.home{
font-size: 2rem; font-size: 2rem;
white-space: nowrap; white-space: nowrap;
@@ -391,7 +391,7 @@ code {
padding-top: 0; padding-top: 0;
padding-left: 1rem; padding-left: 1rem;
text-align: left; text-align: left;
max-width: 80%; max-width: 45%;
clear: both; clear: both;
margin-right: 1.7em; margin-right: 1.7em;
margin-left: 0.25em; margin-left: 0.25em;

3
index.md
View File

@@ -1,5 +1,6 @@
--- ---
title: 19th Asian Logic Conference (ALC) title: 19th Asian Logic Conference (ALC)
showtoc: true
--- ---
<h1 class="pagetitle">October 18 - 22, 2027 <br> <h1 class="pagetitle">October 18 - 22, 2027 <br>
@@ -59,3 +60,5 @@ Bakh Khoussainov – Chair (UESTC, China)
- Yifan Jia (PhD student) - Yifan Jia (PhD student)
- Xinyao Wang (PhD student) - Xinyao Wang (PhD student)
- Ting Gao (admin secretary) - Ting Gao (admin secretary)
# Contact

12
src/site.hs
View File

@@ -61,17 +61,19 @@ main = hakyll $ do
match "index.md" $ do match "index.md" $ do
route $ setExtension "html" route $ setExtension "html"
compile $ compile $ do
tocCtx <- getTocCtx defaultContext
chaoDocCompiler chaoDocCompiler
>>= loadAndApplyTemplate "templates/index.html" (defaultContext `mappend` constField "root" root) >>= loadAndApplyTemplate "templates/index.html" (tocCtx `mappend` constField "root" root)
>>= relativizeUrls >>= relativizeUrls
>>= cleanIndexHtmls >>= cleanIndexHtmls
match ( fromList["talks.md","invited_speaker.md","registration.md","program.md","venue.md","travel.md","social_event.md","travel_support.md","contact.md"] ) $ do match ( fromList["talks.md","invited_speaker.md","registration.md","program.md","venue.md","travel.md","social_event.md","contact.md"] ) $ do
route cleanRoute route cleanRoute
compile $ compile $ do
tocCtx <- getTocCtx defaultContext
chaoDocCompiler chaoDocCompiler
>>= loadAndApplyTemplate "templates/standalone.html" (defaultContext `mappend` constField "root" root) >>= loadAndApplyTemplate "templates/standalone.html" (tocCtx `mappend` constField "root" root)
>>= relativizeUrls >>= relativizeUrls
-- -- build up tags -- -- build up tags

15
templates/index.html
View File

@@ -14,6 +14,14 @@
<body> <body>
<div class="navbar-space"> <div class="navbar-space">
$if(showtoc)$
<!-- A table of contents on the left side, but only for screens
that are big enough -->
<div id="contents-big">
<p class="mini-header">Contents <a id="up-arrow" href="#">↑</a></p>
$toc$
</div>
$endif$
</div> </div>
<div class="text-space"> <div class="text-space">
<header class="no-print"> <header class="no-print">
@@ -22,12 +30,13 @@
<div class="navright"> <div class="navright">
<a href="$root$/talks/">Contributed Talks</a> <a href="$root$/talks/">Contributed Talks</a>
<a href="$root$/invited_speaker/">Invited Speaker</a> <a href="$root$/invited_speaker/">Invited Speaker</a>
<a href="$root$/registration/">Registration</a>
<a href="$root$/program/">Program</a> <a href="$root$/program/">Program</a>
<br>
<a href="$root$/registration/">Registration</a>
<a href="$root$/social_event/">Social Event</a>
<a href="$root$/venue/">Venue</a> <a href="$root$/venue/">Venue</a>
<a href="$root$/travel/">Travel</a> <a href="$root$/travel/">Travel</a>
<a href="$root$/social_event/">Social Event</a> <!-- <a href="$root$/travel_support/">Travel Support</a> -->
<a href="$root$/travel_support/">Travel Support</a>
<a href="$root$/contact/">Contact</a> <a href="$root$/contact/">Contact</a>
</div> </div>
</nav> </nav>

7
templates/standalone.html
View File

@@ -57,12 +57,13 @@
<div class="navright"> <div class="navright">
<a href="$root$/talks/">Contributed Talks</a> <a href="$root$/talks/">Contributed Talks</a>
<a href="$root$/invited_speaker/">Invited Speaker</a> <a href="$root$/invited_speaker/">Invited Speaker</a>
<a href="$root$/registration/">Registration</a>
<a href="$root$/program/">Program</a> <a href="$root$/program/">Program</a>
<br>
<a href="$root$/registration/">Registration</a>
<a href="$root$/social_event/">Social Event</a>
<a href="$root$/venue/">Venue</a> <a href="$root$/venue/">Venue</a>
<a href="$root$/travel/">Travel</a> <a href="$root$/travel/">Travel</a>
<a href="$root$/social_event/">Social Event</a> <!-- <a href="$root$/travel_support/">Travel Support</a> -->
<a href="$root$/travel_support/">Travel Support</a>
<a href="$root$/contact/">Contact</a> <a href="$root$/contact/">Contact</a>
</div> </div>
</nav> </nav>

4
travel.md
View File

@@ -1,3 +1,7 @@
--- ---
title: Travel title: Travel
--- ---
# Travel
# Travel Support

3
travel_support.md
View File

@@ -1,3 +0,0 @@
---
title: Travel Support
---