Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add nav to dev #8

Merged
merged 8 commits into from
Nov 26, 2020
Merged

Add nav to dev #8

merged 8 commits into from
Nov 26, 2020

Conversation

pinterid
Copy link
Member

Checklist:

  • Have you added an explanation of what your changes do and why you'd like them to be included?
  • Have you updated or added documentation for the change?
  • Have you tested your changes with successful results?

Type of Changes:

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Documentation (non-breaking change which adds documentation)
  • Breaking change (fix or feature that would cause existing functionality to change)

What is the current behavior? (link to any open issues here)

What is the new behavior (if this is a feature change)?

Other information:

  • Ref: 💯

pinterid and others added 8 commits October 22, 2020 23:22
@pinterid
Update bootstrap
c134fea 
Bootstrap was updated.
@pinterid
Add navbar
5fe7a78 
Navbar was added.
@pinterid
Add Footer
16808ad 
Footer was added.
@schettn
Merge branch 'dev' into add-nav
30f29eb 
Default bootstrap is no longer implemented.
Therefore the styling will not work anymore.
@pinterid
Add footer stylesheet
7f90b37 
The stylesheet for the footer was added.
@pinterid
Implement MDB footer
d05b9b3 
The MDB footer is now being used.
@pinterid
Add navbar stylesheet
c5ad99e 
The navbar stylesheet was added.
@pinterid
Implement MDB navbar
303bb10 
The navbar is now designed using MDB.
@pinterid pinterid added dif/easy Someone with a little familiarity can pick up effort/hours Estimated to take one or several hours kind/enhancement A net-new feature or improvement to an existing feature labels Nov 26, 2020
@pinterid pinterid requested a review from schettn November 26, 2020 19:32
@pinterid pinterid self-assigned this Nov 26, 2020
schettn
schettn approved these changes Nov 26, 2020
View reviewed changes
Copy link
Member

@schettn schettn left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@pinterid pinterid merged commit 329a352 into dev Nov 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@schettn schettn schettn approved these changes

Assignees

@pinterid pinterid

Labels
dif/easy Someone with a little familiarity can pick up effort/hours Estimated to take one or several hours kind/enhancement A net-new feature or improvement to an existing feature
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@pinterid @schettn