navbar: Drop letter spacing from #tab_bar in CSS.

Prior to commit eb4a2b9d4e the center
area of the navbar was based on a structure that appended crumbs or
"tabs" as <li>s, forming a tab_bar and a tab_list.

However, in eb4a2b9d4e we apply a new
style and structure to the navbar which lets go of the convention of
tabs. Hence, we'd like to purge the tab_bar and tab_list labels from
our code base. This commit pushes us towards that goal by simplifying
the future merge of the two CSS labels.

The letter-spacing attribute was set to its default value and so we
remove it and rely on the default.
This commit is contained in:
YashRE42
2020-06-27 18:52:16 +00:00
committed by Tim Abbott
parent f0882e8539
commit a050061494

View File

@@ -1460,7 +1460,6 @@ div.focused_table {
z-index: 2; z-index: 2;
padding-top: 0px; padding-top: 0px;
float: left; float: left;
letter-spacing: normal;
#tab_list { #tab_list {
display: flex; display: flex;
align-content: flex-start; align-content: flex-start;