z
This commit is contained in:
@@ -253,14 +253,14 @@ figure {
|
|||||||
flex-flow: column;
|
flex-flow: column;
|
||||||
padding: 5px;
|
padding: 5px;
|
||||||
margin: auto;
|
margin: auto;
|
||||||
max-width: 80%;
|
max-width: 100%;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
figcaption {
|
figcaption {
|
||||||
/* font: italic smaller sans-serif; */
|
text-align: left;
|
||||||
padding: 3px;
|
font-style: italic;
|
||||||
text-align: center;
|
font-size: small;
|
||||||
}
|
}
|
||||||
|
|
||||||
.caption {
|
.caption {
|
||||||
|
|||||||
@@ -3,38 +3,38 @@
|
|||||||
|
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lato";
|
font-family: "Lato";
|
||||||
src: url("/fonts/Lato-Regular.woff2") format("woff2");
|
src: url("../fonts/Lato-Regular.woff2") format("woff2");
|
||||||
font-weight: normal;
|
font-weight: normal;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lato";
|
font-family: "Lato";
|
||||||
src: url("/fonts/Lato-Bold.woff2") format("woff2");
|
src: url("../fonts/Lato-Bold.woff2") format("woff2");
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lato";
|
font-family: "Lato";
|
||||||
src: url("/fonts/Lato-Italic.woff2") format("woff2");
|
src: url("../fonts/Lato-Italic.woff2") format("woff2");
|
||||||
font-weight: normal;
|
font-weight: normal;
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "Lato";
|
font-family: "Lato";
|
||||||
src: url("/fonts/Lato-BoldItalic.woff2") format("woff2");
|
src: url("../fonts/Lato-BoldItalic.woff2") format("woff2");
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-style: italic;
|
font-style: italic;
|
||||||
}
|
}
|
||||||
|
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "IosevkaC";
|
font-family: "IosevkaC";
|
||||||
src: url("/fonts/IosevkaCustom-Regular.woff2") format("woff2");
|
src: url("../fonts/IosevkaCustom-Regular.woff2") format("woff2");
|
||||||
font-weight: normal;
|
font-weight: normal;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
@font-face {
|
@font-face {
|
||||||
font-family: "IosevkaC";
|
font-family: "IosevkaC";
|
||||||
src: url("/fonts/IosevkaCustom-Bold.woff2") format("woff2");
|
src: url("../fonts/IosevkaCustom-Bold.woff2") format("woff2");
|
||||||
font-weight: bold;
|
font-weight: bold;
|
||||||
font-style: normal;
|
font-style: normal;
|
||||||
}
|
}
|
||||||
BIN
images/Anshun_Bridge.jpg
Normal file
BIN
images/Anshun_Bridge.jpg
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 3.3 MiB |
BIN
images/Dujiangyan.jpg
Normal file
BIN
images/Dujiangyan.jpg
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 634 KiB |
BIN
images/Mount_Qingcheng.jpg
Normal file
BIN
images/Mount_Qingcheng.jpg
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 819 KiB |
BIN
images/chengdu.jpg
Normal file
BIN
images/chengdu.jpg
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 256 KiB |
BIN
images/panda.jpg
Normal file
BIN
images/panda.jpg
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 524 KiB |
9
index.md
9
index.md
@@ -1,3 +1,10 @@
|
|||||||
---
|
---
|
||||||
title: 19th Asian Logic Conference (ALC)
|
title: 19th Asian Logic Conference (ALC)
|
||||||
---
|
---
|
||||||
|
|
||||||
|
<h1 class="pagetitle">September ?? - ??, 2027 <br>
|
||||||
|
Chengdu, China</h1>
|
||||||
|
|
||||||
|
, [CC BY 3.0](https://creativecommons.org/licenses/by/3.0)](images/chengdu.jpg)
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
18
src/site.hs
18
src/site.hs
@@ -30,6 +30,8 @@ cleanIndexHtmls = return . fmap (replaceAll pattern replacement)
|
|||||||
replacement::String->String = const "/"
|
replacement::String->String = const "/"
|
||||||
|
|
||||||
--------------------------------------------------------------------------------
|
--------------------------------------------------------------------------------
|
||||||
|
root:: String
|
||||||
|
root = ""
|
||||||
|
|
||||||
main :: IO ()
|
main :: IO ()
|
||||||
main = hakyll $ do
|
main = hakyll $ do
|
||||||
@@ -37,13 +39,13 @@ main = hakyll $ do
|
|||||||
route idRoute
|
route idRoute
|
||||||
compile copyFileCompiler
|
compile copyFileCompiler
|
||||||
|
|
||||||
match "mathjax/**" $ do
|
-- match "mathjax/**" $ do
|
||||||
route idRoute
|
-- route idRoute
|
||||||
compile copyFileCompiler
|
-- compile copyFileCompiler
|
||||||
|
|
||||||
match "mathjax-fira-font/**" $ do
|
-- match "mathjax-fira-font/**" $ do
|
||||||
route idRoute
|
-- route idRoute
|
||||||
compile copyFileCompiler
|
-- compile copyFileCompiler
|
||||||
|
|
||||||
match "fonts/*" $ do
|
match "fonts/*" $ do
|
||||||
route idRoute
|
route idRoute
|
||||||
@@ -61,7 +63,7 @@ main = hakyll $ do
|
|||||||
route $ setExtension "html"
|
route $ setExtension "html"
|
||||||
compile $
|
compile $
|
||||||
chaoDocCompiler
|
chaoDocCompiler
|
||||||
>>= loadAndApplyTemplate "templates/index.html" defaultContext
|
>>= loadAndApplyTemplate "templates/index.html" (defaultContext `mappend` constField "root" root)
|
||||||
>>= relativizeUrls
|
>>= relativizeUrls
|
||||||
>>= cleanIndexHtmls
|
>>= cleanIndexHtmls
|
||||||
|
|
||||||
@@ -69,7 +71,7 @@ main = hakyll $ do
|
|||||||
route cleanRoute
|
route cleanRoute
|
||||||
compile $
|
compile $
|
||||||
chaoDocCompiler
|
chaoDocCompiler
|
||||||
>>= loadAndApplyTemplate "templates/standalone.html" defaultContext
|
>>= loadAndApplyTemplate "templates/standalone.html" (defaultContext `mappend` constField "root" root)
|
||||||
>>= relativizeUrls
|
>>= relativizeUrls
|
||||||
|
|
||||||
-- -- build up tags
|
-- -- build up tags
|
||||||
|
|||||||
@@ -20,15 +20,15 @@
|
|||||||
<nav class="navbar">
|
<nav class="navbar">
|
||||||
<a href="/" class="home">ALC 2027</a>
|
<a href="/" class="home">ALC 2027</a>
|
||||||
<div class="navright">
|
<div class="navright">
|
||||||
<a href="/talks/">Contributed Talks</a>
|
<a href="$root$/talks/">Contributed Talks</a>
|
||||||
<a href="/invited_speaker/">Invited Speaker</a>
|
<a href="$root$/invited_speaker/">Invited Speaker</a>
|
||||||
<a href="/registration/">Registration</a>
|
<a href="$root$/registration/">Registration</a>
|
||||||
<a href="/program/">Program</a>
|
<a href="$root$/program/">Program</a>
|
||||||
<a href="/venue/">Venue</a>
|
<a href="$root$/venue/">Venue</a>
|
||||||
<a href="/travel/">Travel</a>
|
<a href="$root$/travel/">Travel</a>
|
||||||
<a href="/social_event/">Social Event</a>
|
<a href="$root$/social_event/">Social Event</a>
|
||||||
<a href="/travel_support/">Travel Support</a>
|
<a href="$root$/travel_support/">Travel Support</a>
|
||||||
<a href="/contact/">Contact</a>
|
<a href="$root$/contact/">Contact</a>
|
||||||
</div>
|
</div>
|
||||||
</nav>
|
</nav>
|
||||||
</header>
|
</header>
|
||||||
|
|||||||
@@ -55,15 +55,15 @@
|
|||||||
<nav class="navbar">
|
<nav class="navbar">
|
||||||
<a href="/" class="home">ALC 2027</a>
|
<a href="/" class="home">ALC 2027</a>
|
||||||
<div class="navright">
|
<div class="navright">
|
||||||
<a href="/talks/">Contributed Talks</a>
|
<a href="$root$/talks/">Contributed Talks</a>
|
||||||
<a href="/invited_speaker/">Invited Speaker</a>
|
<a href="$root$/invited_speaker/">Invited Speaker</a>
|
||||||
<a href="/registration/">Registration</a>
|
<a href="$root$/registration/">Registration</a>
|
||||||
<a href="/program/">Program</a>
|
<a href="$root$/program/">Program</a>
|
||||||
<a href="/venue/">Venue</a>
|
<a href="$root$/venue/">Venue</a>
|
||||||
<a href="/travel/">Travel</a>
|
<a href="$root$/travel/">Travel</a>
|
||||||
<a href="/social_event/">Social Event</a>
|
<a href="$root$/social_event/">Social Event</a>
|
||||||
<a href="/travel_support/">Travel Support</a>
|
<a href="$root$/travel_support/">Travel Support</a>
|
||||||
<a href="/contact/">Contact</a>
|
<a href="$root$/contact/">Contact</a>
|
||||||
</div>
|
</div>
|
||||||
</nav>
|
</nav>
|
||||||
</header>
|
</header>
|
||||||
|
|||||||
Reference in New Issue
Block a user