/* -----------------------------------------------------------------------------
Returns start of HTML document from to
with Bootstrap 4.0 link
and custom style.css link. Slices title into head
Input: Webpage title (string)
Output: HTML text (string)
----------------------------------------------------------------------------- */
function return_head($title) {
return '
'.$title.'
';
}
/* -----------------------------------------------------------------------------
Echo return_head
----------------------------------------------------------------------------- */
function echo_head($title) {
echo return_head($title);
}
/* -----------------------------------------------------------------------------
Returns end of HTML document from to with Bootstrap 4.0 scripts
jquery 3.2, popper 1.12 and boostrap 4.0
Input: None
Output: HTML text (string)
----------------------------------------------------------------------------- */
function return_foot() {
return '