diff --git a/website/static/css/style.css b/website/static/css/style.css index c1cec086597cce1fd364709ac43dcf333452d0ff..d3a101a280dc55f5c844ccbfeb9ef45f9ae0fd39 100644 --- a/website/static/css/style.css +++ b/website/static/css/style.css @@ -70,9 +70,10 @@ body { color: rgba(81,81,81,0.9); background-color: rgba(255,255,255,0.65); } -.restaurant sub{ - font-size: 13px; +.restaurant .building{ + font-size: 15px; padding-left: 2px; + } .search-row{ diff --git a/website/static/js/grid.js b/website/static/js/grid.js index 997cfd0e7ba36987295b47a90bde9dfe380672f9..88953b3dbd7655d6e0341716f8d9d8aeaa982723 100644 --- a/website/static/js/grid.js +++ b/website/static/js/grid.js @@ -27,7 +27,7 @@ function construct_grid(filtered_restaurants) { // Next to a restuarant name, the number will be formatted as a subscript. $('#grid .row').append( '
\ -
' + restaurant.name.replace(/ ?\[(\d+)\]/, "$1") + '
\ +
' + restaurant.name.replace(/ ?\[(.+)\]/, ' ($1)') + '
\
' ); });