<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Root</id>
	<title>Wiki**3 - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=Root"/>
	<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/w/pt/Special:Contributions/Root"/>
	<updated>2026-05-10T05:52:34Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.39.5</generator>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Sistema_de_Recomenda%C3%A7%C3%A3o_(projecto)&amp;diff=11269</id>
		<title>Sistema de Recomendação (projecto)</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Sistema_de_Recomenda%C3%A7%C3%A3o_(projecto)&amp;diff=11269"/>
		<updated>2025-07-02T11:04:01Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Este projecto destina-.se a realizar um sistema de recomendação baseado em filtros colaborativos.&lt;br /&gt;
&lt;br /&gt;
== Collaborative Filtering Recommendation System ==&lt;br /&gt;
&lt;br /&gt;
Automatic recommendation algorithms are important in electronic commerce for matching users with products that may be of interest to them. A simple but effective way of achieving this match is called collaborative filtering. There are several versions of collaborative filtering recommendation systems, depending on the exact nature of the recommendation goal. In general, these algorithms start from a matrix of users by products and produce recommendations or rating predictions, by matching users (or products), using similarity measures between users (or products).&lt;br /&gt;
&lt;br /&gt;
In our scenario, the users-products matrix encodes the associations between users and products they acquire. Furthermore, users-products pairs are unique, i.e., a user may acquire a product more than once, but there will be only one record connecting that user with that product. Although this binary representation has some limitations (it does not reflect product preferences, for instance), it makes processing simpler.&lt;br /&gt;
&lt;br /&gt;
When computing suggestions for a given user, the algorithm first finds users that are similar to the one under consideration and, then, from the most popular products acquired by the most similar users, selects the products to recommend. User similarity is computed in terms of the products that they acquire and can be computed in various ways. A popular way is to consider the cosine distance, measured between the vectors formed by the products acquired by each user: each vector position corresponds to a product (considering all known products acquired by all users) and is, in our scenario, either 0 (the user has not acquired the product yet), or 1 (the user has already acquired the product).&lt;br /&gt;
&lt;br /&gt;
&amp;lt;center&amp;gt;[[image:sim-cosine.png|500px]]&amp;lt;/center&amp;gt;&lt;br /&gt;
 &lt;br /&gt;
In this formula ''u1'' and ''u2'' are two users, ''vecu1'' and ''vecu2'' are the corresponding product vectors, ''Pu1'' and ''Pu2'' are the sets of products each user has acquired. ||·|| is the vector norm operator and |·| is the set cardinality operator.&lt;br /&gt;
&lt;br /&gt;
== Running the Program ==&lt;br /&gt;
&lt;br /&gt;
The program takes property db to specify the file containing the users-products database and a command line argument for specifying the user to provide recommendations for.&lt;br /&gt;
&lt;br /&gt;
The output consists of a list of 10 products (one per line), ordered by their fit to the user or alphabetically if tied.&lt;br /&gt;
&lt;br /&gt;
You may assume that the database does not contain errors and that there are no mistakes when invoking the program. As an example, if the database file is '''last.fm.100k.txt''' and the user to get recommendations for is '''user_000577''', the command to invoke the recommender is (App is the class containing the main method):&lt;br /&gt;
&lt;br /&gt;
  java -Ddb=last.fm.100k.txt App user_000577&lt;br /&gt;
&lt;br /&gt;
== Solution ==&lt;br /&gt;
&lt;br /&gt;
Class '''Store''' implements the store and the recommendation algorithm.&lt;br /&gt;
&lt;br /&gt;
{{CollapsedCode|Store.java|&lt;br /&gt;
&amp;lt;source lang=&amp;quot;java&amp;quot;&amp;gt;&lt;br /&gt;
package scollafil;&lt;br /&gt;
&lt;br /&gt;
import java.io.BufferedReader;&lt;br /&gt;
import java.io.FileReader;&lt;br /&gt;
import java.io.IOException;&lt;br /&gt;
import java.util.ArrayList;&lt;br /&gt;
import java.util.Collections;&lt;br /&gt;
import java.util.HashMap;&lt;br /&gt;
import java.util.HashSet;&lt;br /&gt;
import java.util.List;&lt;br /&gt;
import java.util.Map;&lt;br /&gt;
import java.util.Set;&lt;br /&gt;
&lt;br /&gt;
/**&lt;br /&gt;
 * This class represents a store (with products and clients).&lt;br /&gt;
 * &lt;br /&gt;
 * The store keeps track of what was bought by whom and vice-versa.&lt;br /&gt;
 * &lt;br /&gt;
 * @author David Martins de Matos&lt;br /&gt;
 */&lt;br /&gt;
@SuppressWarnings(&amp;quot;nls&amp;quot;)&lt;br /&gt;
public class Store {&lt;br /&gt;
  /**&lt;br /&gt;
   * This constant controls the size of the top-N list for candidate selection.&lt;br /&gt;
   * It is used both to select the closest clients and the most interesting&lt;br /&gt;
   * products.&lt;br /&gt;
   */&lt;br /&gt;
  private final int TOP_N = 10;&lt;br /&gt;
&lt;br /&gt;
  /** Each entry lists buyers of a given product. */&lt;br /&gt;
  private Map&amp;lt;String, HashSet&amp;lt;String&amp;gt;&amp;gt; _clientsByProduct = new HashMap&amp;lt;&amp;gt;();&lt;br /&gt;
  &lt;br /&gt;
  /** Each entry lists products bought by a given client. */&lt;br /&gt;
  private Map&amp;lt;String, HashSet&amp;lt;String&amp;gt;&amp;gt; _productsByClient = new HashMap&amp;lt;&amp;gt;();&lt;br /&gt;
&lt;br /&gt;
  /**&lt;br /&gt;
   * @param db&lt;br /&gt;
   */&lt;br /&gt;
&lt;br /&gt;
  public Store(String db) {&lt;br /&gt;
    try {&lt;br /&gt;
      BufferedReader reader = new BufferedReader(new FileReader(db));&lt;br /&gt;
      String line = &amp;quot;&amp;quot;;&lt;br /&gt;
      while ((line = reader.readLine()) != null) {&lt;br /&gt;
        String[] fields = line.split(&amp;quot;\t&amp;quot;);&lt;br /&gt;
        String client = fields[0], product = fields[1];&lt;br /&gt;
&lt;br /&gt;
        HashSet&amp;lt;String&amp;gt; cbps = _clientsByProduct.get(product);&lt;br /&gt;
        if (cbps == null) {&lt;br /&gt;
          cbps = new HashSet&amp;lt;&amp;gt;();&lt;br /&gt;
          _clientsByProduct.put(product, cbps);&lt;br /&gt;
        }&lt;br /&gt;
        cbps.add(client);&lt;br /&gt;
&lt;br /&gt;
        HashSet&amp;lt;String&amp;gt; pbcs = _productsByClient.get(client);&lt;br /&gt;
        if (pbcs == null) {&lt;br /&gt;
          pbcs = new HashSet&amp;lt;&amp;gt;();&lt;br /&gt;
          _productsByClient.put(client, pbcs);&lt;br /&gt;
        }&lt;br /&gt;
        pbcs.add(product); &lt;br /&gt;
      }&lt;br /&gt;
      reader.close();&lt;br /&gt;
    } catch (IOException e) {&lt;br /&gt;
      System.err.println(&amp;quot;Error occurred while opening &amp;quot; + db + &amp;quot;: &amp;quot; + e);&lt;br /&gt;
      System.exit(-1);&lt;br /&gt;
    }&lt;br /&gt;
  }&lt;br /&gt;
&lt;br /&gt;
  /**&lt;br /&gt;
   * @param client&lt;br /&gt;
   * @return recommendation list (a list of product names)&lt;br /&gt;
   */&lt;br /&gt;
  public List&amp;lt;String&amp;gt; getRecommendationsFor(String client) {&lt;br /&gt;
    ArrayList&amp;lt;Distance&amp;gt; distances = new ArrayList&amp;lt;&amp;gt;();&lt;br /&gt;
    for (String other : _productsByClient.keySet()) {&lt;br /&gt;
      if (other.equals(client))&lt;br /&gt;
        continue;&lt;br /&gt;
      distances.add(cosine(client, other));&lt;br /&gt;
    }&lt;br /&gt;
    Collections.sort(distances);&lt;br /&gt;
&lt;br /&gt;
    System.out.println(&amp;quot;Closest &amp;quot; + TOP_N + &amp;quot; to &amp;quot; + client + &amp;quot;:&amp;quot;);&lt;br /&gt;
    HashMap&amp;lt;String, Integer&amp;gt; counts = new HashMap&amp;lt;&amp;gt;();&lt;br /&gt;
&lt;br /&gt;
    for (int i = 0; i &amp;lt; distances.size() &amp;amp;&amp;amp; i &amp;lt; TOP_N; i++) {&lt;br /&gt;
      Distance d = distances.get(i);&lt;br /&gt;
      if (d == null)&lt;br /&gt;
        break;&lt;br /&gt;
      String target = d.getTarget(); // similar client&lt;br /&gt;
      System.out.printf(&amp;quot;[%d]@%.2g%% = %s\n&amp;quot;, i, d.getDistance() * 100, target);&lt;br /&gt;
&lt;br /&gt;
      for (String p : _productsByClient.get(target)) {&lt;br /&gt;
        Integer cc = counts.get(p);&lt;br /&gt;
        counts.put(p, cc == null ? 0 : cc + 1);&lt;br /&gt;
      }&lt;br /&gt;
    }&lt;br /&gt;
&lt;br /&gt;
    Set&amp;lt;String&amp;gt; ks = counts.keySet();&lt;br /&gt;
    ks.removeAll(_productsByClient.get(client));&lt;br /&gt;
&lt;br /&gt;
    ArrayList&amp;lt;Distance&amp;gt; bestProducts = new ArrayList&amp;lt;&amp;gt;();&lt;br /&gt;
    for (String k : ks)&lt;br /&gt;
      bestProducts.add(new Distance(client, k, counts.get(k)));&lt;br /&gt;
    Collections.sort(bestProducts);&lt;br /&gt;
&lt;br /&gt;
    ArrayList&amp;lt;String&amp;gt; recomm = new ArrayList&amp;lt;&amp;gt;();&lt;br /&gt;
    for (int i = 0; i &amp;lt; bestProducts.size() &amp;amp;&amp;amp; i &amp;lt; TOP_N; i++) {&lt;br /&gt;
      Distance d = bestProducts.get(i);&lt;br /&gt;
      if (d == null)&lt;br /&gt;
        break;&lt;br /&gt;
      recomm.add(d.getTarget());&lt;br /&gt;
      System.out.printf(&amp;quot;[%d]@%g = %s\n&amp;quot;, i, d.getDistance(), d.getTarget());&lt;br /&gt;
    }&lt;br /&gt;
&lt;br /&gt;
    return recomm;&lt;br /&gt;
  }&lt;br /&gt;
&lt;br /&gt;
  /**&lt;br /&gt;
   * @param c1&lt;br /&gt;
   * @param c2&lt;br /&gt;
   * @return &amp;quot;cosine&amp;quot; of two sets&lt;br /&gt;
   */&lt;br /&gt;
  public Distance cosine(String c1, String c2) {&lt;br /&gt;
    Set&amp;lt;String&amp;gt; v1 = _productsByClient.get(c1), v2 = _productsByClient.get(c2);&lt;br /&gt;
    Set&amp;lt;String&amp;gt; intersection = new HashSet&amp;lt;&amp;gt;(v1);&lt;br /&gt;
    intersection.retainAll(v2);&lt;br /&gt;
    double d = intersection.size() / Math.sqrt(v1.size()) / Math.sqrt(v2.size());&lt;br /&gt;
    return new Distance(c1, c2, d);&lt;br /&gt;
  }&lt;br /&gt;
&lt;br /&gt;
}&lt;br /&gt;
&amp;lt;/source&amp;gt;&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
Class '''Distance''' is used to encode distances between users and products.&lt;br /&gt;
&lt;br /&gt;
{{CollapsedCode|Distance.java|&lt;br /&gt;
&amp;lt;source lang=&amp;quot;java&amp;quot;&amp;gt;&lt;br /&gt;
package scollafil;&lt;br /&gt;
&lt;br /&gt;
/**&lt;br /&gt;
 * Distance between two points: source and target.&lt;br /&gt;
 * &lt;br /&gt;
 * @author David Martins de Matos&lt;br /&gt;
 */&lt;br /&gt;
class Distance implements Comparable&amp;lt;Distance&amp;gt; {&lt;br /&gt;
  /** Source. */&lt;br /&gt;
  private String _source;&lt;br /&gt;
  &lt;br /&gt;
  /** Target. */&lt;br /&gt;
  private String _target;&lt;br /&gt;
  &lt;br /&gt;
  /** Distance. */&lt;br /&gt;
  private double _distance;&lt;br /&gt;
&lt;br /&gt;
  /**&lt;br /&gt;
   * @param source&lt;br /&gt;
   * @param target&lt;br /&gt;
   * @param distance&lt;br /&gt;
   */&lt;br /&gt;
  public Distance(String source, String target, double distance) {&lt;br /&gt;
    _source = source;&lt;br /&gt;
    _target = target;&lt;br /&gt;
    _distance = distance;&lt;br /&gt;
  }&lt;br /&gt;
&lt;br /&gt;
  /**&lt;br /&gt;
   * Natural order is according to distance, except when distances are same. In&lt;br /&gt;
   * this case, the order is alphabetical (target).&lt;br /&gt;
   * &lt;br /&gt;
   * @see java.lang.Comparable#compareTo(java.lang.Object)&lt;br /&gt;
   */&lt;br /&gt;
  @Override&lt;br /&gt;
  public int compareTo(Distance d) {&lt;br /&gt;
    return _distance &amp;gt; d._distance ? -1&lt;br /&gt;
        : (_distance &amp;lt; d._distance ? 1 : _target.compareTo(d._target));&lt;br /&gt;
  }&lt;br /&gt;
&lt;br /&gt;
  /** @return source */&lt;br /&gt;
  public String getSource() {&lt;br /&gt;
    return _source;&lt;br /&gt;
  }&lt;br /&gt;
&lt;br /&gt;
  /** @return target */&lt;br /&gt;
  public String getTarget() {&lt;br /&gt;
    return _target;&lt;br /&gt;
  }&lt;br /&gt;
&lt;br /&gt;
  /** @return distance */&lt;br /&gt;
  public double getDistance() {&lt;br /&gt;
    return _distance;&lt;br /&gt;
  }&lt;br /&gt;
&lt;br /&gt;
}&lt;br /&gt;
&amp;lt;/source&amp;gt;&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
Class '''App''' runs the program: it asks the user for a name and provides recommendations, based on the history of the store.&lt;br /&gt;
&lt;br /&gt;
{{CollapsedCode|App.java|&lt;br /&gt;
&amp;lt;source lang=&amp;quot;java&amp;quot;&amp;gt;&lt;br /&gt;
package scollafil;&lt;br /&gt;
&lt;br /&gt;
import java.io.BufferedReader;&lt;br /&gt;
import java.io.IOException;&lt;br /&gt;
import java.io.InputStreamReader;&lt;br /&gt;
&lt;br /&gt;
/**&lt;br /&gt;
 * This class implements a simple collaborative filtering recommender.&lt;br /&gt;
 * &lt;br /&gt;
 * The program uses property &amp;quot;db&amp;quot; to read a shopping database. After&lt;br /&gt;
 * initialization, client names are requested and a product list is produced for&lt;br /&gt;
 * each one. Only the top-3 items are presented.&lt;br /&gt;
 * &lt;br /&gt;
 * @author David Martins de Matos&lt;br /&gt;
 */&lt;br /&gt;
public class App {&lt;br /&gt;
  /**&lt;br /&gt;
   * @param args&lt;br /&gt;
   *          command line arguments&lt;br /&gt;
   */&lt;br /&gt;
  @SuppressWarnings(&amp;quot;nls&amp;quot;)&lt;br /&gt;
  public static void main(String[] args) {&lt;br /&gt;
    String db = System.getProperty(&amp;quot;db&amp;quot;);&lt;br /&gt;
    if (db == null) {&lt;br /&gt;
      System.err.println(&amp;quot;Please, provide a shopping database!&amp;quot;);&lt;br /&gt;
      return;&lt;br /&gt;
    }&lt;br /&gt;
    Store store = new Store(db);&lt;br /&gt;
    BufferedReader in = new BufferedReader(new InputStreamReader(System.in));&lt;br /&gt;
    String client = &amp;quot;&amp;quot;;&lt;br /&gt;
&lt;br /&gt;
    try {&lt;br /&gt;
      do {&lt;br /&gt;
        System.out.print(&amp;quot;Client: &amp;quot;);&lt;br /&gt;
        if ((client = in.readLine()) == null || client.equals(&amp;quot;&amp;quot;))&lt;br /&gt;
          break;&lt;br /&gt;
        System.out.println(store.getRecommendationsFor(client));&lt;br /&gt;
      } while (true);&lt;br /&gt;
    } catch (IOException e) {&lt;br /&gt;
      System.err.println(&amp;quot;Error while reading standard input!&amp;quot;);&lt;br /&gt;
      e.printStackTrace();&lt;br /&gt;
      System.exit(1);&lt;br /&gt;
    }&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&amp;lt;/source&amp;gt;&lt;br /&gt;
}}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Projectos&amp;diff=11268</id>
		<title>Projectos</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Projectos&amp;diff=11268"/>
		<updated>2023-11-23T15:47:58Z</updated>

		<summary type="html">&lt;p&gt;Root: Created page with &amp;quot;&amp;lt;Inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt; A informação seguinte é mantida pelo INESC-ID Lisboa.&amp;lt;br/&amp;gt; Actualmente, está apenas disponível em inglês.  &amp;lt;Inesc-id what='projects' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;  category:Investigação en:Projects&amp;quot;&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;Inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
A informação seguinte é mantida pelo INESC-ID Lisboa.&amp;lt;br/&amp;gt;&lt;br /&gt;
Actualmente, está apenas disponível em inglês.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;Inesc-id what='projects' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[category:Investigação]]&lt;br /&gt;
[[en:Projects]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Sidebar&amp;diff=11267</id>
		<title>MediaWiki:Sidebar</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Sidebar&amp;diff=11267"/>
		<updated>2023-11-23T15:47:23Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;* apresentação&lt;br /&gt;
** Página Principal|Página Principal&lt;br /&gt;
** Apresentação|Apresentação&lt;br /&gt;
** Contactos|Contactos&lt;br /&gt;
&lt;br /&gt;
*  aulas&lt;br /&gt;
** Compiladores|Compiladores&lt;br /&gt;
** Programação com Objectos|Programação com Objectos&lt;br /&gt;
** Actividades Lectivas|Todas as Disciplinas...&lt;br /&gt;
&lt;br /&gt;
* investigação&lt;br /&gt;
** Orientação Científica|Orientações&lt;br /&gt;
** Publicações|Publicações&lt;br /&gt;
** Projectos|Projectos&lt;br /&gt;
&lt;br /&gt;
* misc&lt;br /&gt;
** Downloads|Downloads&lt;br /&gt;
** portal-url|portal&lt;br /&gt;
&lt;br /&gt;
* SEARCH&lt;br /&gt;
* LANGUAGES&lt;br /&gt;
&lt;br /&gt;
&amp;lt;!-- * * currentevents-url|currentevents --&amp;gt;&lt;br /&gt;
&amp;lt;!-- * * recentchanges-url|recentchanges --&amp;gt;&lt;br /&gt;
&amp;lt;!-- * * randompage-url|randompage --&amp;gt;&lt;br /&gt;
&amp;lt;!-- * * helppage|help --&amp;gt;&lt;br /&gt;
&amp;lt;!-- * * sitesupport-url|sitesupport --&amp;gt;&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11266</id>
		<title>Publicações</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11266"/>
		<updated>2023-11-23T15:45:44Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;Inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
A informação seguinte é mantida pelo INESC-ID Lisboa.&amp;lt;br/&amp;gt;&lt;br /&gt;
Actualmente, está apenas disponível em inglês.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;Inesc-id what='publications' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&amp;lt;!--&lt;br /&gt;
== Outras ==&lt;br /&gt;
&lt;br /&gt;
* [https://www.l2f.inesc-id.pt/~david/teses/1994/tese.html Técnicas para a Programação de Aplicações Distribuídas e Persistentes num Modelo de Objectos Uniforme e Transparente] Tese de Mestrado. Instituto Superior Técnico, Universidade Técnica de Lisboa. Lisboa, Setembro de 1994.&lt;br /&gt;
--&amp;gt;&lt;br /&gt;
[[category:Investigação]]&lt;br /&gt;
[[en:Publications]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Orienta%C3%A7%C3%A3o_Cient%C3%ADfica&amp;diff=11265</id>
		<title>Orientação Científica</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Orienta%C3%A7%C3%A3o_Cient%C3%ADfica&amp;diff=11265"/>
		<updated>2023-11-23T15:45:25Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
A informação seguinte é mantida pelo INESC-ID Lisboa.&amp;lt;br/&amp;gt;&lt;br /&gt;
Actualmente, está apenas disponível em inglês.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;inesc-id what='advising' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[category:Orientação Científica]]&lt;br /&gt;
[[en:Scientific Advising]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11264</id>
		<title>Publicações</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11264"/>
		<updated>2023-11-23T15:44:38Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;Inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
A lista abaixo é mantida pelo INESC-ID Lisboa.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;Inesc-id what='publications' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&amp;lt;!--&lt;br /&gt;
== Outras ==&lt;br /&gt;
&lt;br /&gt;
* [https://www.l2f.inesc-id.pt/~david/teses/1994/tese.html Técnicas para a Programação de Aplicações Distribuídas e Persistentes num Modelo de Objectos Uniforme e Transparente] Tese de Mestrado. Instituto Superior Técnico, Universidade Técnica de Lisboa. Lisboa, Setembro de 1994.&lt;br /&gt;
--&amp;gt;&lt;br /&gt;
[[category:Investigação]]&lt;br /&gt;
[[en:Publications]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11263</id>
		<title>Publicações</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11263"/>
		<updated>2023-11-23T15:44:20Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;Inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
A lista abaixo é mantida pelo INESC ID Lisboa. Versões HTML de algumas publicações estão disponíveis no final da página.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;Inesc-id what='publications' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&amp;lt;!--&lt;br /&gt;
== Outras ==&lt;br /&gt;
&lt;br /&gt;
* [https://www.l2f.inesc-id.pt/~david/teses/1994/tese.html Técnicas para a Programação de Aplicações Distribuídas e Persistentes num Modelo de Objectos Uniforme e Transparente] Tese de Mestrado. Instituto Superior Técnico, Universidade Técnica de Lisboa. Lisboa, Setembro de 1994.&lt;br /&gt;
--&amp;gt;&lt;br /&gt;
[[category:Investigação]]&lt;br /&gt;
[[en:Publications]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11262</id>
		<title>Publicações</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11262"/>
		<updated>2023-11-23T15:43:41Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;Inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
{{TOCright}}&lt;br /&gt;
&lt;br /&gt;
A lista abaixo é mantida pelo INESC ID Lisboa. Versões HTML de algumas publicações estão disponíveis no final da página.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;Inesc-id what='publications' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
== Outras ==&lt;br /&gt;
&lt;br /&gt;
* [https://www.l2f.inesc-id.pt/~david/teses/1994/tese.html Técnicas para a Programação de Aplicações Distribuídas e Persistentes num Modelo de Objectos Uniforme e Transparente] Tese de Mestrado. Instituto Superior Técnico, Universidade Técnica de Lisboa. Lisboa, Setembro de 1994.&lt;br /&gt;
&lt;br /&gt;
[[category:Investigação]]&lt;br /&gt;
[[en:Publications]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11261</id>
		<title>Publicações</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11261"/>
		<updated>2023-11-23T15:43:09Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{TOCright}}&lt;br /&gt;
&amp;lt;Inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
A lista abaixo é mantida pelo INESC ID Lisboa. Versões HTML de algumas publicações estão disponíveis no final da página.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;Inesc-id what='publications' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
== Outras ==&lt;br /&gt;
&lt;br /&gt;
* [https://www.l2f.inesc-id.pt/~david/teses/1994/tese.html Técnicas para a Programação de Aplicações Distribuídas e Persistentes num Modelo de Objectos Uniforme e Transparente] Tese de Mestrado. Instituto Superior Técnico, Universidade Técnica de Lisboa. Lisboa, Setembro de 1994.&lt;br /&gt;
&lt;br /&gt;
[[category:Investigação]]&lt;br /&gt;
[[en:Publications]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11260</id>
		<title>Publicações</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11260"/>
		<updated>2023-11-23T15:40:05Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{TOCright}}&lt;br /&gt;
A lista abaixo é mantida pelo INESC ID Lisboa. Versões HTML de algumas publicações estão disponíveis no final da página.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;inesc-id what='publications' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
== Outras ==&lt;br /&gt;
&lt;br /&gt;
* [https://www.l2f.inesc-id.pt/~david/teses/1994/tese.html Técnicas para a Programação de Aplicações Distribuídas e Persistentes num Modelo de Objectos Uniforme e Transparente] Tese de Mestrado. Instituto Superior Técnico, Universidade Técnica de Lisboa. Lisboa, Setembro de 1994.&lt;br /&gt;
&lt;br /&gt;
[[category:Investigação]]&lt;br /&gt;
[[en:Publications]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Orienta%C3%A7%C3%A3o_Cient%C3%ADfica&amp;diff=11259</id>
		<title>Orientação Científica</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Orienta%C3%A7%C3%A3o_Cient%C3%ADfica&amp;diff=11259"/>
		<updated>2023-11-23T14:55:01Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;inesc-id what='card' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
A informação seguinte é mantida pelo INESC-ID Lisboa. Actualmente, está apenas disponível em inglês.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;inesc-id what='advising' id='09889818-fc9e-4b29-b0d8-04028590c6b4'/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[category:Orientação Científica]]&lt;br /&gt;
[[en:Scientific Advising]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11258</id>
		<title>Apresentação</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11258"/>
		<updated>2023-11-23T14:51:46Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;inesc-id what=&amp;quot;card&amp;quot; id=&amp;quot;09889818-fc9e-4b29-b0d8-04028590c6b4&amp;quot;/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Sou professor associado do [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.tecnico.ulisboa.pt/ Instituto Superior Técnico]. Sou investigador do [http://www.l2f.inesc-id.pt/ Laboratório de Tecnologias de Língua Humana] do [http://www.inesc-id.pt INESC-ID].&lt;br /&gt;
&lt;br /&gt;
Os meus interesses científicos incluem gestão de recursos linguísticos; arquitecturas de software para engenharia da língua natural; geração automática de língua natural e construção automática de resumos; interfaces de língua natural; e processamento de língua escrita em geral. Além dos interesses acima, desenvolvo ainda investigação em processamento computacional de música e aplicações de aprendizagem automática na área da saúde.&lt;br /&gt;
&lt;br /&gt;
== CV Oficial (resumido) ==&lt;br /&gt;
&lt;br /&gt;
''Prof. David Martins de Matos''&lt;br /&gt;
&lt;br /&gt;
David Martins de Matos licenciou-se em Engenharia Electrotécnica e de Computadores em 1990, no Instituto Superior Técnico (IST), Lisboa. Recebeu os graus de Mestre em Engenharia Electrotécnica e de Computadores em 1995 (IST), sob o tema programação com objectos em sistemas distribuídos. Obteve o grau de Doutor em Engenharia Informática e de Computadores em 2005 (IST), sobre o tema da geração automática de língua natural. É docente no IST desde 1993 -- actualmente como Professor Auxiliar --, tendo leccionado as disciplinas de programação em lógica e funcional, programação com objectos, algoritmos e estruturas de dados, compiladores, arquitectura de sistemas computacionais, sistemas distribuídos, computação gráfica e processamento de língua natural. Foi investigador no INESC desde 1988, nos Grupos de Sistemas Distribuídos, Serviços e Sistemas Telemáticos e Engenharia de Software. Em 1998 passou a fazer parte do Centro de Sistemas Telemáticos e Computacionais (IST), onde permaneceu até 2001, quando passou a fazer parte do recém-criado Laboratório de Sistemas de Língua Falada (L2F). Em 2020, passou a integrar o Laboratório de Tecnologias de Língua Humana do INESC-ID. No passado, participou em vários projectos Europeus e Nacionais, assim como em projectos do sector privado (banca e indústria de telecomunicações), tanto nacionais como internacionais. É membro sénior da ACM (SIGMM, SIGIR) e do IEEE (Signal Processing Society, Computer Society, Robotics and Automation Society). É também membro da Ordem dos Engenheiros.&lt;br /&gt;
&lt;br /&gt;
[[en:Introduction]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11257</id>
		<title>Apresentação</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11257"/>
		<updated>2023-11-23T14:49:50Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Sou professor associado do [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.tecnico.ulisboa.pt/ Instituto Superior Técnico]. Sou investigador do [http://www.l2f.inesc-id.pt/ Laboratório de Tecnologias de Língua Humana] do [http://www.inesc-id.pt INESC-ID].&lt;br /&gt;
&lt;br /&gt;
Os meus interesses científicos incluem gestão de recursos linguísticos; arquitecturas de software para engenharia da língua natural; geração automática de língua natural e construção automática de resumos; interfaces de língua natural; e processamento de língua escrita em geral. Além dos interesses acima, desenvolvo ainda investigação em processamento computacional de música e aplicações de aprendizagem automática na área da saúde.&lt;br /&gt;
&lt;br /&gt;
== CV Oficial (resumido) ==&lt;br /&gt;
&lt;br /&gt;
''Prof. David Martins de Matos''&lt;br /&gt;
&lt;br /&gt;
David Martins de Matos licenciou-se em Engenharia Electrotécnica e de Computadores em 1990, no Instituto Superior Técnico (IST), Lisboa. Recebeu os graus de Mestre em Engenharia Electrotécnica e de Computadores em 1995 (IST), sob o tema programação com objectos em sistemas distribuídos. Obteve o grau de Doutor em Engenharia Informática e de Computadores em 2005 (IST), sobre o tema da geração automática de língua natural. É docente no IST desde 1993 -- actualmente como Professor Auxiliar --, tendo leccionado as disciplinas de programação em lógica e funcional, programação com objectos, algoritmos e estruturas de dados, compiladores, arquitectura de sistemas computacionais, sistemas distribuídos, computação gráfica e processamento de língua natural. Foi investigador no INESC desde 1988, nos Grupos de Sistemas Distribuídos, Serviços e Sistemas Telemáticos e Engenharia de Software. Em 1998 passou a fazer parte do Centro de Sistemas Telemáticos e Computacionais (IST), onde permaneceu até 2001, quando passou a fazer parte do recém-criado Laboratório de Sistemas de Língua Falada (L2F). Em 2020, passou a integrar o Laboratório de Tecnologias de Língua Humana do INESC-ID. No passado, participou em vários projectos Europeus e Nacionais, assim como em projectos do sector privado (banca e indústria de telecomunicações), tanto nacionais como internacionais. É membro sénior da ACM (SIGMM, SIGIR) e do IEEE (Signal Processing Society, Computer Society, Robotics and Automation Society). É também membro da Ordem dos Engenheiros.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;!--&amp;lt;Inesc-id what=&amp;quot;person&amp;quot; id=&amp;quot;09889818-fc9e-4b29-b0d8-04028590c6b4&amp;quot;/&amp;gt;--&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[en:Introduction]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11256</id>
		<title>Apresentação</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11256"/>
		<updated>2023-11-23T14:49:09Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&amp;lt;!--&lt;br /&gt;
Sou professor associado do [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.tecnico.ulisboa.pt/ Instituto Superior Técnico]. Sou investigador do [http://www.l2f.inesc-id.pt/ Laboratório de Tecnologias de Língua Humana] do [http://www.inesc-id.pt INESC-ID].&lt;br /&gt;
&lt;br /&gt;
Os meus interesses científicos incluem gestão de recursos linguísticos; arquitecturas de software para engenharia da língua natural; geração automática de língua natural e construção automática de resumos; interfaces de língua natural; e processamento de língua escrita em geral. Além dos interesses acima, desenvolvo ainda investigação em processamento computacional de música e aplicações de aprendizagem automática na área da saúde.&lt;br /&gt;
&lt;br /&gt;
== CV Oficial (resumido) ==&lt;br /&gt;
&lt;br /&gt;
''Prof. David Martins de Matos''&lt;br /&gt;
&lt;br /&gt;
David Martins de Matos licenciou-se em Engenharia Electrotécnica e de Computadores em 1990, no Instituto Superior Técnico (IST), Lisboa. Recebeu os graus de Mestre em Engenharia Electrotécnica e de Computadores em 1995 (IST), sob o tema programação com objectos em sistemas distribuídos. Obteve o grau de Doutor em Engenharia Informática e de Computadores em 2005 (IST), sobre o tema da geração automática de língua natural. É docente no IST desde 1993 -- actualmente como Professor Auxiliar --, tendo leccionado as disciplinas de programação em lógica e funcional, programação com objectos, algoritmos e estruturas de dados, compiladores, arquitectura de sistemas computacionais, sistemas distribuídos, computação gráfica e processamento de língua natural. Foi investigador no INESC desde 1988, nos Grupos de Sistemas Distribuídos, Serviços e Sistemas Telemáticos e Engenharia de Software. Em 1998 passou a fazer parte do Centro de Sistemas Telemáticos e Computacionais (IST), onde permaneceu até 2001, quando passou a fazer parte do recém-criado Laboratório de Sistemas de Língua Falada (L2F). Em 2020, passou a integrar o Laboratório de Tecnologias de Língua Humana do INESC-ID. No passado, participou em vários projectos Europeus e Nacionais, assim como em projectos do sector privado (banca e indústria de telecomunicações), tanto nacionais como internacionais. É membro sénior da ACM (SIGMM, SIGIR) e do IEEE (Signal Processing Society, Computer Society, Robotics and Automation Society). É também membro da Ordem dos Engenheiros.&lt;br /&gt;
--&amp;gt;&lt;br /&gt;
&amp;lt;inesc-id what=&amp;quot;person&amp;quot; id=&amp;quot;09889818-fc9e-4b29-b0d8-04028590c6b4&amp;quot;/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[en:Introduction]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11255</id>
		<title>Apresentação</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11255"/>
		<updated>2023-11-23T14:48:38Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Sou professor associado do [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.tecnico.ulisboa.pt/ Instituto Superior Técnico]. Sou investigador do [http://www.l2f.inesc-id.pt/ Laboratório de Tecnologias de Língua Humana] do [http://www.inesc-id.pt INESC-ID].&lt;br /&gt;
&lt;br /&gt;
Os meus interesses científicos incluem gestão de recursos linguísticos; arquitecturas de software para engenharia da língua natural; geração automática de língua natural e construção automática de resumos; interfaces de língua natural; e processamento de língua escrita em geral. Além dos interesses acima, desenvolvo ainda investigação em processamento computacional de música e aplicações de aprendizagem automática na área da saúde.&lt;br /&gt;
&amp;lt;!--&lt;br /&gt;
== CV Oficial (resumido) ==&lt;br /&gt;
&lt;br /&gt;
''Prof. David Martins de Matos''&lt;br /&gt;
&lt;br /&gt;
David Martins de Matos licenciou-se em Engenharia Electrotécnica e de Computadores em 1990, no Instituto Superior Técnico (IST), Lisboa. Recebeu os graus de Mestre em Engenharia Electrotécnica e de Computadores em 1995 (IST), sob o tema programação com objectos em sistemas distribuídos. Obteve o grau de Doutor em Engenharia Informática e de Computadores em 2005 (IST), sobre o tema da geração automática de língua natural. É docente no IST desde 1993 -- actualmente como Professor Auxiliar --, tendo leccionado as disciplinas de programação em lógica e funcional, programação com objectos, algoritmos e estruturas de dados, compiladores, arquitectura de sistemas computacionais, sistemas distribuídos, computação gráfica e processamento de língua natural. Foi investigador no INESC desde 1988, nos Grupos de Sistemas Distribuídos, Serviços e Sistemas Telemáticos e Engenharia de Software. Em 1998 passou a fazer parte do Centro de Sistemas Telemáticos e Computacionais (IST), onde permaneceu até 2001, quando passou a fazer parte do recém-criado Laboratório de Sistemas de Língua Falada (L2F). Em 2020, passou a integrar o Laboratório de Tecnologias de Língua Humana do INESC-ID. No passado, participou em vários projectos Europeus e Nacionais, assim como em projectos do sector privado (banca e indústria de telecomunicações), tanto nacionais como internacionais. É membro sénior da ACM (SIGMM, SIGIR) e do IEEE (Signal Processing Society, Computer Society, Robotics and Automation Society). É também membro da Ordem dos Engenheiros.&lt;br /&gt;
--&amp;gt;&lt;br /&gt;
&amp;lt;inesc-id what=&amp;quot;person&amp;quot; id=&amp;quot;09889818-fc9e-4b29-b0d8-04028590c6b4&amp;quot;/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[en:Introduction]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11254</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11254"/>
		<updated>2023-11-23T14:45:12Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #f0f0f0;&lt;br /&gt;
  background: #f3f3f3;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #d6d6d6;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
  color: #777777;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* PEOPLE CARDS: BEGIN */&lt;br /&gt;
&lt;br /&gt;
.people-cards {&lt;br /&gt;
   display: flex;&lt;br /&gt;
   flex-wrap: wrap;&lt;br /&gt;
   gap: 20px;&lt;br /&gt;
   font-family: 'Raleway', sans-serif;&lt;br /&gt;
}&lt;br /&gt;
.person-card {&lt;br /&gt;
   display: flex;&lt;br /&gt;
   width: 370px;&lt;br /&gt;
   height: 230px;&lt;br /&gt;
   border: 1px solid #dddddd;&lt;br /&gt;
   padding: 20px;&lt;br /&gt;
   box-sizing: border-box;&lt;br /&gt;
   position: relative;&lt;br /&gt;
   background-color: #f8f8f8; /* Off-white background color */&lt;br /&gt;
   box-shadow: 0 4px 5px rgba(0, 0, 0, 0.2); /* Box shadow */&lt;br /&gt;
   padding: 10px; /* Add padding to the white div */&lt;br /&gt;
   flex-direction: column;&lt;br /&gt;
}&lt;br /&gt;
.person-card-top {&lt;br /&gt;
    margin-top: 10px;&lt;br /&gt;
    display: flex;&lt;br /&gt;
    height: 130px;&lt;br /&gt;
}&lt;br /&gt;
.person-card-img {&lt;br /&gt;
   width: 120px;&lt;br /&gt;
}&lt;br /&gt;
        .person-card-img img {&lt;br /&gt;
            width: 100px;&lt;br /&gt;
            height: 100px;&lt;br /&gt;
            object-fit: cover;&lt;br /&gt;
            border: 1px solid #999999;&lt;br /&gt;
            border-radius: 50%;&lt;br /&gt;
        }&lt;br /&gt;
        .person-details {&lt;br /&gt;
            flex: 1;&lt;br /&gt;
            font-size: 0.9em;&lt;br /&gt;
            line-height: 1.2em;&lt;br /&gt;
        }&lt;br /&gt;
        .person-card-footer {&lt;br /&gt;
            padding-bottom: 4px;&lt;br /&gt;
            width: 100%;&lt;br /&gt;
            align-self: flex-end; /* Align the footer to the bottom */&lt;br /&gt;
            display: flex;&lt;br /&gt;
            flex-direction: column;&lt;br /&gt;
            overflow: hidden;&lt;br /&gt;
            font-size: 0.8em;&lt;br /&gt;
            line-height: 1.1em;&lt;br /&gt;
        }&lt;br /&gt;
&lt;br /&gt;
/* PEOPLE CARDS: END */&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11253</id>
		<title>Apresentação</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11253"/>
		<updated>2023-11-23T14:37:29Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{infobox|name=David Martins de Matos|username=david|contact=david.matos&lt;br /&gt;
|phone=+351-213-100-305|fax=+351-213-145-843&lt;br /&gt;
}}&lt;br /&gt;
Sou professor associado do [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.tecnico.ulisboa.pt/ Instituto Superior Técnico]. Sou investigador do [http://www.l2f.inesc-id.pt/ Laboratório de Tecnologias de Língua Humana] do [http://www.inesc-id.pt INESC-ID] .&lt;br /&gt;
&lt;br /&gt;
Os meus interesses científicos incluem gestão de recursos linguísticos; arquitecturas de software para engenharia da língua natural; geração automática de língua natural e construção automática de resumos; interfaces de língua natural; e processamento de língua escrita em geral. Além dos interesses acima, desenvolvo ainda investigação em processamento computacional de música e aplicações de aprendizagem automática na área da saúde.&lt;br /&gt;
&lt;br /&gt;
== CV Oficial (resumido) ==&lt;br /&gt;
&lt;br /&gt;
''Prof. David Martins de Matos''&lt;br /&gt;
&lt;br /&gt;
David Martins de Matos licenciou-se em Engenharia Electrotécnica e de Computadores em 1990, no Instituto Superior Técnico (IST), Lisboa. Recebeu os grau de Mestre em Engenharia Electrotécnica e de Computadores em 1995 (IST), sob o tema programação com objectos em sistemas distibuídos. Obteve o grau de Doutor em Engenaria Informática e de Computadores em 2005 (IST), sobre o tema da geração automática de língua natural. É docente no IST desde 1993 -- actualmente como Professor Auxiliar --, tendo leccionado as disciplinas de programação em lógica e funcional, programação com objectos, algoritmos e estruturas de dados, compiladores, arquitectura de sistemas computacionais, sistemas distribuídos, computação gráfica e processamento de língua natural. Foi investigador no INESC desde 1988, nos Grupos de Sistemas Distribuídos, Serviços e Sistemas Telemáticos e Engenharia de Software. Em 1998 passou a fazer parte do Centro de Sistemas Telemáticos e Computacionais (IST), onde permaneceu até 2001, quando passou a fazer parte do recém-criado Laboratório de Sistemas de Língua Falada (L2F). Em 2020, passou a integrar o Laboratório de Tecnologias de Língua Humana do INESC-ID. No passado, participou em vários projectos Europeus e Nacionais, assim como em projectos do sector privado (banca e indústria de telecomunicações), tanto nacionais como internacionais. É membro sénior da ACM (SIGMM, SIGIR) e do IEEE (Signal Processing Society, Computer Society, Robotics and Automation Society). É também membro da Ordem dos Engenheiros.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;inesc-id what=&amp;quot;person&amp;quot; id=&amp;quot;09889818-fc9e-4b29-b0d8-04028590c6b4&amp;quot;/&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[en:Introduction]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11252</id>
		<title>Publicações</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Publica%C3%A7%C3%B5es&amp;diff=11252"/>
		<updated>2023-11-23T14:25:53Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{TOCright}}&lt;br /&gt;
A lista abaixo é mantida pelo INESC ID Lisboa. Versões HTML de algumas publicações estão disponíveis no final da página.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;inesc-id what='publications' id='09889818-fc9e-4b29-b0d8-04028590c6b4'&amp;gt;&amp;lt;/Inesc-id&amp;gt;&lt;br /&gt;
&lt;br /&gt;
== Outras ==&lt;br /&gt;
&lt;br /&gt;
* [https://www.l2f.inesc-id.pt/~david/teses/1994/tese.html Técnicas para a Programação de Aplicações Distribuídas e Persistentes num Modelo de Objectos Uniforme e Transparente] Tese de Mestrado. Instituto Superior Técnico, Universidade Técnica de Lisboa. Lisboa, Setembro de 1994.&lt;br /&gt;
&lt;br /&gt;
[[category:Investigação]]&lt;br /&gt;
[[en:Publications]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Orienta%C3%A7%C3%A3o_Cient%C3%ADfica&amp;diff=11251</id>
		<title>Orientação Científica</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Orienta%C3%A7%C3%A3o_Cient%C3%ADfica&amp;diff=11251"/>
		<updated>2023-11-23T11:58:19Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;A informação seguinte é mantida pelo INESC-ID Lisboa. Actualmente, está apenas disponível em inglês.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;inesc-id what='advising' id='09889818-fc9e-4b29-b0d8-04028590c6b4'&amp;gt;&amp;lt;/Inesc-id&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[category:Orientação Científica]]&lt;br /&gt;
[[en:Scientific Advising]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11250</id>
		<title>Apresentação</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11250"/>
		<updated>2023-08-09T09:12:09Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{infobox|name=David Martins de Matos|username=david|contact=david.matos&lt;br /&gt;
|phone=+351-213-100-305|fax=+351-213-145-843&lt;br /&gt;
}}&lt;br /&gt;
Sou professor associado do [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.tecnico.ulisboa.pt/ Instituto Superior Técnico]. Sou investigador do [http://www.l2f.inesc-id.pt/ Laboratório de Tecnologias de Língua Humana] do [http://www.inesc-id.pt INESC-ID] .&lt;br /&gt;
&lt;br /&gt;
Os meus interesses científicos incluem gestão de recursos linguísticos; arquitecturas de software para engenharia da língua natural; geração automática de língua natural e construção automática de resumos; interfaces de língua natural; e processamento de língua escrita em geral. Além dos interesses acima, desenvolvo ainda investigação em processamento computacional de música e aplicações de aprendizagem automática na área da saúde.&lt;br /&gt;
&lt;br /&gt;
== CV Oficial (resumido) ==&lt;br /&gt;
&lt;br /&gt;
''Prof. David Martins de Matos''&lt;br /&gt;
&lt;br /&gt;
David Martins de Matos licenciou-se em Engenharia Electrotécnica e de Computadores em 1990, no Instituto Superior Técnico (IST), Lisboa. Recebeu os grau de Mestre em Engenharia Electrotécnica e de Computadores em 1995 (IST), sob o tema programação com objectos em sistemas distibuídos. Obteve o grau de Doutor em Engenaria Informática e de Computadores em 2005 (IST), sobre o tema da geração automática de língua natural. É docente no IST desde 1993 -- actualmente como Professor Auxiliar --, tendo leccionado as disciplinas de programação em lógica e funcional, programação com objectos, algoritmos e estruturas de dados, compiladores, arquitectura de sistemas computacionais, sistemas distribuídos, computação gráfica e processamento de língua natural. Foi investigador no INESC desde 1988, nos Grupos de Sistemas Distribuídos, Serviços e Sistemas Telemáticos e Engenharia de Software. Em 1998 passou a fazer parte do Centro de Sistemas Telemáticos e Computacionais (IST), onde permaneceu até 2001, quando passou a fazer parte do recém-criado Laboratório de Sistemas de Língua Falada (L2F). Em 2020, passou a integrar o Laboratório de Tecnologias de Língua Humana do INESC-ID. No passado, participou em vários projectos Europeus e Nacionais, assim como em projectos do sector privado (banca e indústria de telecomunicações), tanto nacionais como internacionais. É membro sénior da ACM (SIGMM, SIGIR) e do IEEE (Signal Processing Society, Computer Society, Robotics and Automation Society). É também membro da Ordem dos Engenheiros.&lt;br /&gt;
&lt;br /&gt;
[[en:Introduction]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Template:Infobox&amp;diff=11249</id>
		<title>Template:Infobox</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Template:Infobox&amp;diff=11249"/>
		<updated>2023-08-07T18:42:59Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{| style=&amp;quot;margin-left: 10px; margin-bottom: 10px; width: 200px; font-size: 95%; border: 1px solid; background: #dee2ff;&amp;quot; cellpadding=&amp;quot;0&amp;quot; align=&amp;quot;right&amp;quot;&lt;br /&gt;
! align=&amp;quot;center&amp;quot; style=&amp;quot;padding: 0px;&amp;quot; | &amp;lt;div style=&amp;quot;border-style: solid; border-width: 3px; width: 200px;&amp;quot;&amp;gt;[[Image:tipo-passe-{{{username}}}.png|200px|center|{{{name}}}]]&amp;lt;/div&amp;gt;&lt;br /&gt;
|}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Template:Infobox&amp;diff=11248</id>
		<title>Template:Infobox</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Template:Infobox&amp;diff=11248"/>
		<updated>2023-08-07T18:40:09Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{| style=&amp;quot;margin-left: 10px; margin-bottom: 10px; width: 200px; font-size: 95%; border: 1px solid; background: #dee2ff;&amp;quot; cellpadding=&amp;quot;0&amp;quot; align=&amp;quot;right&amp;quot;&lt;br /&gt;
! align=&amp;quot;center&amp;quot; style=&amp;quot;padding: 0px;&amp;quot; | &amp;lt;div style=&amp;quot;border-style: solid; border-width: 3px; width: 200px;&amp;quot;&amp;gt;[[Image:tipo-passe-{{{username}}}.png|200px|center|{{{name}}}]]&amp;lt;/div&amp;gt;&lt;br /&gt;
|}&lt;br /&gt;
&lt;br /&gt;
&amp;lt;div style=&amp;quot;align: right; margin-left: 10px; margin-bottom: 10px; border-style: solid; border-width: 3px; width: 200px;&amp;quot;&amp;gt;&amp;lt;img src=&amp;quot;[[media:tipo-passe-{{{username}}}.png]]&amp;quot; /&amp;gt;&amp;lt;/div&amp;gt;&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=File:Tipo-passe-david.png&amp;diff=11247</id>
		<title>File:Tipo-passe-david.png</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=File:Tipo-passe-david.png&amp;diff=11247"/>
		<updated>2023-08-07T14:06:19Z</updated>

		<summary type="html">&lt;p&gt;Root: Root uploaded a new version of File:Tipo-passe-david.png&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Orienta%C3%A7%C3%A3o_Cient%C3%ADfica&amp;diff=11246</id>
		<title>Orientação Científica</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Orienta%C3%A7%C3%A3o_Cient%C3%ADfica&amp;diff=11246"/>
		<updated>2021-06-15T09:52:31Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;A informação seguinte é mantida pelo INESC-ID Lisboa. Actualmente, está apenas disponível em inglês.&lt;br /&gt;
&lt;br /&gt;
&amp;lt;inesc-id what='advising' id='62'&amp;gt;&amp;lt;/inesc-id&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[category:Orientação Científica]]&lt;br /&gt;
[[en:Scientific Advising]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Google_Classroom&amp;diff=11245</id>
		<title>Google Classroom</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Google_Classroom&amp;diff=11245"/>
		<updated>2020-04-16T16:50:09Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;__NOTOC__&lt;br /&gt;
== Google Classroom ==&lt;br /&gt;
&lt;br /&gt;
Acesso geral: https://classroom.google.com&lt;br /&gt;
&lt;br /&gt;
Disponível em:&lt;br /&gt;
* Contas Google pessoais: perfis de professor e aluno (não recomendado se necessária identidade controlada)&lt;br /&gt;
* Contas GSuite for Education: perfil definido pela organização&lt;br /&gt;
&lt;br /&gt;
* Potenciais problemas em caso de populações de organizações diferentes&lt;br /&gt;
&lt;br /&gt;
== Organização ==&lt;br /&gt;
&lt;br /&gt;
* Turmas (classes) com professores e alunos&lt;br /&gt;
* Cada turma tem um código: funciona dentro da organização&lt;br /&gt;
* Possibilidade de colocar material de estudo online&lt;br /&gt;
* Possibilidade de atribuir trabalho a (sub)grupos de alunos&lt;br /&gt;
&lt;br /&gt;
== Integração com o IST e com a ULisboa ==&lt;br /&gt;
&lt;br /&gt;
* ULisboa: https://utilizador.ulisboa.pt (activação com número do Cartão de Cidadão)&lt;br /&gt;
* Google Drive: https://drive.google.com (activa implicitamente o GSuite da ULisboa)&lt;br /&gt;
&lt;br /&gt;
* Fénix: https://selfservice.dsi.tecnico.ulisboa.pt - activação do GSuite&lt;br /&gt;
* Fénix: portal de comunicação: https://fenix.tecnico.ulisboa.pt&lt;br /&gt;
* Fénix: cada disciplina é sincronizada como uma única turma (não é instantâneo)&lt;br /&gt;
&lt;br /&gt;
== Avaliação ==&lt;br /&gt;
&lt;br /&gt;
* Assignments&lt;br /&gt;
* Quiz Assignments (assignments com um formulário implícito)&lt;br /&gt;
* Exemplos&lt;br /&gt;
&lt;br /&gt;
[[category:IST]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Google_Classroom&amp;diff=11244</id>
		<title>Google Classroom</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Google_Classroom&amp;diff=11244"/>
		<updated>2020-04-16T16:49:34Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;__NOTOC__&lt;br /&gt;
== Google Classroom ==&lt;br /&gt;
&lt;br /&gt;
Acesso geral: https://classroom.google.com&lt;br /&gt;
&lt;br /&gt;
Disponível em:&lt;br /&gt;
* Contas Google pessoais: perfis de professor e aluno (não recomendado se necessária identidade controlada)&lt;br /&gt;
* Contas GSuite for Education: perfil definido pela organização&lt;br /&gt;
&lt;br /&gt;
== Organização ==&lt;br /&gt;
&lt;br /&gt;
* Turmas (classes) com professores e alunos&lt;br /&gt;
* Cada turma tem um código: funciona dentro da organização&lt;br /&gt;
* Possibilidade de colocar material de estudo online&lt;br /&gt;
* Possibilidade de atribuir trabalho a (sub)grupos de alunos&lt;br /&gt;
&lt;br /&gt;
== Integração com o IST e com a ULisboa ==&lt;br /&gt;
&lt;br /&gt;
* ULisboa: https://utilizador.ulisboa.pt (activação com número do Cartão de Cidadão)&lt;br /&gt;
* Google Drive: https://drive.google.com (activa implicitamente o GSuite da ULisboa)&lt;br /&gt;
&lt;br /&gt;
* Fénix: https://selfservice.dsi.tecnico.ulisboa.pt - activação do GSuite&lt;br /&gt;
* Fénix: portal de comunicação: https://fenix.tecnico.ulisboa.pt&lt;br /&gt;
* Fénix: cada disciplina é sincronizada como uma única turma (não é instantâneo)&lt;br /&gt;
&lt;br /&gt;
== Avaliação ==&lt;br /&gt;
&lt;br /&gt;
* Assignments&lt;br /&gt;
* Quiz Assignments (assignments com um formulário implícito)&lt;br /&gt;
* Exemplos&lt;br /&gt;
&lt;br /&gt;
[[category:IST]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Google_Classroom&amp;diff=11243</id>
		<title>Google Classroom</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Google_Classroom&amp;diff=11243"/>
		<updated>2020-04-16T16:49:01Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;__NOTOC__&lt;br /&gt;
== Google Classroom ==&lt;br /&gt;
&lt;br /&gt;
Acesso geral: https://classroom.google.com&lt;br /&gt;
&lt;br /&gt;
Disponível em:&lt;br /&gt;
* Contas Google pessoais: professor e aluno&lt;br /&gt;
* Contas GSuite for Education: perfil definido pela organização&lt;br /&gt;
&lt;br /&gt;
== Organização ==&lt;br /&gt;
&lt;br /&gt;
* Turmas (classes) com professores e alunos&lt;br /&gt;
* Cada turma tem um código: funciona dentro da organização&lt;br /&gt;
* Possibilidade de colocar material de estudo online&lt;br /&gt;
* Possibilidade de atribuir trabalho a (sub)grupos de alunos&lt;br /&gt;
&lt;br /&gt;
== Integração com o IST e com a ULisboa ==&lt;br /&gt;
&lt;br /&gt;
* ULisboa: https://utilizador.ulisboa.pt (activação com número do Cartão de Cidadão)&lt;br /&gt;
* Google Drive: https://drive.google.com (activa implicitamente o GSuite da ULisboa)&lt;br /&gt;
&lt;br /&gt;
* Fénix: https://selfservice.dsi.tecnico.ulisboa.pt - activação do GSuite&lt;br /&gt;
* Fénix: portal de comunicação: https://fenix.tecnico.ulisboa.pt&lt;br /&gt;
* Fénix: cada disciplina é sincronizada como uma única turma (não é instantâneo)&lt;br /&gt;
&lt;br /&gt;
== Avaliação ==&lt;br /&gt;
&lt;br /&gt;
* Assignments&lt;br /&gt;
* Quiz Assignments (assignments com um formulário implícito)&lt;br /&gt;
* Exemplos&lt;br /&gt;
&lt;br /&gt;
[[category:IST]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Google_Classroom&amp;diff=11242</id>
		<title>Google Classroom</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Google_Classroom&amp;diff=11242"/>
		<updated>2020-04-16T16:48:22Z</updated>

		<summary type="html">&lt;p&gt;Root: Created page with &amp;quot;== Google Classroom ==  Acesso geral: https://classroom.google.com  Disponível em: * Contas Google pessoais: professor e aluno * Contas GSuite for Education: perfil definido...&amp;quot;&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Google Classroom ==&lt;br /&gt;
&lt;br /&gt;
Acesso geral: https://classroom.google.com&lt;br /&gt;
&lt;br /&gt;
Disponível em:&lt;br /&gt;
* Contas Google pessoais: professor e aluno&lt;br /&gt;
* Contas GSuite for Education: perfil definido pela organização&lt;br /&gt;
&lt;br /&gt;
== Organização ==&lt;br /&gt;
&lt;br /&gt;
* Turmas (classes) com professores e alunos&lt;br /&gt;
* Cada turma tem um código: funciona dentro da organização&lt;br /&gt;
* Possibilidade de colocar material de estudo online&lt;br /&gt;
* Possibilidade de atribuir trabalho a (sub)grupos de alunos&lt;br /&gt;
&lt;br /&gt;
== Integração com o IST e com a ULisboa ==&lt;br /&gt;
&lt;br /&gt;
* ULisboa: https://utilizador.ulisboa.pt (activação com número do Cartão de Cidadão)&lt;br /&gt;
* Google Drive: https://drive.google.com (activa implicitamente o GSuite da ULisboa)&lt;br /&gt;
&lt;br /&gt;
* Fénix: https://selfservice.dsi.tecnico.ulisboa.pt - activação do GSuite&lt;br /&gt;
* Fénix: portal de comunicação: https://fenix.tecnico.ulisboa.pt&lt;br /&gt;
* Fénix: cada disciplina é sincronizada como uma única turma (não é instantâneo)&lt;br /&gt;
&lt;br /&gt;
== Avaliação ==&lt;br /&gt;
&lt;br /&gt;
* Assignments&lt;br /&gt;
* Quiz Assignments (assignments com um formulário implícito)&lt;br /&gt;
* Exemplos&lt;br /&gt;
&lt;br /&gt;
[[category:IST]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=P%C3%A1gina_Principal&amp;diff=11241</id>
		<title>Página Principal</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=P%C3%A1gina_Principal&amp;diff=11241"/>
		<updated>2020-03-06T00:05:36Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;[[Image:orcid.png|150px|right|link=http://orcid.org/0000-0001-8631-2870]]&lt;br /&gt;
Estas páginas contêm informação acerca das minhas actividades de investigação e docência no [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.ist.utl.pt/ Instituto Superior Técnico] e no [http://www.hlt.inesc-id.pt/ Laboratório de Tecnologias da Linguagem Humana] do [http://www.inesc-id.pt INESC-ID].&lt;br /&gt;
&lt;br /&gt;
Informação pormenorizada pode ser encontrada nas categorias do menu na parte superior da página.&lt;br /&gt;
&lt;br /&gt;
Algumas ligações rápidas: [[Apresentação]], [[Publicações]], [[Orientação Científica|Actividades de Orientação Científica]], [[Actividades Lectivas]].&lt;br /&gt;
&lt;br /&gt;
[[en:Main Page]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11240</id>
		<title>Apresentação</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11240"/>
		<updated>2020-02-21T14:33:02Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{infobox|name=David Martins de Matos|username=david|contact=david.matos&lt;br /&gt;
|phone=+351-213-100-305|fax=+351-213-145-843&lt;br /&gt;
}}&lt;br /&gt;
Sou professor associado do [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.tecnico.ulisboa.pt/ Instituto Superior Técnico]. Sou investigador do [http://www.l2f.inesc-id.pt/ Laboratório de Tecnologias de Língua Humana] do [http://www.inesc-id.pt INESC-ID] .&lt;br /&gt;
&lt;br /&gt;
Os meus interesses científicos incluem gestão de recursos linguísticos; arquitecturas de software para engenharia da língua natural; geração automática de língua natural e construção automática de resumos; interfaces de língua natural; e processamento de língua escrita em geral.&lt;br /&gt;
&lt;br /&gt;
== CV Oficial (resumido) ==&lt;br /&gt;
&lt;br /&gt;
''Prof. David Martins de Matos''&lt;br /&gt;
&lt;br /&gt;
David Martins de Matos licenciou-se em Engenharia Electrotécnica e de Computadores em 1990, no Instituto Superior Técnico (IST), Lisboa. Recebeu os grau de Mestre em Engenharia Electrotécnica e de Computadores em 1995 (IST), sob o tema programação com objectos em sistemas distibuídos. Obteve o grau de Doutor em Engenaria Informática e de Computadores em 2005 (IST), sobre o tema da geração automática de língua natural. É docente no IST desde 1993 -- actualmente como Professor Auxiliar --, tendo leccionado as disciplinas de programação em lógica e funcional, programação com objectos, algoritmos e estruturas de dados, compiladores, arquitectura de sistemas computacionais, sistemas distribuídos, computação gráfica e processamento de língua natural. Foi investigador no INESC desde 1988, nos Grupos de Sistemas Distribuídos, Serviços e Sistemas Telemáticos e Engenharia de Software. Em 1998 passou a fazer parte do Centro de Sistemas Telemáticos e Computacionais (IST), onde permaneceu até 2001, quando passou a fazer parte do recém-criado Laboratório de Sistemas de Língua Falada (L2F). Em 2020, passou a integrar o Laboratório de Tecnologias de Língua Humana do INESC-ID. No passado, participou em vários projectos Europeus e Nacionais, assim como em projectos do sector privado (banca e indústria de telecomunicações), tanto nacionais como internacionais. É membro sénior da ACM (SIGMM, SIGIR) e do IEEE (Signal Processing Society, Computer Society, Robotics and Automation Society). É também membro da Ordem dos Engenheiros.&lt;br /&gt;
&lt;br /&gt;
[[en:Introduction]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11239</id>
		<title>Apresentação</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=Apresenta%C3%A7%C3%A3o&amp;diff=11239"/>
		<updated>2020-02-21T14:31:38Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{infobox|name=David Martins de Matos|username=david|contact=david.matos&lt;br /&gt;
|phone=+351-213-100-305|fax=+351-213-145-843&lt;br /&gt;
}}&lt;br /&gt;
Sou professor associado do [http://www.dei.tecnico.ulisboa.pt/ Departamento de Engenharia Informática] do [http://www.tecnico.ulisboa.pt/ Instituto Superior Técnico]. Sou investigador do [http://www.l2f.inesc-id.pt/ Laboratório de Tecnologias de Língua Humana] do [http://www.inesc-id.pt INESC-ID] .&lt;br /&gt;
&lt;br /&gt;
Os meus interesses científicos incluem gestão de recursos linguísticos; arquitecturas de software para engenharia da língua natural; geração automática de língua natural e construção automática de resumos; interfaces de língua natural; e processamento de língua escrita em geral.&lt;br /&gt;
&lt;br /&gt;
== CV Oficial (resumido) ==&lt;br /&gt;
&lt;br /&gt;
''Prof. David Martins de Matos''&lt;br /&gt;
&lt;br /&gt;
David Martins de Matos licenciou-se em Engenharia Electrotécnica e de Computadores em 1990, no Instituto Superior Técnico (IST), Lisboa. Recebeu os grau de Mestre em Engenharia Electrotécnica e de Computadores em 1995 (IST), sob o tema programação com objectos em sistemas distibuídos. Obteve o grau de Doutor em Engenaria Informática e de Computadores em 2005 (IST), sobre o tema da geração automática de língua natural. É docente no IST desde 1993 -- actualmente como Professor Auxiliar --, tendo leccionado as disciplinas de programação em lógica e funcional, programação com objectos, algoritmos e estruturas de dados, compiladores, arquitectura de sistemas computacionais, sistemas distribuídos, computação gráfica e processamento de língua natural. Foi investigador no INESC desde 1988, nos Grupos de Sistemas Distribuídos, Serviços e Sistemas Telemáticos e Engenharia de Software. Em 1998 passou a fazer parte do Centro de Sistemas Telemáticos e Computacionais (IST), onde permaneceu até 2001, quando passou a fazer parte do recém-criado Laboratório de Sistemas de Língua Falada (L2F). No passado, participou em vários projectos Europeus e Nacionais, assim como em projectos do sector privado (banca e indústria de telecomunicações), tanto nacionais como internacionais. É membro sénior da ACM (SIGMM, SIGIR) e do IEEE (Signal Processing Society, Computer Society, Robotics and Automation Society). É também membro da Ordem dos Engenheiros.&lt;br /&gt;
&lt;br /&gt;
[[en:Introduction]]&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11238</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11238"/>
		<updated>2020-02-16T22:39:39Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #f0f0f0;&lt;br /&gt;
  background: #f3f3f3;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #d6d6d6;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
  color: #777777;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11237</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11237"/>
		<updated>2020-02-16T22:38:36Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #d6d6d6;&lt;br /&gt;
  background: #e8e8e8;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #d6d6d6;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
  color: #a3a3a3;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11236</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11236"/>
		<updated>2020-02-16T22:37:28Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #d9d9d9;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #d9d9d9;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
  color: black;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11235</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11235"/>
		<updated>2020-02-16T22:36:38Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #c9c9c9;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #c9c9c9;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
  color: black;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11234</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11234"/>
		<updated>2020-02-16T22:34:59Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #c9c9c9;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #b9b9b9;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
  color: black;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11233</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11233"/>
		<updated>2020-02-16T22:34:04Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #b9b9b9;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #b9b9b9;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
  color: black;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11232</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11232"/>
		<updated>2020-02-16T22:33:22Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #b9b9b9;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #b9b9b9;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
  font-color: black;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11231</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11231"/>
		<updated>2020-02-16T22:32:44Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #b9b9b9;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #b9b9b9;&lt;br /&gt;
  font-size: 0.9em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11230</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11230"/>
		<updated>2020-02-16T22:30:30Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #b9b9b9;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  background: #b9b9b9;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11229</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11229"/>
		<updated>2020-02-16T22:27:09Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #b9b9b9;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11228</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11228"/>
		<updated>2020-02-16T22:26:27Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
  background: #e7e7e7;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11227</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11227"/>
		<updated>2020-02-16T22:25:27Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
  background: #b9b9b9;&lt;br /&gt;
}&lt;br /&gt;
body div#catlinks.catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11226</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11226"/>
		<updated>2020-02-16T22:23:54Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body div#catlinks.catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11225</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11225"/>
		<updated>2020-02-16T22:23:25Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
  background: red;&lt;br /&gt;
&lt;br /&gt;
}&lt;br /&gt;
body div#catlinks.catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11224</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11224"/>
		<updated>2020-02-16T22:22:57Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
  background: red;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body div#catlinks.catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11223</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11223"/>
		<updated>2020-02-16T22:22:33Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body div#catlinks.catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11222</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11222"/>
		<updated>2020-02-16T22:21:27Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11221</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11221"/>
		<updated>2020-02-16T22:19:26Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
	<entry>
		<id>https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11220</id>
		<title>MediaWiki:Common.css</title>
		<link rel="alternate" type="text/html" href="https://www.hlt.inesc-id.pt/~david/wiki/pt/index.php?title=MediaWiki:Common.css&amp;diff=11220"/>
		<updated>2020-02-16T22:18:16Z</updated>

		<summary type="html">&lt;p&gt;Root: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;/* CSS placed here will be applied to all skins */&lt;br /&gt;
/* Custom Foreground menubar colors */&lt;br /&gt;
.top-bar,&lt;br /&gt;
.top-bar-section ul,&lt;br /&gt;
.top-bar-section ul li.active &amp;gt; a,&lt;br /&gt;
.top-bar-section li a:not(.button),&lt;br /&gt;
.top-bar-section .has-form {&lt;br /&gt;
   background: #282727;&lt;br /&gt;
   color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; .divider,&lt;br /&gt;
.top-bar-section &amp;gt; ul &amp;gt; [role=&amp;quot;separator&amp;quot;] {&lt;br /&gt;
  border-color: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Darker color for the hover over items */&lt;br /&gt;
.top-bar-section ul li.hover &amp;gt; a,&lt;br /&gt;
.top-bar-section ul li ul.dropdown li.hover &amp;gt; a{&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
/* Slightly darker color for the dropdowns */&lt;br /&gt;
.top-bar-section ul li ul.dropdown li &amp;gt; a {&lt;br /&gt;
    background: #282727;&lt;br /&gt;
}&lt;br /&gt;
.top-bar .button {&lt;br /&gt;
    background: #414141;&lt;br /&gt;
    border-top-color: #555555;&lt;br /&gt;
    border-right-color: #414141;&lt;br /&gt;
    border-bottom-color: #555555;&lt;br /&gt;
    border-left-color: #414141;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body {&lt;br /&gt;
  font-family: &amp;quot;Lato&amp;quot;, Helvetica, sans-serif;&lt;br /&gt;
  font-size: 13px;&lt;br /&gt;
  line-height: 1.25;&lt;br /&gt;
  color: #697060;&lt;br /&gt;
  /*background-color: #f7f7f7;*/&lt;br /&gt;
  background-color: #ffffff;&lt;br /&gt;
  margin: 0px;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #mw-content-text pre {&lt;br /&gt;
  margin-bottom: 1em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-headline {&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-collapsed {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body span.mw-collapsible-toggle.mw-collapsible-toggle-expanded {&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body h1 { font-size: 1.85em; }&lt;br /&gt;
body h2 { font-size: 1.75em; }&lt;br /&gt;
.ns-subject h3, .ns-special h3, .page-Main_Page h3, body h3 { font-size: 1.4em; }&lt;br /&gt;
body h4 { font-size: 1em; }&lt;br /&gt;
body h5 { font-size: 1em; }&lt;br /&gt;
body h6 { font-size: 1em; }&lt;br /&gt;
&lt;br /&gt;
body h1,&lt;br /&gt;
body h2,&lt;br /&gt;
body h3,&lt;br /&gt;
body h4,&lt;br /&gt;
body h5,&lt;br /&gt;
body h6 {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0.8em;&lt;br /&gt;
}&lt;br /&gt;
body h2.title { font-size: 2em; }&lt;br /&gt;
body .title {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
body div#firstHeading {&lt;br /&gt;
    font-family: &amp;quot;Candara&amp;quot;, &amp;quot;Lato&amp;quot;, sans-serif;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
    color: #697060;&lt;br /&gt;
    margin-top: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body div#toctitle h2 {&lt;br /&gt;
  font-size: initial;&lt;br /&gt;
  margin-top: 0.8em;&lt;br /&gt;
  display: inline;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks {&lt;br /&gt;
  margin-top: 1.5em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body #catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks {&lt;br /&gt;
  margin-top: 0em;&lt;br /&gt;
  margin-bottom: 0em;&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
}&lt;br /&gt;
body .group {&lt;br /&gt;
  border-style: none;&lt;br /&gt;
  border-width: 0px;&lt;br /&gt;
}&lt;br /&gt;
body #mw-normal-catlinks a.label {&lt;br /&gt;
  &lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
body pre {&lt;br /&gt;
  font-family: &amp;quot;Droid Sans Mono&amp;quot;, monospace;&lt;br /&gt;
  font-size: 0.85em;&lt;br /&gt;
  line-height: 1.25em;&lt;br /&gt;
  background-color: #fcfcfc;&lt;br /&gt;
  padding: 8px;&lt;br /&gt;
  border-style: solid;&lt;br /&gt;
  border-width: 1px;&lt;br /&gt;
  border-color: #dddddd;&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media all {&lt;br /&gt;
body h3#tagline {&lt;br /&gt;
    display: none;&lt;br /&gt;
    font-weight: normal;&lt;br /&gt;
  }&lt;br /&gt;
}&lt;br /&gt;
&lt;br /&gt;
@media print {&lt;br /&gt;
  body h3#tagline { display: block; font-weight: normal; }&lt;br /&gt;
  a[href]::after { display: none; }&lt;br /&gt;
  div.printfooter { display: none; }&lt;br /&gt;
}&lt;/div&gt;</summary>
		<author><name>Root</name></author>
	</entry>
</feed>