Permalink
Browse files

Throbber is at bottom (fixed #12) and prev/next buttons are at top (f…

…ixed #9)
  • Loading branch information...
calebegg committed Dec 2, 2011
1 parent 641b6f0 commit 0253040f322919a204225b63ccf680849282a61c
Showing with 15 additions and 15 deletions.
  1. +0 −1 index.html
  2. +8 −3 script.js
  3. +7 −11 style.css
@@ -40,7 +40,6 @@
fjs.parentNode.insertBefore(js, fjs);
}(document, 'script', 'facebook-jssdk'));</script>
<div id="console"><h1>Try ACL2</h1>
<div id="throbber"><img src="throbber.gif" /></div>
<div id="jq-console"></div>
</div>
<div id="tutorial">
@@ -54,7 +54,6 @@ function main() {
info = $('aside');
articles = $('#tutorial article');
sections = $('#tutorial article section');
throbber = $('#throbber');
on_resize();
// Set up tutorial
articles.eq(0).show();
@@ -102,7 +101,7 @@ function main() {
report([{msg:"Unmatched ')'", className:"error"}]);
return;
}
throbber.show();
show_throbber();
controller.continuedPrompt = false;
$.get('', {code: line, sid: sid}, function(data) {
data = data.trim();
@@ -126,7 +125,7 @@ function main() {
report(data);
}
jq_console.css('opacity', '1');
throbber.hide();
hide_throbber();
outer_console_elem = outer_console[0];
outer_console_elem.scrollTop = outer_console_elem.scrollHeight;
});
@@ -139,6 +138,12 @@ function main() {
});
});
}
function show_throbber() {
jq_console.css('background', 'url("/throbber.gif") no-repeat center bottom');
}
function hide_throbber() {
jq_console.css('background', '');
}
$(main);
function parens_match(line) {
// Remove string literals
@@ -50,8 +50,11 @@ h1 {
}
h2 {
font-size: 24px;
padding-bottom: 2px;
border-bottom: solid 1px rgba(0, 0, 0, .4);
/* prev/next buttons */
min-height: 30px;
padding: 2px 57px 2px 77px;
text-align: center;
}
body {
font-size: 14px;
@@ -110,7 +113,6 @@ code {
top: 20px;
width: 520px;
padding-right: 25px;
padding-bottom: 40px !important; /* prev/next */
background: #C9E29F;
min-height: 400px;
}
@@ -136,7 +138,7 @@ footer {
}
#prev, #next {
position: absolute;
bottom: 5px;
top: 5px;
height: 30px;
border-radius: 3px;
border: 0;
@@ -153,23 +155,17 @@ footer {
background: #a9c27f;
}
#prev {
left: 25%;
left: 5px;
}
#next {
right: 25%;
right: 25px;
}
.jquery-console-cursor {
border: solid black 1px;
}
.jquery-console-focus .jquery-console-cursor {
background: black;
}
#throbber {
display: none;
position: absolute;
top: 5px;
right: 5px;
}
.collapse {
padding-left: 10px;
background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAcAAAALCAYAAACzkJeoAAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAADhJREFUeNpi/P//PwNOAJU8A8SCuCT/Y1WAJImpAE0SVQEWSbgCJtxOBeomxVicDsLpFayBABBgAFRgNawYTSvmAAAAAElFTkSuQmCC) no-repeat 0 2px;

0 comments on commit 0253040

Please sign in to comment.