Offlineimap behind a proxy?

[Oon-Ee Ng]

Hi, I'm at a new workplace which handles internet connections
differently from how my old one did. In particular, all internet
access is done through proxy.workplace.name.com:8080

I've set http_proxy, https_proxy, and ftp_proxy in my shell profile as
well as the appropriate values in apps like Firefox. Now coming to
offlineimap, is there any configuration option for proxying, or does
it honor http_proxy and siblings? I'd prefer not to have to ask the
ITS personnel as my new colleagues inform me they're quite clueless
about stuff, so I thought I'd try to figure out anything which I can
do on my end first.

For reference, I'm accessing gmail IMAP.