[GitHub] [db-jdo-site] tobous commented on pull request #29: Use icons with highest resolution available for website

[GitBox]

tobous commented on pull request #29:
URL: https://github.com/apache/db-jdo-site/pull/29#issuecomment-782897260


   I chose the new size for the header icon to best fit the layout. The width 
of 45.5 is kind of weird, but the bar has the size ~51 by default. Below is a 
comparison of width 45 and 45.5. The previous size of 44 can be observed on the 
current size. I personally like 45.5 best, which is why I used it in the PR. 
But if you prefer another size, I can change it.
   
   45:
   
![icon-45-pix](https://user-images.githubusercontent.com/12495415/108633726-17408780-7476-11eb-9073-ec48a4cef2ac.png)
   
   45.5:
   ![icon-45 
5-pix](https://user-images.githubusercontent.com/12495415/108633728-19a2e180-7476-11eb-80aa-6ef71e848b57.png)
   


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org