/*
To change this license header, choose License Headers in Project Properties.
To change this template file, choose Tools | Templates
and open the template in the editor.
*/
/* 
    Created on : 22-may-2017, 21:18:33
    Author     : edson
*/

.highlighter-selected{   
    background: #FFFF00;
}

#svg-tableofcontent-container {
    background: #f9f9f9;
    border: 1px solid #aaa;
    padding: 10px;
    margin-bottom: 1em;
    width: auto;
    display: table;
    min-width: 250px;
    width: 95%;
}

#svg-tableofcontent-container h4.svg-tableofcontent-title{ 
    margin: 0;
    padding-bottom: 15px;
    font-size: 22px;

}

#svg-tableofcontent-container a{

    text-decoration: none;
    text-shadow: none;
}

#svg-tableofcontent-container li,
#svg-tableofcontent-container ul{
    background: 0 0;
    list-style-type: none;
    list-style: none;
    padding: 0;
    margin: 0
}