/* Special localization classes for the online edition */

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

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

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

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

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