You are viewing a plain text version of this content. The canonical link for it is here.

Posted to jdo-dev@db.apache.org by GitBox <gi...@apache.org> on 2021/02/21 17:55:03 UTC

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

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:
users@infra.apache.org