2018-09-09 11:51:56 +00:00
|
|
|
header#header
|
2018-09-21 11:29:45 +00:00
|
|
|
div#logo
|
|
|
|
|
| Happy Dev
|
2018-09-09 11:51:56 +00:00
|
|
|
|
|
|
|
|
#search-bar
|
|
|
|
|
input#search-input(placeholder='ctrl + k', type='search')
|
|
|
|
|
i#search-icon.fa.fa-search(aria-hidden='true')
|
|
|
|
|
i#close-search-icon.fa.fa-times(aria-hidden='true')
|
