/* Special localization classes for the "bulk download" edition */

/* PDF files are only available remotely, so hide the local links to them. */
.pdf-local {display:none;}
.pdf-remote{}

/* search engine is only available remotely, so hide the local links to them. */
.search-local {display:none;font-size:x-small;}
.search-remote{font-size:x-small;}

/* cgi stuff is only available remotely, so hide the local links to them. */
.cgi-local {display:none;}
.cgi-remote{}

/* bulk download is only available remotely, so hide the local links to them. */
.bulk-local {display:none;}
.bulk-remote{}

/* news is only available remotely, so hide the local links to it. */
.news-local {display:none;}
.news-remote{}