summaryrefslogtreecommitdiff
path: root/prolog.html
diff options
context:
space:
mode:
Diffstat (limited to 'prolog.html')
-rw-r--r--prolog.html23
1 files changed, 13 insertions, 10 deletions
diff --git a/prolog.html b/prolog.html
index a7e73c8..190ccc3 100644
--- a/prolog.html
+++ b/prolog.html
@@ -27,15 +27,17 @@
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="#" title="Intelligent tutor system">CodeQ</a>
+ <a class="navbar-brand" id="title">Intro to Prolog programming</a>
</div>
<div class="collapse navbar-collapse">
- <ul class="nav navbar-nav">
+ <!--<p class="title">Course: Intro to Prolog programming</p>-->
+ <!--<ul class="nav navbar-nav">
<li><a href="#">Run</a></li>
<li><a href="#">Break</a></li>
<li><a href="#">Hint</a></li>
- </ul>
+ </ul>-->
<ul class="nav navbar-nav navbar-right">
- <li><a href="#"><span class="glyphicon glyphicon glyphicon-wrench" aria-hidden="true"></span></a></li>
+ <p class="navbar-text">Signed in as Franc Jožef</p>
<li class="dropdown">
<a href="#" class="dropdown-toggle" data-toggle="dropdown" aria-expanded="true">
<span class="glyphicon glyphicon glyphicon-user"></span>
@@ -46,6 +48,7 @@
<li><a href="#">Logout</a></li>
</ul>
</li>
+ <li><a href="#"><span class="glyphicon glyphicon glyphicon-wrench" aria-hidden="true"></span></a></li>
</ul>
</div><!--/.nav-collapse -->
@@ -59,13 +62,13 @@
<div class="block-label">Instructions</div>
</div>
<div class="col-lg-3 col-md-6 col-sm-12 block">
- <!-- <div id="editor-toolbar">
- <ul class="nav-xs pull-left">
- <li><a title="Run" href="" class="tip tool-icon">Run</a></li>
- <li><a title="Break" href="" class="tip tool-icon">Break</a></li>
- <li><a title="Hint" href="" class="tip tool-icon">Hint</a></li>
- </ul>
- </div> -->
+ <nav class="navbar navbar-default" id="block-toolbar">
+ <div class="container-fluid">
+ <button type="button" class="btn btn-default navbar-btn">Run</button>
+ <button type="button" class="btn btn-default navbar-btn">Break</button>
+ <button type="button" class="btn btn-default navbar-btn">Hint</button>
+ </div>
+ </nav>
<div id="code_editor"></div>
<div class="block-label">Code</div>
</div>