diff options
Diffstat (limited to 'prolog.html')
| -rw-r--r-- | prolog.html | 23 |
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> |