Paulo Reis 8d1736af59 Fix forgotten conflict. 8 lat temu
..
_common-variables.less 0a0c6c6c0c Merge branch 'master' into pr-style-v2-chatpane 8 lat temu
grid.less 43684fda3a Move to bootstrap 3 (site barely functional) 12 lat temu
mixins.less 39e4f46bdb Style search and replace box 12 lat temu
normalize.less 43684fda3a Move to bootstrap 3 (site barely functional) 12 lat temu
ol-variables.less 8d1736af59 Fix forgotten conflict. 8 lat temu
print.less 43684fda3a Move to bootstrap 3 (site barely functional) 12 lat temu
responsive-utilities.less 43684fda3a Move to bootstrap 3 (site barely functional) 12 lat temu
scaffolding.less 97c5e33f54 Use percent-based sizing for body min-height; add explicit height to the html element. 9 lat temu
type.less 407157e3eb Minor adjustmnents. 9 lat temu
utilities.less 43684fda3a Move to bootstrap 3 (site barely functional) 12 lat temu
variables.less f9690f9db0 Add Overleaf header logo 9 lat temu