diff --git a/source/pages/proxy.rst b/source/pages/proxy.rst
index e2446e2d39409893be4d4ad00300248358ea1e63..582265f5104e53a7dfbd49a2d99b0bbf4c4efb76 100644
--- a/source/pages/proxy.rst
+++ b/source/pages/proxy.rst
@@ -6,20 +6,20 @@ Um proxy é um servidor que age como um intermediário entre você (o cliente) e
Todo servidor SSH tem a capacidade de agir como um proxy. Isso significa que tendo :doc:`acesso SSH ao DINF <acesso>`, você pode acessar a Internet como se estivesse no departamento. Isso é principalmente para pesquisadores, pois a Universidade Federal do Paraná tem contratos com bibliotecas digitais como a IEEE Xplore que permitem a pesquisadores baixar os artigos do site sem custo adicional.
-Neste artigo assumimos que você tem familiaridade com o comando `ssh` e que sabe por exemplo, que é possível acessar os recursos computacionais do departamento sem precisar ficar digitando a senha toda hora. Essas e outras informações são encontradas no artigo sobre o :doc:`acesso SSH <acesso>`.
+Neste artigo assumimos que você tem familiaridade com o comando ``ssh`` e que sabe por exemplo, que é possível acessar os recursos computacionais do departamento sem precisar ficar digitando a senha toda hora. Essas e outras informações são encontradas no artigo sobre o :doc:`acesso SSH <acesso>`.
Servidor de proxy SOCKS4/SOCKS5 com o comando ssh
=================================================
O SOCKS é um protocolo de proxy bastante utilizado. Praticamente qualquer aplicativo que suporta o uso de um proxy permite o uso de um servidor SOCKS na sua configuração. Neste protocolo, qualquer tipo de pacote pode ser encaminhado, seja ele TCP ou UDP e para qualquer endereço IP, seja ele IPv4 ou IPv6. O comando ssh provê um servidor SOCKS que aceita conexões com a versão 4 e 5 do protocolo.
-O comando `ssh` cria um servidor SOCKS4/SOCKS5 na sua máquina local através do flag `-D`. Após o flag deve ser especificado qual a porta TCP do servidor, que pode ser qualquer porta TCP atualmente não utilizada no seu computador, como por exemplo a porta 12345::
+O comando ``ssh`` cria um servidor SOCKS4/SOCKS5 na sua máquina local através do flag ``-D``. Após o flag deve ser especificado qual a porta TCP do servidor, que pode ser qualquer porta TCP atualmente não utilizada no seu computador, como por exemplo a porta 12345::
$ ssh -D 12345 usr99@ssh.inf.ufpr.br
-Assim que esse comando é executado, um servidor SOCKS4/SOCKS5 está iniciado localmente no seu computador e pode ser acessado pelo nome `localhost:12345`, ou pelos IPs `127.0.0.1:12345` ou `[::1]:12345`. Em praticamente todas as aplicações são campos separados: `localhost` é o domínio, e `12345` é a porta TCP do servidor.
+Assim que esse comando é executado, um servidor SOCKS4/SOCKS5 está iniciado localmente no seu computador e pode ser acessado pelo nome ``localhost:12345``, ou pelos IPs ``127.0.0.1:12345`` ou ``[::1]:12345``. Em praticamente todas as aplicações são campos separados: ``localhost`` é o domínio, e 12345 é a porta TCP do servidor.
-Note também que ao usar este comando, uma sessão SSH também é iniciada, e pode ser utilizada normalmente. Se você desejar não iniciar qualquer comando, e usar o comando `ssh` apenas para finalidade de proxy, pode ser útil usar o flag `-N`.
+Note também que ao usar este comando, uma sessão SSH também é iniciada, e pode ser utilizada normalmente. Se você desejar não iniciar qualquer comando, e usar o comando ``ssh`` apenas para finalidade de proxy, pode ser útil usar o flag ``-N``.
Podemos fazer como no acesso SSH normal e criar uma configuração pronta de proxy no ~/.ssh/config, algo como::
@@ -34,18 +34,18 @@ Usando um servidor de proxy no Firefox
Uma das principais aplicações do proxy é acessar sites de periódicos que fora dos limites da universidade exigem pagamento dos pesquisadores. Para facilitar todas as configurações que vamos fazer no navegador Firefox, vamos criar um perfil novo nesta seção que usa o servidor de proxy criado na seção anterior.
-1. O primeiro passo é criar um novo perfil no Firefox. Acesse a URL `about:profiles <about:profiles>` no seu navegador.
+1. O primeiro passo é criar um novo perfil no Firefox. Acesse a URL `about:profiles <about:profiles>`_ no seu navegador.
2. Nesta página, clique no botão "Criar novo perfil".
3. No assistente, dê um nome para o novo perfil, como "Proxy DINF".
4. Após a criação, ache o perfil na lista e clique no botão "Abrir outro Firefox com este perfil".
-5. Agora vamos alterar as configurações. Acesse a URL `about:config <about:config>` no Firefox que abriu.
+5. Agora vamos alterar as configurações. Acesse a URL `about:config <about:config>`_ no Firefox que abriu.
6. Você sabe o que está fazendo.
-7. Altere a chave `network.proxy.socks` para `localhost`.
-8. Altere a chave `network.proxy.socks_port` para `12345`.
-9. Altere a chave `network.proxy.type` para `1`. Isto irá ativar as configurações de proxy.
-10. Altere a chave `network.dns.disableIPv6` para `true`. Esta configuração desativa o IPv6 e é necessária para que sites como o IEEE Xplore reconheçam o IP utilizado na universidade.
+7. Altere a chave ``network.proxy.socks`` para ``localhost``.
+8. Altere a chave ``network.proxy.socks_port`` para ``12345``.
+9. Altere a chave ``network.proxy.type`` para ``1``. Isto irá ativar as configurações de proxy.
+10. Altere a chave ``network.dns.disableIPv6`` para ``true``. Esta configuração desativa o IPv6 e é necessária para que sites como o IEEE Xplore reconheçam o IP utilizado na universidade.
11. Se tudo estiver certo e o servidor de proxy estiver rodando, agora você poderá acessar sites de periódicos e ter o acesso já liberado neste Firefox como se estivesse no laboratório.
-12. Quando você precisar abrir esta instância do Firefox novamente, basta acessar o `about:profiles <about:profiles>` e abrir o perfil que você criou, lembrando claro de rodar o servidor de proxy.
+12. Quando você precisar abrir esta instância do Firefox novamente, basta acessar o `about:profiles <about:profiles>`_ e abrir o perfil que você criou, lembrando claro de rodar o servidor de proxy.
Utilizando proxy via SSH no Android
===================================
@@ -53,8 +53,8 @@ Utilizando proxy via SSH no Android
No Android, é possível utilizar proxy via SSH através do aplicativo `SagerNet <https://f-droid.org/packages/io.nekohasekai.sagernet/>`_, disponibilizado sob licença GPLv3.
1. Na tela principal do aplicativo, crie uma nova conexão através de "Manual Settings", selecionando "SSH".
-2. Defina o "Server" como `ssh.inf.ufpr.br`
-3. Defina o "Username" como o seu usuário
+2. Defina o "Server" como ``ssh.inf.ufpr.br``.
+3. Defina o "Username" como o seu usuário.
4. Defina o seu tipo de autenticação, senha ou chave privada como desejar.
5. Ative o acesso na tela principal do aplicativo.
@@ -66,10 +66,10 @@ Note que todo o tráfego do seu telefone irá agora passar pelo departamento, e
Proxy simples com o comando ssh
===============================
-Muitas vezes queremos algo mais simples do que o protocolo SOCKS pois o endereço onde queremos conectar é estático. Isso acontece muito quando desenvolvemos servidores web em alguma outra máquina e queremos acessar este servidor web na máquina local. Ao invés de abrir a máquina para acessos externos, podemos fazer isso via SSH e a flag `-L`.
+Muitas vezes queremos algo mais simples do que o protocolo SOCKS pois o endereço onde queremos conectar é estático. Isso acontece muito quando desenvolvemos servidores web em alguma outra máquina e queremos acessar este servidor web na máquina local. Ao invés de abrir a máquina para acessos externos, podemos fazer isso via SSH e a flag ``-L``.
-Assim, se estamos rodando um servidor web numa porta `8080` em outra máquina, podemos executar por exemplo::
+Assim, se estamos rodando um servidor web numa porta 8080 em outra máquina, podemos executar por exemplo::
ssh -L 8000:localhost:8080 usr99@litorina -J usr99@ssh.inf.ufpr.br
-Isso significa que podemos acessar o servidor web que está rodando na porta `8080` na `litorina` locamente na porta `8000`, isto é, podemos acessar o endereço `localhost:8000` no navegador e poderemos ver nosso servidor web funcionando.
+Isso significa que podemos acessar o servidor web que está rodando na porta 8080 na ``litorina`` locamente na porta 8000, isto é, podemos acessar o endereço ``localhost:8000`` no navegador e poderemos ver nosso servidor web funcionando.