You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@iceberg.apache.org by GitBox <gi...@apache.org> on 2022/01/12 20:18:45 UTC
[GitHub] [iceberg-docs] samredai opened a new pull request #5: Style updates
samredai opened a new pull request #5:
URL: https://github.com/apache/iceberg-docs/pull/5
- Update font-family and font-size in docs to match common pages
- Increase docs page width (there was a lot of whitespace on the edges)
- Add highlighting to search results to make the matched text more visible
--
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.
To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org
For additional commands, e-mail: issues-help@iceberg.apache.org
[GitHub] [iceberg-docs] rdblue merged pull request #5: Style updates
Posted by GitBox <gi...@apache.org>.
rdblue merged pull request #5:
URL: https://github.com/apache/iceberg-docs/pull/5
--
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.
To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org
For additional commands, e-mail: issues-help@iceberg.apache.org