s464900/gonito
1
0
Fork 0
forked from filipg/gonito
Code Issues Pull Requests Projects Releases Wiki Activity

final fixes

Browse Source
This commit is contained in:
Filip Gralinski 2016-05-27 08:48:26 +02:00
parent 802e22b653
commit e714edb84b
3 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Handler/Presentation.hs
View File

@ -38,7 +38,7 @@ getPresentation4RealR = do
getSampleLeaderboard name = do
challengeEnt@(Entity challengeId challenge) <- runDB $ getBy404 $ UniqueName sampleChallengeName
challengeEnt@(Entity challengeId challenge) <- runDB $ getBy404 $ UniqueName name
Just repo <- runDB $ get $ challengePublicRepo challenge
(test, leaderboard) <- getLeaderboardEntries challengeId

6
static/css/impress-demo.css
View File

@ -50,17 +50,17 @@ time, mark, audio, video {
}
h1 {
padding-bottom: 10px;
padding-bottom: 12px;
font-weight: bold;
}
h2 {
padding-bottom: 10px;
padding-bottom: 12px;
font-weight: bold;
}
ul {
padding-bottom: 10px;
padding-bottom: 12px;
}
/* HTML5 display-role reset for older browsers */

9
templates/presentation-4real.hamlet
View File

@ -138,7 +138,7 @@
<p>You can open <span class="glyphicon glyphicon-share"></span>&nbsp; your submission so that everybody could see it
<p>… and you fork somebody else's submission <span class="glyphicon glyphicon-folder-open"></span>&nbsp; and build on it
<p>… and you fork somebody else's submission <span class="glyphicon glyphicon-folder-open"></span>&nbsp; and build upon it
<pre>
git clone ssh://gitolite@gonito.net/john/petite-difference-challenge
@ -146,12 +146,15 @@
git fetch ssh://gitolite@gonito.net/petite-difference-challenge submission-00115
git reset --hard FETCH_HEAD
<p>… or you can browse the code at <a href="http://gonito.net/gitlist/petite-difference-challenge.git/submission-00115">http://gonito.net/gitlist/petite-difference-challenge.git/submission-00115</a>
<div class="step slide" data-x="1000" data-y="5500">
<h2>Who forked and submitted what and when?
<div id="graph-container">
<p><a href="http://gonito.net/challenge/petite-difference-challenge">Click here to see the graph</a>
<!-- <div id="graph-container"> -->
<div class="step slide" style="height: 800px;" data-x="1000" data-y="6500">
<div class="step slide" style="height: 500px;" data-x="1000" data-y="6500">
<h2>Yet another challenge
<div style="font-size: 50%">