int main_menu()
{
  int choice;
  int i;

  for(i=0; i<(MAX_VERT/2); i++)
    cout<<endl;
  cout<<"\t\t\t\t\tMAIN MENU\n";
  cout<<"\t\t\t\t1. Create New Document\n";
  cout<<"\t\t\t\t2. Open Existing Document\n";
  cout<<"\t\t\t\t3. Exit\n";
  for(i=(MAX_VERT/2)+4; i < MAX_VERT; i++)
    cout<<endl;
  cin>>choice;   //get menu choice
  cin.ignore(1); //ignore '\n'
  return choice;
}

//prints document header
void Document::PrintHeader()
{
  int stars;  
  char name_buf[20];

  if(name[0] == 0)
    strcpy(name_buf, "Untitled");
  else
    strcpy(name_buf, name);
   
  stars = (MAX_HORI-strlen(name_buf))/2;


  cout<<endl<<endl<<endl<<endl<<endl<<endl<<endl;  
  for(int i=0; i<stars; i++)
    cout<<'*';
  cout<<name_buf;
  for(int i=0; i<stars; i++)
    cout<<'*';
  if(stars % 2)
    cout<<'*';
  cout<<endl;
}

//prints document footer
void Document::PrintFooter()
{
  int title_length=11;
  int page_num = activePagePtr->GetPageNumber();
  int stars;
 
 if(activePagePtr->GetPageNumber() > 9)
    title_length++;
  if(num_pages > 9)
    title_length++;

  stars = (MAX_HORI-title_length)/2;

  for(int i=0; i<stars; i++)
    cout<<'*';
  cout<<"Page "<<page_num<<" of "<<num_pages;
 
  for(int i=0; i<stars; i++)
    cout<<'*';
  if(stars % 2)
    cout<<'*';
  cout<<endl;
}